Christian Antić

On syntactically similar logic programs and sequential decompositions

2021 · arXiv (Cornell University)

Rule-based reasoning is an essential part of human intelligence prominently formalized in artificial intelligence research via logic programs. Describing complex objects as the composition of elementary ones is a common strategy in computer science and …