Constraint Answer Set Solving
From MaRDI portal
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
- Answer set based design of knowledge systems
- Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
- Conflict-Driven Answer Set Enumeration
- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
- Extending and implementing the stable model semantics
- External sources of knowledge and value invention in logic programming
- Handbook of constraint programming.
- Integrating Answer Set Reasoning with Constraint Solving Techniques
- Integrating answer set programming and constraint logic programming
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Logic Programming
- Solving SAT and SAT modulo theories, from an abstract Davis-Putnam-Logemann-Loveland procedure to \(\operatorname{DPLL}(T)\)
Cited in
(37)- Hybrid answer set programming
- Detection and exploitation of functional dependencies for model generation
- Domain expansion for ASP-programs with external sources
- Constraint answer set programming without grounding
- ASP modulo CSP: the clingcon system
- 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
- Answer-set programming for lexicographical makespan optimisation in parallel machine scheduling
- Answer set planning: a survey
- Constraint answer set programming: integrational and translational (or SMT-based) approaches
- 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
- Representing constraint satisfaction problems in answer set programming
- Integrating Answer Set Reasoning with Constraint Solving Techniques
- New encodings of the (Euclidean) travelling salesperson problem in constraint answer set programming on difference logic
- Modelling grammar constraints with answer set programming
- Principles and Practice of Constraint Programming – CP 2003
- Automated Reasoning
- First-order stable model semantics with intensional functions
- Weight constraint programs with evaluable functions
- aspartame: solving constraint satisfaction problems with answer set programming
- Clause-learning for modular systems
- 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
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)
