Vladimir Lifschitz  Home/Search
Context Related
| utexas.edu/users/v...circumscription.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: mit.edu/~push/C...nseBibliography (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Introduction The idea of circumscription can be explained on a simple example. We would like to represent information about the locations of blocks in a blocks world, using the "default": Normally, a block is on the table. (1) Then information about the location of a specific block will have to be included in the database only if that block is an exception to this default. If, for instance, B 1 is the only exception, then the database will contain, in addition to (1), the assertion: B 1 is... (Update)
Context of citations to this paper: More
...circumscription is not given in terms of a finitary first order formula 5 . Nevertheless, there is no problem in defining such 5 See [15] for some remarks on circumscription for infinitary theories. But, if we are willing to give up a first order base theory, we may obtain a...
.... issue of Artificial Intelligence, and summarized in the collection [Ginsberg, 1987] It has continued to develop, see e.g. [Lifschitz, 1993]. Minsky [Minsky, 1975] mentioned the need for something like nonmonotonic reasoning, but used this fact as evidence for the...
Cited by: More
Abducing Qualitative Spatio-Temporal Histories from Partial.. - Hazarika, Cohn (Correct)
Progress in Logic-Based AI - Hubert Dreyfus Claims (Correct)
On the Concept of Generic Object: A Nonmonotonic Reasoning.. - Bertossi, Reiter (Correct)
Active bibliography (related documents): More All
0.7: ECWA Made Easy - Lifschitz (Correct)
0.6: Circumscription and Disjunctive Logic Programming - Minker, Lobo, Rajasekar (1991) (Correct)
0.5: The Ariadne's clew algorithm - Mazer, Ahuactzin, Talbi, Bessiere (1996) (Correct)
Similar documents based on text: More All
0.1: Nested Abnormality Theories - Lifschitz (1995) (Correct)
0.1: Actions with Indirect Effects - Kartha, Lifschitz (1994) (Correct)
0.1: Autoepistemic Logic and Introspective Circumscription - Gelfond, Lifschitz, al. (Correct)
Related documents from co-citation: More All
2: Circumscription -- a form of non-monotonic reasoning (context) - McCarthy - 1980
BibTeX entry: (Update)
Lifschitz, V. "Circumscription". In `Handbook of Logic in Artificial Intelligence and Logic Programming', Oxford University Press. To appear. http://citeseer.ist.psu.edu/635618.html More
@incollection{ lifschitz94circumscription,
author = "Vladimir Lifschitz",
title = "Circumscription",
booktitle = "Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning",
publisher = "Oxford University Press",
editor = "Dov Gabbay and Christopher J. Hogger and J. A. Robinson",
pages = "298--352",
year = "1994",
url = "citeseer.ist.psu.edu/635618.html" }
Citations (may not include all citations):759 Negation as failure (context) - Clark - 1978
451 Circumscription---a form of non-monotonic reasoning (context) - McCarthy - 1990
331 Logical Foundations of Artificial Intelligence (context) - Genesereth, Nilsson - 1987
297 Applications of circumscription to formalizing common sense .. - McCarthy - 1990
175 Nonmonotonic logic and temporal projection (context) - Hanks, McDermott - 1987
128 Nonmonotonic reasoning in the framework of situation calculu.. - Baker - 1991
99 Formal theories of action (context) - Lifschitz - 1987
96 the relationship between circumscription and negation as fai.. (context) - Gelfond, Przymusinska et al. - 1989
90 Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969
86 Epistemological problems of artificial intelligence (context) - McCarthy - 1977
82 Reasoning with Incomplete Information (context) - Etherington - 1988
67 A circumscriptive theorem prover - Ginsberg - 1989
64 On interacting defaults (context) - Reiter, Criscuolo - 1981
63 Pointwise circumscription (context) - Lifschitz - 1987
56 An algorithm to compute circumscription (context) - Przymusinski - 1989
52 the declarative semantics of logic programs with negation (context) - Lifschitz - 1988
48 Formalizing common sense: papers by John McCarthy (context) - McCarthy - 1990
44 Nonmonotonic logic: meaning and utility (context) - Shoham - 1987
42 A simple solution to the Yale Shooting Problem - Baker - 1989
41 Towards a metatheory of action - Lifschitz - 1991
33 Compiling circumscriptive theories into logic programs (context) - Gelfond, Lifschitz - 1989
32 Undecidable optimization problems for database logic program.. (context) - Gaifman, Mairson et al. - 1987
29 Some computational aspects of circumscription (context) - Kolaitis, Papadimitriou - 1988
29 Closed-world data bases and circumscription (context) - Lifschitz - 1985
28 On open defaults - Lifschitz - 1990
28 Circumscription implies predicate completion (context) - Reiter - 1982
28 Computing circumscription (context) - Lifschitz - 1985
26 Circumscriptive theories: a logic-based framework for knowle.. (context) - Lifschitz - 1989
24 the adequacy of predicate circumscription for closed-world r.. (context) - Etherington, Mercer et al. - 1985
24 Negation as failure: Careful closure procedure (context) - Gelfond, Przymusinska - 1986
23 Between circumscription and autoepistemic logic (context) - Lifschitz - 1989
22 the relation between autoepistemic logic and circumscription (context) - Konolige - 1989
20 Relating default logic and circumscription (context) - Etherington - 1987
18 the satisfiability of circumscription (context) - Lifschitz - 1986
12 The logic of inheritance in frame systems (context) - Brewka - 1987
12 On theorem provers for circumscription (context) - Inoue, Helft - 1990
11 Eliminating the fixed predicates from a circumscription (context) - de Kleer, Konolige - 1989
10 the relationship between logic programming and non-monotonic.. (context) - Przymusinski - 1988
9 Circumscribing with sets (context) - Perlis - 1987
8 A generalization of collapsible cases of circumscription (context) - Rabinov - 1989
8 atthew Ginsberg. A the61 orem prover for prioritized circums.. - Baker - 1989
6 Completeness results for circumscription (context) - Perlis, Minker - 1986
4 and the closed-world assumption (context) - Bossu, Siegel et al. - 1985
2 Artificial Intelligence (context) - Perlis - 1988
Documents on the same site (http://web.media.mit.edu/~push/CommonsenseBibliography.html):
A Representation of the Zoo World in the Language of the.. - Lee, Lifschitz, Turner (2001) (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