AAAI

Association for the Advancement of Artificial Intelligence

Home / Proceedings / Proceedings of the AAAI Conference on Artificial Intelligence, 25 / No. 1: Twenty-Fifth AAAI Conference on Artificial Intelligence

Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation

Download PDF

Abstract:

We present a new approach to enhancing answer set programming (ASP) with constraint programming (CP) techniques based on conflict-driven learning and lazy nogood generation.

Authors

Christian Drescher

NICTA and University of New South Wales


Toby Walsh

NICTA and University of New South Wales


DOI:

10.1609/aaai.v25i1.8029