Charles Elkan  Home/Search
Context Related
| ucsd.edu/~elkan/papers/cscsi92.ps ucsd.edu/users/elkan/paper...cscsi92.ps harvard.edu/~elkan/papers/cscsi92.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: ucsd.edu/~elkan/ (more) From: harvard.edu/~elkan/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: : The main contribution of this paper is a method of axiomatizing actions and their effects in standard first-order logic in a way that solves the frame problem. It has long been thought that the frame problem makes monotonic logics inadequate for reasoning about action; this paper shows how to achieve the benefits of a nonmonotonic logic using a monotonic logic. The use of firstorder logic permits considerable simplicity and a frame axiom that is explicit, fixed, and intuitive. Moreover,... (Update)
Cited by: More
Representing Action: Indeterminacy and Ramifications - Giunchiglia, Kartha, Lifschitz (1997) (Correct)
Actions with Duration and Constraints: the Ramification.. - Papadakis, Plexousakis (2003) (Correct)
Action Theories in Temporal Databases - Nikos Papadakis And (Correct)
Active bibliography (related documents): More All
0.5: Potentiality of Parallelism in Logic - Kurfeß (1991) (Correct)
0.2: Intentions for Multiagent Systems - Singh (1993) (Correct)
0.2: Causality in Commonsense Reasoning about Actions - McCain (1997) (Correct)
Similar documents based on text: More All
0.1: Embedded Finite Models, Stability, and the Impact of Order - Baldwin, Benedikt (1998) (Correct)
0.1: First-Order Conditional Logic Revisited - Friedman, Halpern, Koller (Correct)
0.1: Nonmonotonic Reasoning for FirstOrder Programs - Petukhin (Correct)
Related documents from co-citation: More All
16: Representing Action and Change by Logic Programs - Gelfond, Lifschitz - 1993
15: Reasoning about action II: The qualification problem - Ginsberg, Smith - 1988
14: The frame problem in the situation calculus: a simple solution (context) - Reiter - 1991
BibTeX entry: (Update)
Charles Elkan. Reasoning about action in first-order logic. In Proc. of the 1992 Canadian Conf. on Artificial Intelligence, 1992. http://citeseer.ist.psu.edu/elkan92reasoning.html More
@inproceedings{ elkan91reasoning,
author = "Charles Elkan",
title = "Reasoning about Action in First-Order Logic",
booktitle = "Proceedings of the Conference of the {C}anadian {S}ociety for {C}omputational {S}tudies of {I}ntelligence ({CSCSI})",
publisher = "Morgan Kaufman",
address = "San Francisco",
pages = "221--227",
year = "1991",
url = "citeseer.ist.psu.edu/elkan92reasoning.html" }
Citations (may not include all citations):759 Negation as failure (context) - Clark - 1978 ACM DBLP
663 Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969 ACM
451 Planning for conjunctive goals (context) - Chapman - 1987 ACM DBLP
388 The frame problem in the situation calculus: A simple soluti.. (context) - Reiter - 1991
311 Semantical considerations on nonmonotonic logic (context) - Moore - 1985 ACM DBLP
175 Nonmonotonic logic and temporal projection (context) - Hanks, McDermott - 1987 ACM DBLP
112 Reasoning about action I: A possible worlds approach - Ginsberg, Smith - 1988 ACM DBLP
99 Formal theories of action (context) - Lifschitz - 1987 ACM
94 A Deduction Model of Belief (context) - Konolige - 1986
87 Monotonic solution of the frame problem in the situation cal.. - Schubert - 1989
86 Epistemological problems of artificial intelligence (context) - McCarthy - 1977
77 the semantics of strips - Lifschitz - 1986
66 and the frame problem (context) - Hanks, McDermott et al. - 1986
42 A simple solution to the Yale shooting problem - Baker - 1989 ACM DBLP
36 Logic and the complexity of reasoning (context) - Levesque - 1988
23 Temporal projection and explanation (context) - Baker, Ginsberg - 1989 DBLP
13 Things that change by themselves (context) - Lifschitz, Rabinov - 1989 DBLP
11 Embracing causality in default reasoning (context) - Pearl - 1988 ACM DBLP
8 Minimal change and maximal coherence: A basis for belief rev.. (context) - Rao, Foo - 1989 DBLP
5 What is the frame problem (context) - Shoham - 1986
4 On acting together: Joint intentions for intelligent agents (context) - Cohen, Levesque et al. - 1990
2 A pipelined architecture for logic programming with a comple.. (context) - Mills - 1989
1 Formalizing causation in first-order logic: Lessons from an .. (context) - Elkan - 1991
1 ADL: Exploringthe middle ground between strips and the situa.. (context) - Pednault - 1989
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-cse.ucsd.edu/~elkan/): More
Boosting And Naive Bayesian Learning - Elkan (1997) (Correct)
Estimating the Accuracy of Learned Concepts - Bailey, Elkan (1993) (Correct)
Categorization-Based Diagnostic Problem Solving in the VLSI.. - Hekmatpour, Elkan (1993) (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