Conflict-Driven Answer Set Enumeration
- 5 June 2007
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Answer Set Programming Based on Propositional SatisfiabilityJournal of Automated Reasoning, 2006
- The DLV system for knowledge representation and reasoningACM Transactions on Computational Logic, 2006
- ASSAT: computing answer sets of a logic program by SAT solversArtificial Intelligence, 2004
- Knowledge Representation, Reasoning and Declarative Problem SolvingPublished by Cambridge University Press (CUP) ,2003
- Answer Set Programming with Clause LearningLecture Notes in Computer Science, 2003
- Extending and implementing the stable model semanticsArtificial Intelligence, 2002
- Backjump-based backtracking for constraint satisfaction problemsArtificial Intelligence, 2002
- Negation as FailurePublished by Springer Science and Business Media LLC ,1978