Constraint answer set programming systems

DOI10.4230/LIPICS.ICLP.2010.255zbMATH Open1237.68185OpenAlexW1517880980MaRDI QIDQ2883103FDOQ2883103

Authors: Christian Drescher 

Publication date: 11 May 2012

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

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

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)

Cited In (9)

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

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)