Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity-Reference-Cited by-同舟云学术

Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity

Published:2004 Issue: Volume: Page:200-212
ISSN:0302-9743
Container-title:Logics in Artificial Intelligence
language:
Short-container-title:

Author:

Faber Wolfgang,Leone Nicola,Pfeifer Gerald

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-30227-8_19.pdf

Reference16 articles.

1. Mumick, I.S., Pirahesh, H., Ramakrishnan, R.: The magic of duplicates and aggregates. In: VLDB 1990, pp. 264–277 (1990)

2. Kemp, D.B., Stuckey, P.J.: Semantics of Logic Programs with Aggregates. In: ISLP 1991, pp. 387–401. MIT Press, Cambridge (1991)

3. Ross, K.A., Sagiv, Y.: Monotonic Aggregation in Deductive Databases. JCSS 54, 79–97 (1997)

4. Lecture Notes in Artificial Intelligence;N. Pelov,2003

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, pp. 847–852. Morgan Kaufmann, San Francisco (2003)

Cited by 132 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Sequential composition of propositional logic programs;Annals of Mathematics and Artificial Intelligence;2024-02-15

2. Learning the Parameters of Probabilistic Answer Set Programs;Lecture Notes in Computer Science;2024

3. Lifted inference for statistical statements in probabilistic answer set programming;International Journal of Approximate Reasoning;2023-12

4. Explainable Answer-set Programming;Electronic Proceedings in Theoretical Computer Science;2023-09-12

5. The Stable Model Semantics of Datalog with Metric Temporal Operators;Theory and Practice of Logic Programming;2023-08-02