Constraint Answer Set Solving

DOI10.1007/978-3-642-02846-5_22zbMath1251.68061MaRDI 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

68N17: Logic programming

Related Items

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, Unnamed Item, Domain expansion for ASP-programs with external sources, On abstract modular inference systems and solvers, Hybrid answer set programming, Relating constraint answer set programming languages and algorithms, Weight constraint programs with evaluable functions, Conflict-driven answer set solving: from theory to practice, First-order stable model semantics with intensional functions, A “Conservative” Approach to Extending Answer Set Programming with Non-Herbrand Functions, System aspmt2smt: Computing ASPMT Theories by SMT Solvers, aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming, Answer Set Programming Modulo Acyclicity, Clause-Learning for Modular Systems

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