Christian Antic
100
%
Libre accès
21
Documents
Affiliation actuelle
- Vienna University of Technology = Technischen Universität Wien (TU Wien)
Identifiants chercheurs
Publications
3
2
1
1
1
1
1
1
1
1
1
1
1
21
Publications
|
|
Analogical proportions II2024 |
|
|
Neural logic programs and neural nets2024 |
|
|
Logic-based analogical proportions2024 |
|
|
Proportoids2024 |
|
|
Analogical proportions via abstract justifications2024 |
|
|
Sequential composition of answer set programs2023 |
|
|
The index and period of a logic program2023 |
|
|
Proportional theories2023 |
|
|
Similarity-based analogical proportions2023 |
|
|
Logic-based similarity2023 |
|
|
Tree proportions2023 |
|
|
Word proportions2023 |
|
|
Algebraic similarity2023 |
|
|
Logic-based analogical reasoning2023 |
|
|
Anti-unification2024 |
|
|
Sequential composition of propositional Krom logic programs2023 |
|
|
Bilingual homomorphisms2023 |
|
|
Logic program forms2023 |
|
|
Logic-based anti-unification2024 |
|
|
Sequential decomposition of propositional logic programs2023 |
|
|
Monolinear arithmetical and word proportions2022 |
Chargement...
Chargement...