Christian Antic

Identifiants chercheurs

IdHAL :

christianantic

Publications

Pré-publication, Document de travail (21)

Proportoids Christian Antic 2024 Pré-publication, Document de travail hal-04247089v3
Analogical proportions via abstract justifications Christian Antic 2024 Pré-publication, Document de travail hal-03879901v4
Analogical proportions II Christian Antic 2024 Pré-publication, Document de travail hal-04246079v2
Logic-based analogical proportions Christian Antic 2024 Pré-publication, Document de travail hal-04005139v4
Neural logic programs and neural nets Christian Antic 2024 Pré-publication, Document de travail hal-04035402v2
Word proportions Christian Antic 2023 Pré-publication, Document de travail hal-04016959v1
Algebraic similarity Christian Antic 2023 Pré-publication, Document de travail hal-04338449v1
Anti-unification Christian Antic 2024 Pré-publication, Document de travail hal-04207922v3
Logic-based analogical reasoning Christian Antic 2023 Pré-publication, Document de travail hal-04250720v1
Proportional theories Christian Antic 2023 Pré-publication, Document de travail hal-04280593v1
Similarity-based analogical proportions Christian Antic 2023 Pré-publication, Document de travail hal-04246074v2
Tree proportions Christian Antic 2023 Pré-publication, Document de travail hal-04247007v1
Logic-based similarity Christian Antic 2023 Pré-publication, Document de travail hal-04019272v1
Bilingual homomorphisms Christian Antic 2023 Pré-publication, Document de travail hal-04248147v1
Sequential composition of propositional Krom logic programs Christian Antic 2023 Pré-publication, Document de travail hal-04023753v2
Logic-based anti-unification Christian Antic 2024 Pré-publication, Document de travail hal-04207924v2
Logic program forms Christian Antic 2023 Pré-publication, Document de travail hal-04261236v1
Sequential decomposition of propositional logic programs Christian Antic 2023 Pré-publication, Document de travail hal-04023750v1
The index and period of a logic program Christian Antic 2023 Pré-publication, Document de travail hal-04219244v1
Sequential composition of answer set programs Christian Antic 2023 Pré-publication, Document de travail hal-04338251v1
Monolinear arithmetical and word proportions Christian Antic 2022 Pré-publication, Document de travail (preprint/prepublication) hal-03886190v1