The Alpha Solver for Lazy-Grounding Answer-Set Programming

Antonius Weinzierl, Bart Bogaerts, Jori Bomanson, Thomas Eiter, Gerhard Friedrich, Tomi Janhunen, Tobias Kaminski, Michael Langowski, Lorenz Leutgeb, Gottfried Schenner, Richard Taupe

Research output: Contribution to specialist/vulgarizing publicationFeatured articleSpecialist

30 Downloads (Pure)

Abstract

The grounding bottleneck is a longstanding issue of Answer Set Programming (ASP), a well-known Logic Programming formalism widely used for declarative problem solving. Lazy grounding as realized by the recent Alpha system avoids this grounding bottleneck but faces new challenges that are genuine to lazy grounding. This article first gives an overview of lazy-grounding ASP solving by Alpha and provides information on how to obtain and use the system. It then presents research issues raised by lazy-grounding and overviews those which have been addressed already.

Fingerprint

Dive into the research topics of 'The Alpha Solver for Lazy-Grounding Answer-Set Programming'. Together they form a unique fingerprint.

Cite this