Christian Antic

According to our database, Christian Antic authored at least 17 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Similarity-based analogical proportions.

Christian Antic

CoRR, 2024

2023

Bilingual analogical proportions.

Christian Antic

CoRR, 2023

Logic-based similarity.

Christian Antic

CoRR, 2023

Sequential decomposition of propositional logic programs.

Christian Antic

CoRR, 2023

Generalization-based similarity.

Christian Antic

CoRR, 2023

Algebraic characterizations of least model and uniform equivalence of propositional Krom logic programs.

Christian Antic

CoRR, 2023

2022

Proportional algebras, homomorphisms, congruences, and functors.

Christian Antic

CoRR, 2022

Analogical proportions in monounary algebras and difference proportions.

Christian Antic

CoRR, 2022

Analogical proportions.

Christian Antic

Ann. Math. Artif. Intell., 2022

2021

On syntactically similar logic programs and sequential decompositions.

Christian Antic

CoRR, 2021

Boolean proportions.

Christian Antic

CoRR, 2021

Algebraic answer set programming.

Christian Antic

CoRR, 2021

2020

Finite Horn Monoids and Near-Semirings.

Christian Antic

CoRR, 2020

Fixed point semantics for stream reasoning.

Christian Antic

Artif. Intell., 2020

2018

Towards an Algebraic Theory of Analogical Reasoning in Logic Programming.

Christian Antic

CoRR, 2018

2014

On Cascade Products of Answer Set Programs.

Christian Antic

Theory Pract. Log. Program., 2014

2013

Hex Semantics via Approximation Fixpoint Theory.

Christian Antic, Thomas Eiter, Michael Fink

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013