What's a Head Without a Body?

Abstract. Concepts in Answer Set Programming (ASP) are normally defined in terms of atoms. We show that the treatment of atoms and bodies (of rules) as equitable computational objects may yield exponential speed-ups, even for standard ASP-solvers such as smodels. To this end, we give simple transformations providing solvers with access to both kinds of objects and show that some families of examples can be solved exponentially faster after they have been transformed. We prove that these transformations may yield exponentially smaller search spaces. 1 SIMULATING HEADS AND BODIES

• Type: Conference
• Year: 2006
• Where: ECAI
• Authors: Christian Anger, Martin Gebser, Tomi Janhunen, Torsten Schaub
• Keywords: Answer Set Programming, Artificial Intelligence, ECAI 2006, Equitable Computational Objects, Transformations Providing Solvers