1 citations · 1 across the 8 of their papers we have counts for
9 papers
Sequential decomposition of propositional logic programs
Christian Antić
The sequential composition of propositional logic programs has been recently introduced. This paper studies the sequential {\em decomposition} of programs by studying Green's relat…
Generalization-baed similarity
Christian Antić
Detecting and exploiting similarities between seemingly distant objects is without doubt an important human ability. This paper develops \textit{from the ground up} an abstract alg…
Analogical proportions in monounary algebras
Christian Antić
This paper studies analogical proportions in monounary algebras consisting only of a universe and a single unary function. We show that the analogical proportion relation is charac…
On syntactically similar logic programs and sequential decompositions
Christian Antic
Rule-based reasoning is an essential part of human intelligence prominently formalized in artificial intelligence research via logic programs. Describing complex objects as the com…
Boolean proportions
Christian Antić
The author has recently introduced an abstract algebraic framework of analogical proportions within the general setting of universal algebra. This paper studies analogical proporti…
Sequential composition of propositional logic programs
Christian Antic
This paper introduces and studies the sequential composition and decomposition of propositional logic programs. We show that acyclic programs can be decomposed into single-rule pro…
Analogical proportions
Christian Antić
Analogy-making is at the core of human and artificial intelligence and creativity with applications to such diverse tasks as proving mathematical theorems and building mathematical…
Fixed Point Semantics for Stream Reasoning
Christian Antić
Reasoning over streams of input data is an essential part of human intelligence. During the last decade {\em stream reasoning} has emerged as a research area within the AI-communit…
Logic program proportions
Christian Antić
The purpose of this paper is to present a fresh idea on how symbolic learning might be realized via analogical reasoning. For this, we introduce directed analogical proportions bet…