Postdoctoral Researcher
Vienna, Austria
christian[dot]antic[at]icloud[dot]com
BSc in Computer Science, mentored by Chris Fermüller, TU Vienna
MSc in Computer Science, mentored by Thomas Eiter, TU Vienna
PhD in Mathematics, mentored by Matthias Baaz, TU Vienna
Algebraic & Automatic Logic Programming • Analogical Reasoning • Artificial Intelligence
Analogical proportions II, 2024 pdf
Logic-based analogical proportions, 2024 pdf
Proportoids, 2024 pdf
Sequential composition of answer set programs, 2024 pdf
Generalization-based similarity, Annals of Mathematics and Artificial Intelligence, 2025 pdf
Analogical proportions in monounary algebras. Annals of Mathematics and Artificial Intelligence, 2024 pdf
Boolean proportions. Logical Methods in Computer Sicence, 2024 pdf
Sequential composition of propositional logic programs. Annals of Mathematics and Artificial Intelligence, 2024 pdf
Logic program proportions. Annals of Mathematics and Artificial Intelligence, 2023 pdf
Analogical proportions. Annals of Mathematics and Artificial Intelligence, 2022 pdf
Fixed point semantics for stream reasoning. Artificial Intelligence, 2020 pdf
On cascade products of answer set programs. Theory and Practice of Logic Programming, 2014 pdf
Algebraic anti-unification, 2024 pdf
Bilingual analogical proportions via hedges, 2024 pdf
Neural logic programs and neural nets, 2024 pdf
Similarity-based analogical proportions, 2024 pdf
Logic-based anti-unification, 2024 pdf
Logic-based similarity, 2023 pdf
On syntactically similar logic programs and sequential decompositions, 2023 pdf
Analogical proportions. Invited speaker at the IJCAI-ECAI Workshop on Interactions between Analogical Reasoning and Machine Learning, 2022
Best Student Paper Award, ICLP 2014