David B. Kemp, Peter J. Stuckey  Home/Search
Context Related
Links: DBLP | cs.mu.oz.au/~kemp/papers/agg.ps cs.mu.oz.au/~pjs/papers/agg.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.mu.oz.au/~kemp/papers...papers (more) From: munkora.cs.mu.oz.au/~pjs...papers (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We investigate the semantics of aggregates (count, sum, : : :) in logic programs with function symbols and negation. In particular we address the meaning of programs with recursion through aggregation. We extend the two most successful semantic approaches to the problem of recursion through negation, well founded models and stable models, to programs with aggregates. We examine previously defined classes of aggregate programs: aggregate stratified, group stratified, magical stratified,... (Update)
Context of citations to this paper: More
...with this system in the context of scheduling and puzzles. As will be shown in section 5, current extensions of well founded semantics [12, 18, 19] and stable model semantics [12, 16] of programs with aggregates are still weak in some ways. In this paper, we propose a stronger...
...as in SQL3 TERMINATE. A substantial amount of previous work has focused on aggregates and their semantics in logic based programs [3, 2, 14, 13, 15, 19]. Of particular significance is the work on monotonic aggregation [15] since monotonic aggregates can be used to express very...
Cited by: More
Smodels with CLP - A Treatment of Aggregates in ASP - Pontelli, Son (2003) (Correct)
Partial Stable Models for Logic Programs with Aggregates - Pelov, Denecker, Bruynooghe (2004) (Correct)
Pushing Extrema Aggregates to Optimize Logic Queries - Greco (2002) (Correct)
Active bibliography (related documents): More All
0.2: Low Complexity Aggregation in GraphLog and Datalog - Consens, Mendelzon (1993) (Correct)
0.2: Logic Programming With Sets - Gabriel Kuper Ibm (1990) (Correct)
0.2: The LDL System Prototype - Chimenti, Gamboa, Krishnamurthy.. (1996) (Correct)
Similar documents based on text: More All
0.2: Query Restricted Bottom-up Evaluation of Normal Logic Programs - Kemp (1992) (Correct)
0.2: Optimizing Bottom-Up Evaluation of Constraint Queries - Kemp, Stuckey (1996) (Correct)
0.1: Bottom-up Evaluation and Query Optimization of.. - Kemp, Srivastava, Stuckey (1995) (Correct)
Related documents from co-citation: More All
28: Monotonic Aggregation in Deductive Databases - Ross, Sagiv - 1992
22: The Stable Model Semantics for Logic Programming - Gelfond - 1988
15: Minimum and Maximum Predicates in Logic Programming - Ganguly, Greco et al. - 1991
BibTeX entry: (Update)
D. B. Kemp and P. J. Stuckey. Semantics of logic programs with aggregates. In Proc. ACM SIGACTSIGMOD Symp. on Principles of Database Systems, pages 387 -- 401, Denver, CO, May 1991. http://citeseer.ist.psu.edu/kemp91semantics.html More
@inproceedings{ david91semantics,
author = "Kemp, David B. and Stuckey, Peter J.",
title = "Semantics of Logic Programs with Aggregates",
booktitle = "Logic Programming, Proceedings of the 1991 International Symposium",
publisher = "The MIT Press",
address = "San Diego, USA",
editor = "Saraswat, Vijay and Ueda, Kazunori",
pages = "387--404",
year = "1991",
url = "citeseer.ist.psu.edu/kemp91semantics.html" }
Citations (may not include all citations):981 Principles of Database and Knowledge-Base Systems (context) - Ullman - 1989
858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988 DBLP
435 Towards a theory of declarative knowledge (context) - Apt, Blair et al. - 1988 ACM DBLP
186 Negation in logic programming (context) - Kunen - 1987 ACM DBLP
174 A Kripke-Kleene semantics for logic programs (context) - Fitting - 1985 DBLP
129 the power of languages for the manipulation of complex objec.. - Abiteboul, Beeri - 1988
118 Unfounded sets and wellfounded semantics for general logic p.. (context) - Van Gelder, Ross et al. - 1988
106 Equivalence of relational algebra and relational calculus qu.. (context) - Klug - 1982 ACM DBLP
73 Modular stratification and magic sets for DATALOG programs w.. (context) - Ross - 1990 ACM DBLP
54 Low complexity aggregation in Graphlog and Datalog - Consens, Mendelzon - 1990 ACM DBLP
50 Extending relational algebra and relational calculus with se.. (context) - Ozsoyoglu, Ozsoyoglu et al. - 1987
50 The magic of duplicates and aggregates - Mumick, Pirahesh et al. - 1990 ACM DBLP
40 Sets and negation in a logic database language (context) - Beeri, Naqvi et al. - 1987
39 LDL: a logic-based data-language (context) - Tsur, Zaniolo - 1986
33 Minimum and maximum predicates in logic programming - Ganguly, Greco et al. - 1991 ACM DBLP
7 the semantics of stratified deductive databases (context) - Przymusinski - 1988
6 Recursive aggregates in the EKS-V1 system (context) - Lefebvre - 1991
5 Set grouping and layering in Horn clause programs (context) - Shmueli, Naqvi - 1987 DBLP
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.mu.oz.au/~kemp/papers/papers.html): More
Optimizing Bottom-Up Evaluation of Constraint Queries - Kemp, Stuckey (1996) (Correct)
A Deductive Database Solution to the Preferential Vote Counting .. - David Kemp (Correct)
Syntactically Recognizable Modularly Stratified Programs - Kemp, Ramamohanarao (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC