On Abstracting over the Irrelevant in Answer Set Programming

Zeynep G. Saribatur, Matthias Knorr, Ricardo Gonçalves, João Leite

Abstract: Generalization is an important ability that allows humans to tackle complex problems by identifying common problem structures and omitting irrelevant details. Whereas such ability comes naturally t...