Constraint answer set programming systems

DOI10.4230/LIPICS.ICLP.2010.255MaRDI QIDQ2883103zbMATH OpenOpenAlexFDO

Authors Christian Drescher

Publication date 11 May 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_758b.html

zbMATH Keywords

answer set programmingconstraint logic programmingconstraint processing

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Recommendations

• Constraint Answer Set Solving
• Representing constraint satisfaction problems in answer set programming
• Integrating answer set programming and constraint logic programming
• A translational approach to constraint answer set solving
• Logic Programming

Cited in

(9)

• Logic Programming and Nonmonotonic Reasoning
• Constraint answer set programming without grounding
• Constraint Answer Set Solving
• Representing constraint satisfaction problems in answer set programming
• A translational approach to constraint answer set solving
• Integrating answer set programming and constraint logic programming
• Representing production scheduling with constraint answer set programming
• Relating constraint answer set programming languages and algorithms
• On relation between constraint answer set programming and satisfiability modulo theories

Describes a project that uses

Uses Software

• MiniSat
• Gringo
• Smodels
• Lparse
• clasp
• Sugar
• Clingcon

This page was built for publication: Constraint answer set programming systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2883103)