Matthew L. Ginsberg Computer Science Department Stanford University Stanford, ...  Home/Search
Context Related
| cs.ru.ac.za/func/Bridge/Bridg...circ.ps Cached: 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.
PS.gz PS Image Update HelpFrom: cs.ru.ac.za/func/Bridge/Bridge... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In mvl, a generalization of first-order logic was introduced that led to the development of an effective theorem prover for some simple sorts of default reasoning. In this paper, we show that these ideas can also be used to construct a theorem prover for a wide class of circumscriptive theories. The ideas to be discussed have been implemented, and the resulting system has been applied to the canonical birds flying example, to a non-separable circumscription [9], and to the Yale shooting... (Update)
Similar documents based on text: More All
0.4: Embedding Circumscriptive Theories in General Disjunctive.. - Chiaki Sakama (1995) (Correct)
0.3: Implementing Circumscription Using a Tableau Method - Niemelä (1996) (Correct)
0.3: On the Model Checking Complexity of Circumscription (Extended.. - Lisitsa (Correct)
Related documents from co-citation: More All
37: An Algorithm to Compute Circumscription (context) - Przymusinski - 1989
29: Computing Circumscription (context) - Lifschitz - 1985
27: Circumscription -- a form of non-monotonic reasoning (context) - McCarthy - 1980
BibTeX entry: (Update)
M. L. Ginsberg. A circumscriptive theorem prover. Artificial Intelligence, 39:209--230, 1989. http://citeseer.ist.psu.edu/ginsberg89circumscriptive.html More
@inproceedings{ ginsberg89circumscriptive,
author = "Matthew L. Ginsberg",
title = "A circumscriptive theorem prover",
booktitle = "Nonmonotonic reasoning",
publisher = "Springer",
address = "Heidelberg, DE",
editor = "Michael Reinfrank and Johan de Kleer and Matthew L. Ginsberg and Erik Sandewall",
pages = "100--114",
year = "1989",
url = "citeseer.ist.psu.edu/ginsberg89circumscriptive.html" }
Citations (may not include all citations):451 Circumscription -- a form of non-monotonic reasoning (context) - McCarthy - 1980
363 Programming in Prolog (context) - Clocksin, Mellish - 1981
297 Applications of circumscription to formalizing common sense .. - McCarthy - 1986
295 On closed world data bases (context) - Reiter - 1978
175 Nonmonotonic logics and temporal projection (context) - Hanks, McDermott - 1987
166 Computing circumscription (context) - Lifschitz - 1985
107 Foundations of assumption-based truth maintenance systems: P.. (context) - Reiter, de Kleer - 1987
99 Multivalued logics: A uniform approach to reasoning in artif.. (context) - Ginsberg - 1988
69 A semantical approach to nonmonotonic logics (context) - Shoham - 1987
64 On interacting defaults (context) - Reiter, Criscuolo - 1981
62 An assumption-based truth maintenance system (context) - de Kleer - 1986
33 Compiling circumscriptive theories into logic programs (context) - Gelfond, Lifschitz - 1988
26 Ordering conjunctive queries (context) - Smith, Genesereth - 1985
19 The extended closed world assumption and its relationship to.. (context) - Gelfond, Przymusinska et al. - 1986
17 An overview of meta-level architecture (context) - Genesereth - 1983
2 Technical Report STAN-CS (context) - Russell, guide - 1985
1 A new approach to implicit quantification (context) - Ginsberg - 1987
1 Query-answering in circumscriptive and closed-world theories (context) - Przymusinski - 1986
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://cs.ru.ac.za/func/Bridge/Bridgepubs/ginsberg/): More
Epistemological and Heuristic Adequacy Revisited - Ginsberg (Correct)
Do Computers Need Common Sense? - Ginsberg (1996) (Correct)
GSAT and Dynamic Backtracking - Ginsberg, McAllester (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