Answer set programming based on propositional satisfiability
From MaRDI portal
Publication:861709
DOI10.1007/s10817-006-9033-2zbMath1107.68029MaRDI QIDQ861709
Yuliya Lierler, Enrico Giunchiglia, Marco Maratea
Publication date: 30 January 2007
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-006-9033-2
68N17: Logic programming
Related Items
Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets, Detecting Inconsistencies in Large Biological Networks with Answer Set Programming, On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP, Abstract Answer Set Solvers, On the relation among answer set solvers, Integrating answer set programming and constraint logic programming, Loop formulas for circumscription, Implementing Prioritized Merging with ASP, Testing and debugging techniques for answer set solver development, Finding Reductions Automatically, Automata and Answer Set Programming, Probabilistic Reasoning by SAT Solvers, An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- ASSAT: computing answer sets of a logic program by SAT solvers
- The SAT-based approach to separation logic
- A structure-preserving clause form translation
- Extending and implementing the stable model semantics
- SAT-based decision procedures for classical modal logics
- Propositional semantics for disjunctive logic programs
- Logic programs with stable model semantics as a constraint programming paradigm
- Nested expressions in logic programs
- BerkMin: A fast and robust SAT-solver
- Making prolog more expressive
- Linear-time algorithms for testing the satisfiability of propositional horn formulae
- GRASP: a search algorithm for propositional satisfiability
- Weight constraints as nested expressions
- Bounded LTL model checking with stable models
- Logic Programming
- Logic Programming
- The DLV system for knowledge representation and reasoning
- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming
- A machine program for theorem-proving
- Computer Aided Verification
- Mechanizing Mathematical Reasoning
- CONCUR 2003 - Concurrency Theory