A constructive semantic characterization of aggregates in answer set programming

Theory and Practice of Logic Programming

Volumn 7, Issue 3, 2007, Pages 355-375

  Son, Tran Cao ^a   Pontelli, Enrico ^a  

^a NEW MEXICO STATE UNIVERSITY   (United States)

Author keywords

Aggregates; Answer set programming; Semantics

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; COMPUTER SOFTWARE; LOGIC PROGRAMMING; PROBLEM SOLVING;

ANSWER SET PROGRAMMING; FIXPOINT OPERATOR;

SEMANTICS;

EID: 33947266905     PISSN: 14710684     EISSN: 14753081     Source Type: Journal    
DOI: 10.1017/S1471068406002936     Document Type: Article

References (16)

1. CORMEN, T. H., LEISERSON, C. E., RIVEST, R. L. AND STEIN, C. 2001. Introduction to Algorithms, 2nd Edition. MIT Press, Cambridge, MA.
2. DOVIER, A., PONTELLI, E., AND ROSSI, G. 2001. Constructive negation and constraint logic programming with sets. New Generation Comput. 19, 3, 209-256.
3. DOVIER, A., PONTELLI, E., AND ROSSI, G. 2003. Intensional Sets in CLP. In International Conference on Logic Programming, Springer, 284-299.
4. ELKABANI, I., PONTELLI, E., AND SON, T. C. 2004. Smodels with CLP and its Applications: a Simple and Effective Approach to Aggregates in ASP. In International Conference on Logic Programming, Springer, 73-89.
5. FABER, W., LEONE, N., AND PFEIFER, G. 2004. Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. In JELIA, Springer, 200-212.
6. GELFOND, M. 2002. Representing Knowledge in A-Prolog. In Computational Logic: Logic Programming and Beyond, Springer Verlag, 413-451.
7. GELFOND, M. AND LIFSCHITZ, V. 1988. The Stable Model Semantics for Logic Programming. In International Conf. and Symp. on Logic Programming, MIT Press, 1070-1080.
8. KEMP, D. B. AND STUCKEY, P. J. 1991. Semantics of Logic Programs with Aggregates. In ISLP, MIT Press, 387-401.
9. LLOYD, J. 1987. Foundations of Logic Programming. Springer Verlag.
10. MUMICK, I. S., PIRAHESH, H., AND RAMAKRISHNAN, R. 1990. The Magic of Duplicates and Aggregates. In Int. Conf. on Very Large Data Bases, Morgan Kaufmann, 264-277.
11. PELOV, N. 2004. Semantic of Logic Programs with Aggregates. Ph.D. thesis, Katholieke Universiteit Leuven.
12. PELOV, N., DENECKER, M., AND BRUYNOOGHE, M. 2003. Translation of Aggregate Programs to Normal Logic Programs. In ASP: Advances in Theory and Implementation, CEUR Workshop Proceedings. 29-42.
13. PELOV, N., DENECKER, M., AND BRUYNOOGHE, M. 2004. Partial Stable Models for Logic Programs with Aggregates. In LPNMR, Springer, 207-219.
14. ROSS, K. A. AND SAGIV, Y. 1997. Monotonic Aggregation in Deductive Database. J. Comput. Syst. Sci. 54, 1, 79-97.
15. SON, T. C., PONTELLI, E., AND ELKABANI, I. 2005. A Translational Semantics for Aggregates in Logic Programming . Tech. Rep. CS-2005-006, New Mexico State University, www.cs.nmsu.edu/CSWS/php/techReports.php?rpt_year=2005.
16. ZANIOLO, C., ARNI, N., AND ONG, K. 1993. Negation and Aggregates in Recursive Rules: the LDL++ Approach. In DOOD. 204-221.