Constraint Answer Set Solving

DOI10.1007/978-3-642-02846-5_22zbMath1251.68061OpenAlexW2096621306MaRDI QIDQ4649733

Martin Gebser, Torsten Schaub, Max Ostrowski

Publication date: 13 November 2012

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02846-5_22

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (18)

On abstract modular inference systems and solvers ⋮ aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming ⋮ Answer Set Programming Modulo Acyclicity ⋮ Clause-Learning for Modular Systems ⋮ A “Conservative” Approach to Extending Answer Set Programming with Non-Herbrand Functions ⋮ System aspmt2smt: Computing ASPMT Theories by SMT Solvers ⋮ Hybrid answer set programming ⋮ A model building framework for answer set programming with external computations ⋮ Clingcon: The next generation ⋮ Constraint answer set solver EZCSP and why integration schemas matter ⋮ On relation between constraint answer set programming and satisfiability modulo theories ⋮ Weight constraint programs with evaluable functions ⋮ Constraint CNF: SAT and CSP Language Under One Roof. ⋮ Relating constraint answer set programming languages and algorithms ⋮ Conflict-driven answer set solving: from theory to practice ⋮ Inlining External Sources in Answer Set Programs ⋮ First-order stable model semantics with intensional functions ⋮ Domain expansion for ASP-programs with external sources

Uses Software

• Gringo
• DLV-EX
• Potassco
• clasp
• Clingcon
• Clingo
• iClingo

Cites Work

• Unnamed Item
• Answer set based design of knowledge systems
• Integrating answer set programming and constraint logic programming
• Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
• Extending and implementing the stable model semantics
• External sources of knowledge and value invention in logic programming
• Solving SAT and SAT Modulo Theories
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Conflict-Driven Answer Set Enumeration
• Integrating Answer Set Reasoning with Constraint Solving Techniques
• Logic Programming
• Detecting Inconsistencies in Large Biological Networks with Answer Set Programming

This page was built for publication: Constraint Answer Set Solving