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)

Volumn 3132, Issue , 2004, Pages 73-89

  Elkabani, Islam ^a   Pontelli, Enrico ^a   Son, Tran Cao ^a  

^a NEW MEXICO STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AGGREGATES; COMPUTER CIRCUITS; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; RECONFIGURABLE HARDWARE;

ANSWER SET; ANSWER SET PROGRAMMING; ARBITRARY CONSTRAINTS; CONSTRAINT LOGIC PROGRAMMING; EFFECTIVE APPROACHES; ITS APPLICATIONS; SMODELS;

LOGIC PROGRAMMING;

EID: 35048867835     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27775-0_6     Document Type: Article

References (17)

1. C. Baral. Knowledge Representation, reasoning, and problem solving, Cambridge, 2003.
2. C. Baral and M. Gelfond. Logic Programming and Knowledge Representation. JLP, 19/20, 1994.
3. T. Dell'Armi et al. Aggregate Functions in DLV. 2nd Intl. ASP Workshop, 2003.
4. M. Denecker et al. Ultimate well-founded and stable semantics for logic programs with aggregates. In ICLP, Springer. 2001.
5. A. Dovier et al. Intensional Sets in CLP. ICLP, Springer Verlag, 2003.
6. T. Eiter et al. The KR System dlv: Progress Report, Comparisons, and Benchmarks. KRR, 1998.
7. M. Gelfond. Representing Knowledge in A-Prolog. Logic Programming&Bey and, Springer, 2002.
8. M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programs. ILPS, MIT, 1988.
9. S. Greco. Dynamic Programming in Datalog with Aggregates. TKDE, 11(2), 1999.
10. D. Kemp et al. Efficient Recursive Aggregation and Negation in Deductive Databases. TKDE, 10(5), 1998.
11. D. Kemp and P. Stuckey. Semantics of Logic Programs with Aggregates. ILPS, MIT Press, 1991.
12. V. Marek and M. Truszczyński. Stable models and an alternative logic programming paradigm. The Logic Programming Paradigm, Springer Verlag, 1999.
13. K. A. Ross and Y. Sagiv. Monotonic Aggregation in Deductive Databases. JCSS, 54:79-97, 1997.
14. K. Ross et al. Foundations of Aggregation Constraints. TCS, 193(1-2), 1998.
15. P. Simons et al. Extending and Implementing the Stable Model Semantics. AIJ, 138(1-2), 2002.
16. A. Van Gelder. The Well-Founded Semantics of Aggregation. ACM PODS, 1992.
17. M. Wallace, S. Novello, J. Schimpf. ECLiPSe: a Platform for Constraint Logic Programming. IC-Parc, Imperial College, 1997.