Christian Antic

29 papers B 1Journal 28

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