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