Constraint Answer Set Programming Systems

Abstract. We present an integration of answer set programming and constraint processing as an interesting approach to constraint logic programming. Although our research is in a very early stage, we motivate constraint answer set programming and report on related work, our research objectives, preliminary results we achieved, and future work.

• Type: Conference
• Year: 2010
• Where: ICLP
• Authors: Christian Drescher
• Keywords: Answer Set Programming, Automated Reasoning, Constraint Answer, Constraint Logic Programming, ICLP 2010