Hudson Turner  Home/Search
Context Related
| umn.edu/~hudson/papers/ucl14.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: umn.edu/~hudson/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: For many commonsense reasoning tasks associated with action domains, only a relatively simple kind of causal knowledge is required - knowledge of the conditions under which facts are caused. This note introduces a modal nonmonotonic logic for representing causal knowledge of this kind, relates it to other nonmonotonic formalisms, and shows that a variety of causal theories of action can be expressed in it, including the recently proposed causal action theories of Lin. The new logic extends the... (Update)
Context of citations to this paper: More
.... refer to [63] for a detailed discussion and comparison with some of these approaches as well as the one of [38] which has evolved into [16, 68]. In the series of papers [47, 48, 49] the attempt is made to define a unifying semantics for approaches to ramifications, which...
Cited by: More
Two Paradigms of Nonmonotonic Reasoning - Alexander Bochman Computer (Correct)
Modelling the Future with Event Choice DATALOG - Guzzo, Sacca (2002) (Correct)
Strong Equivalence for Causal Theories - Turner (2004) (Correct)
Similar documents (at the sentence level):
22.1%: Causal Action Theories and Satisfiability Planning - Turner (1998) (Correct)
Active bibliography (related documents): More All
0.7: Pertinence and Causality - Otero, Cabalar (1999) (Correct)
0.6: Causality in Commonsense Reasoning about Actions - McCain (1997) (Correct)
0.6: Domain-Dependent Knowledge in Answer Set Planning - Son, Baral, Nam, McIlraith (2002) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
1.0: Satisfiability Planning with Causal Theories - McCain, Turner (1998) (Correct)
1.0: On Relating Causal Theories to Other Formalisms - McCain, Turner (1997) (Correct)
0.9: Causal Theories of Action and Change - McCain, Turner (1997) (Correct)
Related documents from co-citation: More All
34: Causes and explanations: A structural-model approach - Halpern, Pearl - 2000
24: Causal theories of action and change - McCain, Turner - 1997
16: Default reasoning: causal and conditional theories (context) - Geffner - 1992
BibTeX entry: (Update)
H. Turner. A logic of universal causation. Artificial Intelligence, 1998. To appear. http://citeseer.ist.psu.edu/turner99logic.html More
@article{ turner99logic,
author = "Hudson Turner",
title = "A Logic of Universal Causation",
journal = "Artificial Intelligence",
volume = "113",
number = "1-2",
pages = "87-123",
year = "1999",
url = "citeseer.ist.psu.edu/turner99logic.html" }
Citations (may not include all citations):850 A logic for default reasoning (context) - Reiter
759 Negation as failure (context) - Clark - 1978
374 Classical negation in logic programs and disjunctive databas.. - Gelfond, Lifschitz - 1991
311 Semantical considerations on nonmonotonic logic (context) - Moore - 1985
256 Representing action and change by logic programs - Gelfond, Lifschitz - 1993
203 An introduction to modal logic (context) - Hughes, Cresswell - 1968
128 Nonmonotonic reasoning in the framework of situation calculu.. - Baker - 1991
94 the relation between default and autoepistemic logic (context) - Konolige - 1988
94 Causal theories of action and change - McCain, Turner - 1997
90 Some philosophical problems from the standpoint of arti cial.. (context) - McCarthy, Hayes - 1969
84 The KR system dlv: Progress report (context) - Eiter, Leone et al. - 1998
82 Special Issue on Actions and Processes (context) - Lin, Reiter et al. - 1994
79 Representing concurrent actions in extended logic programmin.. (context) - Baral, Gelfond - 1993
69 An action language based on causal explanation: Preliminary .. - Giunchiglia, Lifschitz - 1998
56 How to do things with worlds: On formalizing actions and pla.. (context) - Brewka, Hertzberg - 1993
50 Update by means of inference rules - Przymusinski, Turner - 1997
48 Formalizing common sense: papers by John McCarthy (context) - McCarthy - 1990
40 Pushing the envelope: planning (context) - Kautz, Selman - 1996
29 Ecient implementation of the well-founded and stable model s.. (context) - Niemel, Patrik - 1996
27 the logic of causal explanation - Lifschitz - 1997
25 Extended logic programs as autoepistemic theories - Lifschitz, Schwarz - 1993
23 Action languages - Gelfond, Lifschitz - 1999
20 Embracing causality in specifying the indirect e ects of act.. (context) - Lin - 1995
18 Planning as satis ability (context) - Kautz, Selman - 1992
14 Dealing with concurrent actions in modal action logic - Giordano, Martelli et al. - 1998
14 Arti cial Intelligence (context) - Hanks, McDermott et al. - 1987
11 and Miroslaw Truszczynski (context) - Gelfond, Lifschitz et al. - 1991
11 Embracing causality in default reasoning (context) - Pearl - 1988
10 Situation calculus and causal logic - Lifschitz - 1998
9 A causal theory of rami cations and quali cations (context) - McCain, Turner - 1995
9 Causal theories of nonmonotonic reasoning (context) - Ge - 1990
6 Satis ability planning with causal theories (context) - McCain, Turner - 1998
6 An action language based on causal logic (context) - Giunchiglia, Lifschitz - 1998
6 Actions with indirect e ects (context) - Kartha, Lifschitz - 1994
5 Formalizing action and change in modal logic I: the frame pr.. - Castillo, Gasquet et al. - 1999
5 Computing with default logic (context) - Cholewi, Wiktor et al. - 1999
5 A logic of knowledge and justi ed assumption (context) - Lin, Shoham - 1992
3 Nondeterminism in causal theories of action (context) - Lin - 1996
3 Default Reasoning: Causal and Conditional Theories (context) - Ge - 1989
3 Reasoning with defaults: causal and conditional theories (context) - Ge - 1992
2 Embracing occlusion in specifying the indirect e ects of act.. (context) - Gusta, Doherty - 1996
2 Reasoning about actions: non-deterministic e ects (context) - Baral - 1995
2 negation as failure = only knowing (context) - Chen - 1993
1 Causation and nonmonotonic temporal reasoning - Gr - 1997
1 Reasoning about action in rst-order logic (context) - Elkan - 1992
1 arek and Miroslaw Truszczynski. Re exive autoepistemic logi.. (context) - Wiktor - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.d.umn.edu/~hudson/papers.html): More
Language Independence and Language Tolerance in Logic Programs - McCain, Turner (1994) (Correct)
On Relating Causal Theories to Other Formalisms - McCain, Turner (1997) (Correct)
Update By Means Of Inference Rules - Przymusinski, Turner (1997) (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