Christian Antic

100%
Libre accès
21
Documents
Affiliation actuelle
  • Vienna University of Technology = Technische Universität Wien (TU Wien)
Identifiants chercheurs
Contact

Présentation


Publications

3
2
1
1
1
1
1
1
1
1
1
1
1
21

Publications

Image document

Logic-based analogical proportions

Christian Antic
2024
Pré-publication, Document de travail hal-04005139 v4
Image document

Neural logic programs and neural nets

Christian Antic
2024
Pré-publication, Document de travail hal-04035402 v2
Image document

Analogical proportions II

Christian Antic
2024
Pré-publication, Document de travail hal-04246079 v2
Image document

Proportoids

Christian Antic
2024
Pré-publication, Document de travail hal-04247089 v3
Image document

Analogical proportions via abstract justifications

Christian Antic
2024
Pré-publication, Document de travail hal-03879901 v4
Image document

The index and period of a logic program

Christian Antic
2023
Pré-publication, Document de travail hal-04219244 v1
Image document

Sequential composition of answer set programs

Christian Antic
2023
Pré-publication, Document de travail hal-04338251 v1
Image document

Tree proportions

Christian Antic
2023
Pré-publication, Document de travail hal-04247007 v1
Image document

Logic-based similarity

Christian Antic
2023
Pré-publication, Document de travail hal-04019272 v1
Image document

Proportional theories

Christian Antic
2023
Pré-publication, Document de travail hal-04280593 v1
Image document

Similarity-based analogical proportions

Christian Antic
2023
Pré-publication, Document de travail hal-04246074 v2
Image document

Anti-unification

Christian Antic
2024
Pré-publication, Document de travail hal-04207922 v3
Image document

Logic-based analogical reasoning

Christian Antic
2023
Pré-publication, Document de travail hal-04250720 v1
Image document

Word proportions

Christian Antic
2023
Pré-publication, Document de travail hal-04016959 v1
Image document

Algebraic similarity

Christian Antic
2023
Pré-publication, Document de travail hal-04338449 v1
Image document

Sequential composition of propositional Krom logic programs

Christian Antic
2023
Pré-publication, Document de travail hal-04023753 v2
Image document

Bilingual homomorphisms

Christian Antic
2023
Pré-publication, Document de travail hal-04248147 v1
Image document

Logic program forms

Christian Antic
2023
Pré-publication, Document de travail hal-04261236 v1
Image document

Logic-based anti-unification

Christian Antic
2024
Pré-publication, Document de travail hal-04207924 v2
Image document

Sequential decomposition of propositional logic programs

Christian Antic
2023
Pré-publication, Document de travail hal-04023750 v1
Image document

Monolinear arithmetical and word proportions

Christian Antic
2022
Pré-publication, Document de travail (preprint/prepublication) hal-03886190 v1