Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP

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.

[1]  Peter J. Stuckey,et al.  Semantics of Logic Programs with Aggregates , 1991, ISLP.

[2]  Kenneth A. Ross,et al.  Monotonic aggregation in deductive databases , 1992, J. Comput. Syst. Sci..

[3]  Michael Gelfond,et al.  Logic programming and knowledge representation - The A-Prolog perspective , 2002, Artif. Intell..

[4]  Kotagiri Ramamohanarao,et al.  Efficient Recursive Aggregation and Negation in Deductive Databases , 1998, IEEE Trans. Knowl. Data Eng..

[5]  Kenneth A. Ross,et al.  Foundations of Aggregation Constraints , 1994, PPCP.

[6]  Sergio Greco,et al.  Dynamic Programming in Datalog with Aggregates , 1999, IEEE Trans. Knowl. Data Eng..

[7]  Michael Gelfond,et al.  Representing Knowledge in A-Prolog , 2002, Computational Logic: Logic Programming and Beyond.

[8]  Timo Soininen,et al.  Extending and implementing the stable model semantics , 2000, Artif. Intell..

[9]  Maurice Bruynooghe,et al.  Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates , 2001, ICLP.

[10]  Agostino Dovier,et al.  Intensional Sets in CLP , 2003, APPIA-GULP-PRODE.

[11]  Chitta Baral,et al.  Logic Programming and Knowledge Representation , 1994, J. Log. Program..

[12]  Joachim Schimpf,et al.  ECLiPSe: A Platform for Constraint Logic Programming , 1997 .

[13]  Wolfgang Faber,et al.  Aggregate Functions in DLV , 2003, Answer Set Programming.

[14]  Victor W. Marek,et al.  Stable models and an alternative logic programming paradigm , 1998, The Logic Programming Paradigm.

[15]  G. Antoniou.  Stable Model Semantics of Logic Programs , 1997 .

[16]  Gerald Pfeifer,et al.  The KR System dlv: Progress Report, Comparisons and Benchmarks , 1998, KR.

[17]  Vladimir Lifschitz,et al.  Computing answer sets using program completion , 2003 .

[18]  Allen Van Gelder,et al.  The well-founded semantics of aggregation , 1992, PODS.

[19]  Victor W. Marek,et al.  The Logic Programming Paradigm , 1999, Artificial Intelligence.

[20]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.