1 citations · 1 across the 8 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.AI2021
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…
cs.AI2021★ 1 cited
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…