In this work we propose a semantically well-founded extension of Answer Set Programming (ASP) with aggregates, which relies on the integration between answer set solvers and constraint logic programming systems. The resulting system is efficient, flexible, and supports form of aggregation more general than those previously proposed in the literature. The system is developed as an instance of a general framework for the embedding of arbitrary constraint theories within ASP. © Springer-Verlag 2004.
CITATION STYLE
Elkabani, I., Pontelli, E., & Son, T. C. (2004). Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3132, 73–89. https://doi.org/10.1007/978-3-540-27775-0_6
Mendeley helps you to discover research relevant for your work.