Constraint Answer Set Solving
From MaRDI portal
Publication:4649733
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
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, Inlining External Sources in Answer Set Programs, Constraint CNF: SAT and CSP Language Under One Roof., 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
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