Sciweavers

ECAI
2006
Springer

What's a Head Without a Body?

13 years 7 months ago
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
Christian Anger, Martin Gebser, Tomi Janhunen, Tor
Added 22 Aug 2010
Updated 22 Aug 2010
Type Conference
Year 2006
Where ECAI
Authors Christian Anger, Martin Gebser, Tomi Janhunen, Torsten Schaub
Comments (0)