Relating constraint answer set programming languages and algorithms

DOI10.1016/J.ARTINT.2013.10.004MaRDI QIDQ490456zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

satisfiability modulo theories(constraint) answer set programmingconstraint satisfaction processing

Mathematics Subject Classification ID

Logic programming (68N17)

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

• scientific article; zbMATH DE number 1453070 (Why is no real title available?)
• scientific article; zbMATH DE number 5212421 (Why is no real title available?)
• A machine program for theorem-proving
• A translational approach to constraint answer set solving
• ASP modulo CSP: the clingcon system
• Abductive Logic Programming
• Abstract Answer Set Solvers
• Abstract answer set solvers with backjumping and learning
• Combining nonmonotonic knowledge bases with external sources
• Constraint Answer Set Solving
• Extending the Smodels system with cardinality and weight constraints
• Integrating answer set programming and constraint logic programming
• Logic Programming
• Logic Programming
• Nested expressions in logic programs
• Prolog and ASP inference under one roof
• Representing constraint satisfaction problems in answer set programming
• SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions
• Solving SAT and SAT modulo theories, from an abstract Davis-Putnam-Logemann-Loveland procedure to \(\operatorname{DPLL}(T)\)
• Stable models and circumscription
• The well-founded semantics for general logic programs
• Transition systems for model generators -- a unifying approach
• Weight constraints as nested expressions

Cited in

(15)

• \(\mathrm{ASP}(\mathcal{AC})\): answer set programming with algebraic constraints
• MILP, pseudo-Boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks
• Abstract Solvers for Computing Cautious Consequences of ASP programs
• Pruning external minimality checking for answer set programs using semantic dependencies
• On abstract modular inference systems and solvers
• Querying incomplete information in RDF with SPARQL
• Integrating answer set programming and constraint logic programming
• An abstract view on optimizations in SAT and ASP
• CASP solutions for planning in hybrid domains
• A model building framework for answer set programming with external computations
• Representing production scheduling with constraint answer set programming
• scientific article; zbMATH DE number 7455719 (Why is no real title available?)
• Constraint answer set solver EZCSP and why integration schemas matter
• On relation between constraint answer set programming and satisfiability modulo theories
• Adaptive large-neighbourhood search for optimisation in answer-set programming

Describes a project that uses

Uses Software

• Smodels
• Clingcon
• IDP

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)