Relating constraint answer set programming languages and algorithms

DOI10.1016/j.artint.2013.10.004zbMath1334.68041OpenAlexW2089928029MaRDI QIDQ490456

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)

Related Items (13)

On abstract modular inference systems and solvers ⋮ Querying incomplete information in RDF with SPARQL ⋮ A model building framework for answer set programming with external computations ⋮ Constraint answer set solver EZCSP and why integration schemas matter ⋮ On relation between constraint answer set programming and satisfiability modulo theories ⋮ CASP solutions for planning in hybrid domains ⋮ Abstract Solvers for Computing Cautious Consequences of ASP programs ⋮ Unnamed Item ⋮ ASP (): 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* ⋮ Representing Production Scheduling with Constraint Answer Set Programming ⋮ Pruning external minimality checking for answer set programs using semantic dependencies ⋮ An abstract view on optimizations in SAT and ASP

Uses Software

• Smodels
• Clingcon
• IDP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Stable models and circumscription
• Integrating answer set programming and constraint logic programming
• Nested expressions in logic programs
• Prolog and ASP Inference under One Roof
• Abstract answer set solvers with backjumping and learning
• Transition systems for model generators—A unifying approach
• Solving SAT and SAT Modulo Theories
• SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions
• A translational approach to constraint answer set solving
• Combining Nonmonotonic Knowledge Bases with External Sources
• The well-founded semantics for general logic programs
• Constraint Answer Set Solving
• Weight constraints as nested expressions
• ASP modulo CSP: The clingcon system
• Abductive Logic Programming
• Logic Programming
• Logic Programming
• Abstract Answer Set Solvers
• A machine program for theorem-proving

This page was built for publication: Relating constraint answer set programming languages and algorithms