Recursive aggregates in disjunctive logic programs: Semantics and complexity

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3229, Issue , 2004, Pages 200-212

  Faber, Wolfgang ^a   Leone, Nicola ^b   Pfeifer, Gerald ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b UNIVERSITY OF CALABRIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING; LOGIC PROGRAMMING; SEMANTICS; COMPUTATIONAL COMPLEXITY; ENCODING (SYMBOLS); MATHEMATICAL MODELS; PROBLEM SOLVING; SET THEORY;

AGGREGATE-FREE PROGRAMS; ANSWER SET PROGRAMMING; ANSWER SET SEMANTICS; DISJUNCTIVE LOGIC PROGRAMMING; DISJUNCTIVE LOGIC PROGRAMS; NONMONOTONE AGGREGATES; PROBLEM REPRESENTATION; RECURSIVE AGGREGATES;

AGGREGATES; LOGIC PROGRAMMING;

AGGREGATE-FREE PROGRAMS; LOGIC PROGRAMS; NONMONOTONE AGGREGATES; RECURSIVE AGGREGATES;

EID: 22944450067     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30227-8_19     Document Type: Conference Paper

References (16)

1. Mumick, I. S., Pirahesh, H., Ramakrishnan, R.: The magic of duplicates and aggregates. In: VLDB'90 (1990) 264-277
2. Kemp, D. B., Stuckey, P. J.: Semantics of Logic Programs with Aggregates. In: ISLP'91, MIT Press (1991) 387-401
3. Ross, K. A., Sagiv, Y.: Monotonic Aggregation in Deductive Databases. JCSS 54 (1997) 79-97
4. Pelov, N., Denecker, M., Bruynooghe, M.: Partial stable models for logic programs with aggregates. In: LPNMR-7. LNCS 2923., Springer (2004) 207-219
5. Dell'Armi, T., Faber, W., Ielpa, G., Leone, N., Pfeifer, G.: Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. In: IJCAI 2003, Acapulco, Mexico, Morgan Kaufmann (2003) 847-852
6. Gelfond, M.: Representing Knowledge in A-Prolog. In: Computational Logic. Logic Programming and Beyond. LNCS 2408. Springer (2002) 413-451
7. Dell'Armi, T., Faber, W., Ielpa, G., Leone, N., Pfeifer, G.: Aggregate Functions in DLV. In: ASP'03, Messina, Italy (2003) 274-288 Online at http://CEUR-WS.org/Vol-78/.
8. Pelov, N., Truszczyński, M.: Semantics of disjunctive programs with monotone aggregates - an operator-based approach. In: NMR 2004. (2004) 327-334
9. Marek, V. W., Remmel, J. B.: On Logic Programs with Cardinality Constraints. In: NMR'2002 (2002) 219-228
10. Marek, V. W., Remmel, J. B.: Set Constraints in Logic Programming. In: LPNMR-7. LNCS, Springer (2004) 167-179
11. Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing 9 (1991) 365-385
12. Eiter, T., Faber, W., Leone, N., Pfeifer, G.: Declarative Problem-Solving Using the DLV System. In Minker, J., ed.: Logic-Based Artificial Intelligence. Kluwer (2000) 79-103
13. Niemelä, I., Simons, P., Soininen, T.: Stable Model Semantics of Weight Constraint Rules. In: LPNMR'99. Number 1730 in Lecture Notes in AI (LNAI), Springer (1999) 107-116
14. Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and Expressive Power of Logic Programming. ACM Computing Surveys 33 (2001) 374-425
15. Pelov, N.: Semantics of Logic Programs withAggregates. PhD thesis, Katholieke Universiteit Leuven, Leuven, Belgium (2004)
16. Eiter, T., Gottlob, G., Veith, H.: Modular Logic Programming and Generalized Quantifiers. In: LPNMR'97. LNCS 1265, Springer (1997) 290-309