Michael J. Maher IBM Thomas J. Watson Research Center, P.O. Box 704, Yorktown ...  Home/Search
Context
Related
| luc.edu/~mjm/pubs/lp/single_rules.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: luc.edu/~mjm/pubs/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: It has been conjectured [Blair] that every definite clause logic program containing exactly one rule is canonical. This note presents a simple proof of this conjecture. (Update)
Active bibliography (related documents): More All
0.3: A CLP View of Logic Programming - Maher (1992) (Correct)
0.3: Some Applications Of General Topology To The Semantics Of Logic.. - Seda (1994) (Correct)
0.3: Topology and the Semantics of Logic Programs - Seda (1995) (Correct)
Similar documents based on text: More All
0.2: R-stable Models for Logic Programs - Jakobovits, Vermeir (Correct)
0.2: A Comparison of Different Techniques for Grounding.. - Schulz (2002) (Correct)
0.2: Restricted Optimal Unification - Wojciech Buszkowski Faculty (Correct)
BibTeX entry: (Update)
@book{ maher88single,
author = "M. J. Maher",
title = "Single Rules form Canonical Logic Programs",
publisher = "IBM Research Report RC 13528, T.J. Watson Research Center",
year = "1988",
url = "citeseer.ist.psu.edu/595422.html" }
Citations (may not include all citations):166 Unification Revisited (context) - Lassez, Maher et al.
162 The Semantics of Predicate Logic as a Programming Language (context) - van Emden, Kowalski - 1976
8 Canonical Logic Programs (context) - Jaffar, Stuckey - 1986
5 Some Issues and Trends in the Semantics of Logic Programming (context) - Jaffar, Lassez et al. - 1987
4 Workshop on Foundations of Deductive Databases and Logic Pro.. (context) - Blair, the et al. - 1987
Documents on the same site (http://www.cs.luc.edu/~mjm/pubs/): More
Chasing Constrained Tuple-Generating Dependencies - Maher, Srivastava (1996) (Correct)
Rewriting General Conjunctive Queries Using Views - Wang, Maher, Topor (2002) (Correct)
The Semantics of Constraint Logic Programs - Jaffar, Maher, Marriott, Stuckey (1996) (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