Kenneth A. Ross  Home/Search
Context
Related
| columbia.edu/~kar/pubsk/stot.ps 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: columbia.edu/~kar/pubsk/pubsk (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In previous work we proposed a condition that generalizes local stratification, that ensures a two-valued well-founded model, and that can be syntactically determined from the rules and some monotonicity constraints on the facts in the program. This condition was called "universal constraint stratification." In this paper we generalize the class of constraints from monotonicity constraints to an arbitrary constraint domain. We generalize universal constraint stratification to the more general... (Update)
Similar documents (at the sentence level):
20.1%: A Syntactic Stratification Condition Using Constraints - Kenneth Ross (1994) (Correct)
6.1%: Constraint Stratification in Deductive Databases - Ross (Correct)
Active bibliography (related documents): More All
0.1: Well Founded Semantics and Stable Semantics of Semi-Strict Programs - Gire (1992) (Correct)
0.1: A Survey on Complexity Results for Non-monotonic Logics - Cadoli, Schaerf (1993) (Correct)
0.1: Experimenting with Nonmonotonic Reasoning - Cholewinski, Marek, Mikitiuk.. (1995) (Correct)
Similar documents based on text: More All
0.4: Making Conical Compactifications Into Wonderful Ones - MacPherson, Procesi (1995) (Correct)
0.4: th Aerospace Sciences Meeting Exhibit - January Reno Nv (Correct)
0.4: Stratifications of hyperelliptic Jacobians and the Sato.. - Vanhaecke (1993) (Correct)
BibTeX entry: (Update)
@inproceedings{ ross95structural,
author = "Kenneth A. Ross",
title = "Structural Totality and Constraint Stratification",
pages = "184--195",
year = "1995",
url = "citeseer.ist.psu.edu/36946.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
815 Abstract interpretation: A unified lattice model for static .. (context) - Cousot, Cousot - 1977
561 Constraint logic programming (context) - Jaffar, Lassez - 1987
373 Constraint logic programming: A survey - Jaffar, Maher - 1994
312 The well-founded semantics for general logic programs - Van Gelder, Ross et al. - 1991
204 the declarative semantics of deductive databases and logic p.. (context) - Przymusinski - 1988
88 Every logic program has a natural stratification and an iter.. - Przymusinski - 1989
78 Acyclic programs (context) - Apt, Bezem - 1990
73 Modular stratification and magic sets for Datalog programs w.. (context) - Ross - 1994
33 Negation by default and unstratifiable logic programs (context) - Bidoit, Froidevaux - 1991
26 Inference of monotonicity constraints in Datalog programs (context) - Brodsky, Sagiv - 1989
20 Tractable approximate deduction using limited vocabularies (context) - Dalal, Etherington - 1992
14 The Semantics of Deductive Databases (context) - Ross - 1991
8 Tiebreaking semantics and structural totality (context) - Papadimitriou, Yannakakis - 1992
1 A syntactic stratification condition using constraints - Ross - 1994
Documents on the same site (http://www.cs.columbia.edu/~kar/pubsk/pubsk.html): More
Glue-Nail: A Deductive Database System - Phipps, Derr, Ross (1991) (Correct)
Monotonic Aggregation in Deductive Databases - Ross, Sagiv (1992) (Correct)
A Syntactic Stratification Condition Using Constraints - Kenneth Ross (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