Showing cs.AIShow all
3 papers · 1 filter
cs.AI2024
Algebraic anti-unification
Christian Antić
Abstraction is key to human and artificial intelligence as it allows one to identify common structure in otherwise distinct objects or situations. Anti-unification (or generalizati…
cs.AI2022
Proportoids
Christian Antić
Analogical proportions are expressions of the form `` is to what is to '' at the core of analogical reasoning, which itself is at the core of artificial intelligence.…
cs.AI2021
Sequential composition of answer set programs
Christian Antić
This paper contributes to the mathematical foundations of logic programming by introducing and studying the sequential composition of answer set programs. On the semantic side, we…