Drescher, Christian Constraint answer set programming systems. (English) Zbl 1237.68185 Hermenegildo, Manuel (ed.) et al., Technical communications of the 26th international conference on logic programming (ICLP 2010), July 16–19, 2010, Edinburgh, Scotland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-17-0). LIPIcs – Leibniz International Proceedings in Informatics 7, 255-264, electronic only (2010). Summary: 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.For the entire collection see [Zbl 1213.68040]. MSC: 68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) 68N17 Logic programming Keywords:answer set programming; constraint logic programming; constraint processing Software:Lparse; clasp; Smodels; Gringo; Clingcon; Sugar; MiniSat PDFBibTeX XMLCite \textit{C. Drescher}, LIPIcs -- Leibniz Int. Proc. Inform. 7, 255--264 (2010; Zbl 1237.68185) Full Text: DOI Link