Anthony J. Bonner, L. Thorne McCarty  Home/Search
Context Related
| toronto.edu/pub/bonner/pap...naclp90.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: toronto.edu:8020/people/...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Intuitionistic logic programming is an extension of Horn-clause logic programming in which implications may appear "embedded" on the right-hand side of a rule. Thus, rules of the form A(x) / [B(x) / C(x)] are allowed. These rules are called embedded implications . In this paper, we develop a language in which negation-as-failure is combined with embedded implications in a principled way. Although this combination has been studied by other researchers, Gabbay has argued in [10] that the entire... (Update)
Context of citations to this paper: More
...well founded semantics. Let us now look at a slightly more complicated example. Consider, for instance, the following story from [BM90]. Example 6.1 Consider a database Pi 1 consisting of lists of students and courses, atomic formulas take(s; c) asserting that student s...
.... negation as failure (Section 5) In contrast, adding negation as failure to intuitionistic logic is problematic, as pointed out in [32] and [17]. Finally, it is worth pointing out, that like the models of this section, the canonical intuitionistic model developed in [11, 7] is...
Cited by: More
Modularity in Logic Programming - Pasarella (Correct)
Programming in Lygon: An Overview - Harland, Pym, Winikoff (1996) (Correct)
A Logical Semantics For Hypothetical Rulebases With Deletion - Bonner (1997) (Correct)
Active bibliography (related documents): More All
0.8: Hypothetical Reasoning with Intuitionistic Logic - Bonner (1994) (Correct)
0.7: Circumscribing Embedded Implications (Without Stratifications) - McCarty (1992) (Correct)
0.5: Intuitionistic Deductive Databases And The Polynomial Time.. - Bonner (1997) (Correct)
Similar documents based on text: More All
0.4: Expressing Database Queries with Intuitionistic Logic - Bonner, McCarty, Vadaparty (1989) (Correct)
0.3: Hypothetical Datalog: Negation and Linear Recursion - Bonner (1989) (Correct)
0.3: A Logic for Hypothetical Reasoning - Bonner (1988) (Correct)
Related documents from co-citation: More All
13: Prolog: an extension of Prolog with hypothetical implications (context) - Gabbay - 1985
13: Clausal Intuitionistic Logic (context) - McCarty - 1988
10: Towards a Theory of Declarative Knowledge (context) - Apt, Blair et al. - 1988
BibTeX entry: (Update)
A.J. Bonner and L.T. McCarty. Adding Negation-as-Failure to Intuitionistic Logic Programming. Technical report, Department of Computer Science, Rutgers University, New Brunswick, NJ 08903, 1992. http://citeseer.ist.psu.edu/bonner92adding.html More
@inproceedings{ bonner89adding,
author = "Bonner, A. J. and McCarty, L. T.",
title = "Adding Negation-as-Failure to Intuitionistic Logic Programming",
booktitle = "Logic Programming, Proc. of the North American Conference",
publisher = "The MIT Press",
address = "Cleveland",
editor = "Ewing L. Lusk and Ross A. Overbeek",
pages = "681-703",
year = "1989",
url = "citeseer.ist.psu.edu/bonner92adding.html" }
Citations (may not include all citations):435 Towards a Theory of Declarative Knowledge (context) - Apt, Blair et al. - 1988 ACM DBLP
204 the Declarative Semantics of Deductive Databases and Logic P.. (context) - Przymusinski - 1988
198 Structure and Complexity of Relational Queries - Chandra, Harel - 1982 DBLP
189 Computable Queries for Relational Databases - Chandra, Harel - 1980
149 A Logical Analysis of Modules in Logic Programming (context) - Miller - 1989 ACM DBLP
82 Prolog: an Extension of Prolog with Hypothetical Implication.. (context) - Gabbay - 1985
82 Prolog: an Extension of Prolog with Hypothetical Implication.. (context) - Gabbay, Reyle - 1984
55 Clausal Intuitionistic Logic (context) - McCarty - 1988
55 Clausal Intuitionistic Logic (context) - McCarty - 1988
53 Lexical scoping as universal quantification - Miller - 1989 DBLP
48 Semantical Analysis of Intuitionistic Logic (context) - Kripke - 1965
23 Model Theory and Forcing (context) - Fitting - 1969
20 A Language for Legal Discourse (context) - McCarty - 1989
17 Expressing Database Queries with Intuitionistic Logic - Bonner, McCarty et al. - 1989 DBLP
14 Adding Negation-as-Failure to Intuitionistic Logic Programmi.. - Bonner, McCarty - 1992
12 A Logic for Hypothetical Reasoning - Bonner - 1988 DBLP
9 Hypothetical Datalog: Negation and Linear Recursion - Bonner - 1989 DBLP
6 A Kripke-like model for negation as failure - Harland - 1989
6 A definite clause version of categorial grammar - Pareschi - 1988
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.db.toronto.edu:8020/people/bonner/papers.html): More
A Flexible Approach to Genome Map Assembly - Harley, Bonner (1994) (Correct)
Hypothetical Datalog: Complexity and Expressibility - Bonner (1988) (Correct)
LabFlow-1: a Database Benchmark for High-Throughput.. - Bonner, Shrufi, Rozen (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