Relating constraint answer set programming languages and algorithms
From MaRDI portal
Publication:490456
DOI10.1016/J.ARTINT.2013.10.004zbMATH Open1334.68041OpenAlexW2089928029MaRDI QIDQ490456FDOQ490456
Authors: Yuliya Lierler 
Publication date: 27 August 2015
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2013.10.004
Recommendations
- Constraint answer set programming systems
- Relating two dialects of answer set programming
- Set constraints and logic programming
- Representing constraint satisfaction problems in answer set programming
- scientific article; zbMATH DE number 1045433
- scientific article; zbMATH DE number 1045436
- Constraint Programming
- Exploring relations between answer set programs
- Constraint satisfaction using constraint logic programming
Cites Work
- Nested expressions in logic programs
- The well-founded semantics for general logic programs
- Constraint Answer Set Solving
- Weight constraints as nested expressions
- Abductive Logic Programming
- Integrating answer set programming and constraint logic programming
- Extending the Smodels system with cardinality and weight constraints
- Abstract answer set solvers with backjumping and learning
- Representing constraint satisfaction problems in answer set programming
- Solving SAT and SAT modulo theories, from an abstract Davis-Putnam-Logemann-Loveland procedure to \(\operatorname{DPLL}(T)\)
- SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions
- Stable models and circumscription
- A machine program for theorem-proving
- Combining nonmonotonic knowledge bases with external sources
- Prolog and ASP inference under one roof
- Transition systems for model generators -- a unifying approach
- A translational approach to constraint answer set solving
- ASP modulo CSP: the clingcon system
- Title not available (Why is that?)
- Logic Programming
- Title not available (Why is that?)
- Logic Programming
- Abstract Answer Set Solvers
Cited In (15)
- A model building framework for answer set programming with external computations
- \(\mathrm{ASP}(\mathcal{AC})\): answer set programming with algebraic constraints
- On abstract modular inference systems and solvers
- Querying incomplete information in RDF with SPARQL
- Abstract Solvers for Computing Cautious Consequences of ASP programs
- Integrating answer set programming and constraint logic programming
- On relation between constraint answer set programming and satisfiability modulo theories
- CASP solutions for planning in hybrid domains
- Constraint answer set solver EZCSP and why integration schemas matter
- Title not available (Why is that?)
- Pruning external minimality checking for answer set programs using semantic dependencies
- Representing production scheduling with constraint answer set programming
- An abstract view on optimizations in SAT and ASP
- MILP, pseudo-Boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks
- Adaptive large-neighbourhood search for optimisation in answer-set programming
Uses Software
This page was built for publication: Relating constraint answer set programming languages and algorithms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q490456)
