Abstract Answer Set Solvers

DOI10.1007/978-3-540-89982-2_35MaRDI QIDQ5504668zbMATH OpenOpenAlexFDO

Authors Yuliya Lierler

Publication date 22 January 2009

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-89982-2_35

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Abstract answer set solvers with backjumping and learning
• scientific article; zbMATH DE number 6747884
• Disjunctive answer set solvers via templates
• On the relation among answer set solvers
• ASSAT: computing answer sets of a logic program by SAT solvers

Cites work

• A machine program for theorem-proving
• ASSAT: computing answer sets of a logic program by SAT solvers
• Answer set programming based on propositional satisfiability
• Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
• Logic Programming
• Logic Programming and Nonmonotonic Reasoning
• Solving SAT and SAT modulo theories, from an abstract Davis-Putnam-Logemann-Loveland procedure to \(\operatorname{DPLL}(T)\)
• Tableau Calculi for Answer Set Programming
• The well-founded semantics for general logic programs
• Theory and Applications of Satisfiability Testing

Cited in

(22)

• Transition systems for model generators -- a unifying approach
• Disjunctive answer set solvers via templates
• Set abstraction - an extension of all solutions predicate in logic programming language
• Constraint CNF: SAT and CSP Language Under One Roof.
• On abstract modular inference systems and solvers
• scientific article; zbMATH DE number 6747884 (Why is no real title available?)
• Abstraction for non-ground answer set programs
• Relating constraint answer set programming languages and algorithms
• Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs
• Abstract Solvers for Computing Cautious Consequences of ASP programs
• On the relation among answer set solvers
• scientific article; zbMATH DE number 7047282 (Why is no real title available?)
• An Answer Set Solver for non-Herbrand Programs: Progress Report
• Omission-based abstraction for answer set programs
• scientific article; zbMATH DE number 2143089 (Why is no real title available?)
• Finding similar/diverse solutions in answer set programming
• Model enumeration via assumption literals
• The nomore + + Approach to Answer Set Solving
• scientific article; zbMATH DE number 5910656 (Why is no real title available?)
• Abstract solvers for Dung's argumentation frameworks
• Abstract answer set solvers with backjumping and learning
• SPHINX - A solver of intelligent problems

Describes a project that uses

Uses Software

• ASSAT
• MiniSat

This page was built for publication: Abstract Answer Set Solvers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5504668)