Christian Antic

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 23

Top Topics

Top Venues

Ann. Math. Artif. Intell.

Log. Methods Comput. Sci.

Publications

Christian Antic
Similarity-based analogical proportions. CoRR (2024)
Christian Antic
Logic-based analogical proportions. CoRR (2024)
Christian Antic
Boolean proportions. Log. Methods Comput. Sci. 20 (2) (2024)
Christian Antic
Analogical proportions II. CoRR (2024)
Christian Antic
Sequential composition of propositional logic programs. Ann. Math. Artif. Intell. 92 (2) (2024)
Christian Antic
Neural logic programs and neural nets. CoRR (2024)
Christian Antic
Algebraic anti-unification. CoRR (2024)
Christian Antic
Algebraic characterizations of least model and uniform equivalence of propositional Krom logic programs. CoRR (2023)
Christian Antic
Logic-based similarity. CoRR (2023)
Christian Antic
Sequential decomposition of propositional logic programs. CoRR (2023)
Christian Antic
Generalization-based similarity. CoRR (2023)
Christian Antic
Bilingual analogical proportions. CoRR (2023)
Christian Antic
Analogical proportions. Ann. Math. Artif. Intell. 90 (6) (2022)
Christian Antic
Proportional algebras, homomorphisms, congruences, and functors. CoRR (2022)
Christian Antic
Analogical proportions in monounary algebras and difference proportions. CoRR (2022)
Christian Antic
Boolean proportions. CoRR (2021)
Christian Antic
Algebraic answer set programming. CoRR (2021)
Christian Antic
On syntactically similar logic programs and sequential decompositions. CoRR (2021)
Christian Antic
Analogical Proportions. CoRR (2020)
Christian Antic
Finite Horn Monoids and Near-Semirings. CoRR (2020)
Christian Antic
Fixed point semantics for stream reasoning. Artif. Intell. 288 (2020)
Christian Antic
Fixed Point Semantics for Stream Reasoning. CoRR (2020)
Christian Antic
Towards an Algebraic Theory of Analogical Reasoning in Logic Programming. CoRR (2018)
Christian Antic
On cascade products of answer set programs. CoRR (2014)
Christian Antic
On Cascade Products of Answer Set Programs. Theory Pract. Log. Program. 14 (4-5) (2014)
Christian Antic, Thomas Eiter, Michael Fink
Hex Semantics via Approximation Fixpoint Theory. LPNMR (2013)