Creative Commons Attribution-NoDerivs 3.0 Unported license (CC BY-ND 3.0)when quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ICLP.2012.188
URN: urn:nbn:de:0030-drops-36216
URL: https://drops.dagstuhl.de/opus/volltexte/2012/3621/
Drescher, Christian ; Walsh, Toby
Answer Set Solving with Lazy Nogood Generation
| pdf-format: |
|
Abstract
Although Answer Set Programming (ASP) systems are highly optimised, their performance is sensitive to the size of the input and the inference it encodes. We address this deficiency by introducing a new extension to ASP solving. The idea is to integrate external propagators to represent parts of the encoding implicitly, rather than generating it a-priori. To match the state-of-the-art in conflict-driven solving, however, external propagators can make their inference explicit on demand. We demonstrate applicability in a novel Constraint Answer Set Programming system that can seamlessly integrate constraint propagation without sacrifficing the advantagesof conflict-driven techniques. Experiments provide evidence for computational impact.
BibTeX - Entry
@InProceedings{drescher_et_al:LIPIcs:2012:3621,
author = {Christian Drescher and Toby Walsh},
title = {{Answer Set Solving with Lazy Nogood Generation}},
booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)},
pages = {188--200},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-43-9},
ISSN = {1868-8969},
year = {2012},
volume = {17},
editor = {Agostino Dovier and V{\'i}tor Santos Costa},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2012/3621},
URN = {urn:nbn:de:0030-drops-36216},
doi = {10.4230/LIPIcs.ICLP.2012.188},
annote = {Keywords: Conflict-Driven Nogood Learning, Constraint Answer Set Programming, Constraint Propagation, Lazy Nogood Generation}
}
| Keywords: | Conflict-Driven Nogood Learning, Constraint Answer Set Programming, Constraint Propagation, Lazy Nogood Generation | |
| Seminar: | Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) | |
| Issue date: | 2012 | |
| Date of publication: | 05.09.2012 |
