Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
Backjump-based backtracking for constraint satisfaction problems
Artificial Intelligence
Extending and implementing the stable model semantics
Artificial Intelligence
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Constraint Processing
ASSAT: computing answer sets of a logic program by SAT solvers
Artificial Intelligence - Special issue on nonmonotonic reasoning
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
A backjumping technique for disjunctive logic programming
AI Communications
Answer Set Programming Based on Propositional Satisfiability
Journal of Automated Reasoning
Fast SAT-based answer set solver
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Conflict-driven answer set solving
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A model-theoretic counterpart of loop formulas
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Using CSP look-back techniques to solve real-world SAT instances
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Integrating answer set programming and constraint logic programming
Annals of Mathematics and Artificial Intelligence
Solution Enumeration for Projected Boolean Search Problems
CPAIOR '09 Proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
A Simple Distributed Conflict-Driven Answer Set Solver
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
The Conflict-Driven Answer Set Solver clasp: Progress Report
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Experiences Running a Parallel Answer Set Solver on Blue Gene
Proceedings of the 16th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Advanced techniques for answer set programming
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Potassco: The Potsdam Answer Set Solving Collection
AI Communications - Answer Set Programming
Detecting inconsistencies in large biological networks with answer set programming
Theory and Practice of Logic Programming
Homage to Michael Gelfond on his 65th birthday
Logic programming, knowledge representation, and nonmonotonic reasoning
Itemset mining as a challenge application for answer set enumeration
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Cluster-based ASP solving with claspar
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Weight constraint programs with evaluable functions
Annals of Mathematics and Artificial Intelligence
Knowledge representation language p-log --- a short introduction
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Conflict-driven answer set solving: From theory to practice
Artificial Intelligence
Toward question answering in travel domains
Correct Reasoning
On minimal constraint networks
Artificial Intelligence
Multi-threaded asp solving with clasp
Theory and Practice of Logic Programming
| Hi-index | 0.00 |
We elaborate upon a recently proposed approach to finding an answer set of a logic program based on concepts from constraint processing and satisfiability checking. We extend this approach and propose a new algorithm for enumerating answer sets. The algorithm, which to our knowledge is novel even in the context of satisfiability checking, is implemented in the clasp answer set solver. We contrast our new approach to alternative systems and different options of clasp, and provide an empirical evaluation.