We stand with Ukraine  

Christian Antic

Orcid: 0000-0001-9338-9489

According to our database1, Christian Antic authored at least 22 papers between 2013 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Sequential composition of propositional logic programs.
[BibTeX]
[DOI]
Christian Antic
Ann. Math. Artif. Intell., April, 2024

Boolean proportions.
[BibTeX]
[DOI]
Christian Antic
Log. Methods Comput. Sci., 2024

Algebraic anti-unification.
[BibTeX]
[DOI]
Christian Antic
CoRR, 2024

Logic-based analogical proportions.
[BibTeX]
[DOI]
Christian Antic
CoRR, 2024

Neural logic programs and neural nets.
[BibTeX]
[DOI]
Christian Antic
CoRR, 2024

Analogical proportions II.
[BibTeX]
[DOI]
Christian Antic
CoRR, 2024

Similarity-based analogical proportions.
[BibTeX]
[DOI]
Christian Antic
CoRR, 2024

2023
Bilingual analogical proportions.
[BibTeX]
[DOI]
Christian Antic
CoRR, 2023

Logic-based similarity.
[BibTeX]
[DOI]
Christian Antic
CoRR, 2023

Sequential decomposition of propositional logic programs.
[BibTeX]
[DOI]
Christian Antic
CoRR, 2023

Generalization-based similarity.
[BibTeX]
[DOI]
Christian Antic
CoRR, 2023

Algebraic characterizations of least model and uniform equivalence of propositional Krom logic programs.
[BibTeX]
[DOI]
Christian Antic
CoRR, 2023

2022
Proportional algebras, homomorphisms, congruences, and functors.
[BibTeX]
[DOI]
Christian Antic
CoRR, 2022

Analogical proportions in monounary algebras and difference proportions.
[BibTeX]
[DOI]
Christian Antic
CoRR, 2022

Analogical proportions.
[BibTeX]
[DOI]
Christian Antic
Ann. Math. Artif. Intell., 2022

2021
On syntactically similar logic programs and sequential decompositions.
[BibTeX]
[DOI]
Christian Antic
CoRR, 2021

Algebraic answer set programming.
[BibTeX]
[DOI]
Christian Antic
CoRR, 2021

2020
Finite Horn Monoids and Near-Semirings.
[BibTeX]
[DOI]
Christian Antic
CoRR, 2020

Fixed point semantics for stream reasoning.
[BibTeX]
[DOI]
Christian Antic
Artif. Intell., 2020

2018
Towards an Algebraic Theory of Analogical Reasoning in Logic Programming.
[BibTeX]
[DOI]
Christian Antic
CoRR, 2018

2014
On Cascade Products of Answer Set Programs.
[BibTeX]
[DOI]
Christian Antic
Theory Pract. Log. Program., 2014

2013
Hex Semantics via Approximation Fixpoint Theory.
[BibTeX]
[DOI]
Christian Antic
,
Thomas Eiter
,
Michael Fink
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013


  Loading...