Constraint Answer Set Solving
From MaRDI portal
Publication:4649733
DOI10.1007/978-3-642-02846-5_22zbMATH Open1251.68061OpenAlexW2096621306MaRDI QIDQ4649733FDOQ4649733
Authors: Martin Gebser, Max Ostrowski, Torsten Schaub 
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
Recommendations
- Constraint Satisfaction
- Solving set-valued constraint satisfaction problems
- Constraint answer set programming systems
- Solving quantified constraint satisfaction problems
- scientific article; zbMATH DE number 1688810
- Representing constraint satisfaction problems in answer set programming
- Principles and Practice of Constraint Programming – CP 2003
- Integrating Answer Set Reasoning with Constraint Solving Techniques
- Constraint solving with constraint handling rules
Cites Work
- External sources of knowledge and value invention in logic programming
- Extending and implementing the stable model semantics
- Handbook of constraint programming.
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Integrating answer set programming and constraint logic programming
- Solving SAT and SAT modulo theories, from an abstract Davis-Putnam-Logemann-Loveland procedure to \(\operatorname{DPLL}(T)\)
- Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
- Conflict-Driven Answer Set Enumeration
- Logic Programming
- Answer set based design of knowledge systems
- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
- Integrating Answer Set Reasoning with Constraint Solving Techniques
Cited In (33)
- Constraint answer set programming without grounding
- Hybrid answer set programming
- ASP modulo CSP: the clingcon system
- Domain expansion for ASP-programs with external sources
- A model building framework for answer set programming with external computations
- Answer set programming modulo acyclicity
- Constraint CNF: SAT and CSP Language Under One Roof.
- On abstract modular inference systems and solvers
- Relating constraint answer set programming languages and algorithms
- Constraint answer set programming systems
- Integrating answer set programming and constraint logic programming
- A translational approach to constraint answer set solving
- On relation between constraint answer set programming and satisfiability modulo theories
- Answer set solving with lazy nogood generation
- Inlining external sources in answer set programs
- Constraint answer set solver EZCSP and why integration schemas matter
- Conflict-driven answer set solving: from theory to practice
- Integrating Answer Set Reasoning with Constraint Solving Techniques
- Representing constraint satisfaction problems in answer set programming
- Principles and Practice of Constraint Programming – CP 2003
- Modelling grammar constraints with answer set programming
- Automated Reasoning
- First-order stable model semantics with intensional functions
- aspartame: solving constraint satisfaction problems with answer set programming
- Clause-learning for modular systems
- Weight constraint programs with evaluable functions
- Conflict-Driven Answer Set Enumeration
- Conflict generalisation in ASP: learning correct and effective non-ground constraints
- Stable model semantics for founded bounds
- A ``conservative approach to extending answer set programming with non-Herbrand functions
- System \textsc{aspmt2smt}: computing ASPMT theories by SMT solvers
- \textit{clingcon}: the next generation
- Detection and exploitation of functional dependencies for model generation
Uses Software
This page was built for publication: Constraint Answer Set Solving
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4649733)
