Michael Thielscher  Home/Search
Context Related
Links: ACM DBLP | berkeley.edu/pub/tech...tr96003.ps.gz intellektik.informa...ICSITR96003.ps pikas.inf.tudresde...ICSITR96003.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: berkeley.edu/techrepo...tr96003 (more) From: intellektik.inf...deredabstracts (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The ramification problem in the context of commonsense reasoning about actions and change names the challenge to accommodate actions whose execution causes indirect effects. Not being part of the respective action specification, such effects are consequences of general laws describing dependencies between components of the world description. We present a general approach to this problem which incorporates causality, formalized by directed relations between two single effects stating that, under ... (Update)
Cited by: More
An Assessment of Actions With Indeterminate - Eects (2004) (Correct)
Domain Descriptions Should Be Modular - Ivan (2004) (Correct)
Formalizing Action Using Set Theory and Modified Pointwise.. - Amir (1997) (Correct)
Active bibliography (related documents): More All
0.9: Qualification and Causality - Thielscher (1996) (Correct)
0.8: Solving Deductive Planning Problems Using Program Analysis.. - de Waal, Thielscher (1995) (Correct)
0.8: Event Minimization In The Fluent Calculus - Thielscher (1998) (Correct)
Similar documents based on text: More All
0.2: Qualified Ramifications - Thielscher (Correct)
0.1: Ramification Analysis Using Causal Mapping - Hunter (1998) (Correct)
0.1: Computing Ramifications by Postprocessing - Thielscher (1995) (Correct)
Related documents from co-citation: More All
32: The frame problem in the situation calculus: a simple solution (context) - Reiter - 1991
23: Frames in the space of situations (context) - Lifschitz - 1990
20: Some philosophical problems from the standpoint of Artificial Intelligence (context) - McCarthy, Hayes - 1969
BibTeX entry: (Update)
M. Thielscher. Ramification and causality. Artificial Intelligence, 89:317--364, 1997. http://citeseer.ist.psu.edu/thielscher96ramification.html More
@article{ thielscher97ramification,
author = "Michael Thielscher",
title = "Ramification and Causality",
journal = "Artificial Intelligence",
volume = "89",
number = "1-2",
pages = "317-364",
year = "1997",
url = "citeseer.ist.psu.edu/thielscher96ramification.html" }
Citations (may not include all citations):1543 Probabilistic Reasoning in Intelligent Systems: Networks of .. (context) - Pearl - 1988 ACM
891 STRIPS: A new approach to the application of theorem proving.. (context) - Fikes, Nilsson - 1971
759 Negation as failure (context) - Clark - 1978
663 Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969
451 Circumscription---a form of non-monotonic reasoning (context) - McCarthy - 1980
256 Representing Action and Change by Logic Programs - Gelfond, Lifschitz - 1993 DBLP
199 Reasoning about action using a possible models approach (context) - Winslett - 1988 DBLP
175 Nonmonotonic logic and temporal projection (context) - Hanks, McDermott - 1987 ACM DBLP
163 Application of theorem proving to problem solving (context) - Green - 1969 DBLP
133 Foundations of Logic Programming (context) - Lloyd - 1987 ACM
128 Nonmonotonic reasoning in the framework of situation calculu.. - Baker - 1991
127 State constraints revisited - Lin, Reiter - 1994 DBLP
117 Features and Fluents (context) - Sandewall - 1994
114 Building in equational theories (context) - Plotkin - 1972
112 Reasoning about action I: A possible worlds approach - Ginsberg, Smith - 1988 ACM DBLP
111 A deductive solution for plan generation (context) - Bibel - 1986 ACM DBLP
101 Actions with indirect effects - Kartha, Lifschitz - 1994
87 Frames in the space of situations (context) - Lifschitz - 1990 DBLP
77 the semantics of STRIPS - Lifschitz - 1986
72 Default Reasoning: Causal and Conditional Theories (context) - Geffner - 1992
66 Generating plans in linear logic (context) - Masseron, Tollu et al. - 1993 ACM DBLP
65 A new deductive approach to planning (context) - Holldobler, Schneeberger - 1990 ACM DBLP
62 A unification algorithm for associative commutative function.. (context) - Stickel - 1981
59 Foundations of Equational Logic Programming (context) - Holldobler - 1989 ACM
56 How to do things with worlds: on formalizing actions and pla.. (context) - Brewka, Hertzberg - 1993 DBLP
54 Embracing causality in specifying the indirect effects of ac.. - Lin - 1995 DBLP
50 Exploiting Constraints in Design Synthesis (context) - Finger - 1987 ACM
43 Reasoning about action II: The qualification problem - Ginsberg, Smith - 1988 ACM DBLP
43 A theory of complete logic programs with equality (context) - Jaffar, Lassez et al. - 1984 DBLP
33 Causal theories for nonmonotonic reasoning (context) - Geffner - 1990 DBLP
32 Extending SLD-resolution to equational horn clauses using E-.. (context) - Gallier, Raatz - 1989
32 Computing change and specificity with equational logic progr.. (context) - Holldobler, Thielscher - 1995 DBLP
31 Deriving properties of belief update from theories of action (context) - Val, Shoham - 1993 ACM DBLP
31 Representing actions in equational logic programming - Thielscher - 1994 ACM DBLP
31 Equational logic programming (context) - GroBetae, Holldobler et al. - 1992 ACM DBLP
30 Reasoning about action in first-order logic - Elkan - 1992
23 SLDNF-resolution with equality (context) - Shepherdson - 1992 ACM DBLP
23 Reasoning about persistence: A theory of actions (context) - Zhang, Foo - 1993 DBLP
23 A probabilistic calculus of actions - Pearl - 1994 DBLP
20 Adventures in associative-commutative unification - Lincoln, Christian - 1990 DBLP
17 An analysis of systematic approaches to reasoning about acti.. - Thielscher - 1994 ACM
13 the completeness of SLDENF-resolution (context) - Thielscher - 1996
11 Embracing causality in default reasoning (context) - Pearl - 1988 ACM DBLP
11 The logic of dynamic systems - Thielscher - 1995 DBLP
10 Systematic comparison of approaches to ramification using re.. - Sandewall - 1995
8 Reasoning about actions and change with ramification - Sandewall - 1995 DBLP
6 A causal theory of ramifications and qalifications (context) - McCain, Turner - 1995
6 Statistical Science (context) - Pearl, causality - 1993
4 Opening the AC-unification race (context) - Burckert, Herold et al. - 1988 ACM DBLP
3 Journal of Theoretical Computer Science (context) - Girard - 1987
2 Representing concurrent actions and solving conflicts (context) - Bornscheuer, Thielscher - 1994 ACM DBLP
The graph only includes citing articles where the year of publication is known.
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