Christian Antic

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

Publications

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

Publications

Deposit thumbnail

Analogical proportions II

Christian Antic

2024

Pré-publication, Document de travail hal-04246079v2
Deposit thumbnail

Neural logic programs and neural nets

Christian Antic

2024

Pré-publication, Document de travail hal-04035402v2
Deposit thumbnail

Logic-based analogical proportions

Christian Antic

2024

Pré-publication, Document de travail hal-04005139v4
Deposit thumbnail

Proportoids

Christian Antic

2024

Pré-publication, Document de travail hal-04247089v3
Deposit thumbnail

Analogical proportions via abstract justifications

Christian Antic

2024

Pré-publication, Document de travail hal-03879901v4
Deposit thumbnail

Sequential composition of answer set programs

Christian Antic

2023

Pré-publication, Document de travail hal-04338251v1
Deposit thumbnail

The index and period of a logic program

Christian Antic

2023

Pré-publication, Document de travail hal-04219244v1
Deposit thumbnail

Proportional theories

Christian Antic

2023

Pré-publication, Document de travail hal-04280593v1
Deposit thumbnail

Similarity-based analogical proportions

Christian Antic

2023

Pré-publication, Document de travail hal-04246074v2
Deposit thumbnail

Logic-based similarity

Christian Antic

2023

Pré-publication, Document de travail hal-04019272v1
Deposit thumbnail

Tree proportions

Christian Antic

2023

Pré-publication, Document de travail hal-04247007v1
Deposit thumbnail

Word proportions

Christian Antic

2023

Pré-publication, Document de travail hal-04016959v1
Deposit thumbnail

Algebraic similarity

Christian Antic

2023

Pré-publication, Document de travail hal-04338449v1
Deposit thumbnail

Logic-based analogical reasoning

Christian Antic

2023

Pré-publication, Document de travail hal-04250720v1
Deposit thumbnail

Anti-unification

Christian Antic

2024

Pré-publication, Document de travail hal-04207922v3
Deposit thumbnail

Sequential composition of propositional Krom logic programs

Christian Antic

2023

Pré-publication, Document de travail hal-04023753v2
Deposit thumbnail

Bilingual homomorphisms

Christian Antic

2023

Pré-publication, Document de travail hal-04248147v1
Deposit thumbnail

Logic program forms

Christian Antic

2023

Pré-publication, Document de travail hal-04261236v1
Deposit thumbnail

Logic-based anti-unification

Christian Antic

2024

Pré-publication, Document de travail hal-04207924v2
Deposit thumbnail

Sequential decomposition of propositional logic programs

Christian Antic

2023

Pré-publication, Document de travail hal-04023750v1
Deposit thumbnail

Monolinear arithmetical and word proportions

Christian Antic

2022

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