Norman Clayton McCain  Home/Search
Context Related
| utexas.edu/pub/techrepor...tr9725.ps.Z 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: utexas.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: vi List of Figures xi Chapter 1 Introduction 1 1.1 The Role of Causal Knowledge . . . . . . . . . . . . . . . . . . . . . 2 1.2 What Kind of Causal Knowledge? . . . . . . . . . . . . . . . . . . . 4 1.3 A Brief Preview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 1.4 Organization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 Chapter 2 Background 13 Chapter 3 A Causal Approach to Ramifications and Qualifications 19 3.1 Notation and Terminology . . . . . . . .... (Update)
Context of citations to this paper: More
...using argumentation and abduction as a basis for a principled imple mentation of the language E . A system, called Causal Calculator [13], which is based on the language C translates the whole representation into a propositional theory and then uses a SAT solver to nd a...
.... 2 Transition Mode of the Causal Calculator The original version of ccalc was written by Norman McCain as part of his dissertation [5]; later on, he was assisted by Esra Erdem, Vladimir Lifschitz, Norman Richards, Armando Tacchella and Hudson Turner. Some experimental...
Cited by: More
Nonmonotonic Causal Theories - Giunchiglia, Lee, Lifschitz, McCain, .. (2004) (Correct)
Representing the Zoo World and the Traffic World.. - Akman, Erdogan.. (2004) (Correct)
Describing Exogenous Atoms by Disjunctive Rules - Erdem (1999) (Correct)
Active bibliography (related documents): More All
1.2: Causal Theories of Action and Change - McCain, Turner (1997) (Correct)
1.1: Causal Action Theories and Satisfiability Planning - Turner (1998) (Correct)
0.7: Two Components of An Action Language - Lifschitz (1996) (Correct)
Similar documents based on text: More All
0.3: Representing Actions in Default Logic: A Situation Calculus.. - Turner (1996) (Correct)
0.2: Causal Laws and Multi-Valued Fluents - Giunchiglia, Lee, Lifschitz, Turner (2001) (Correct)
0.2: On the Logic of Causal Explanation - Lifschitz (1997) (Correct)
Related documents from co-citation: More All
7: Causal theories of action and change - McCain, Turner - 1997
4: An action language based on causal explanation: Preliminary report - Giunchiglia, Lifschitz - 1998
4: Negation as Failure (context) - Clark - 1978
BibTeX entry: (Update)
Norman McCain. Causality in Commonsense Reasoning about Actions. PhD thesis, University of Texas at Austin, 1997. http://citeseer.ist.psu.edu/mccain97causality.html More
@techreport{ mccain97causality,
author = "Norman Clayton McCain",
title = "Causality in Commonsense Reasoning about Actions",
number = "CS-TR-97-25",
month = "1,",
year = "1997",
url = "citeseer.ist.psu.edu/mccain97causality.html" }
Citations (may not include all citations):891 STRIPS: A new approach to the application of theorem proving.. (context) - Fikes, Nilsson - 1971
858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
850 A logic for default reasoning (context) - Reiter - 1980
759 Negation as failure (context) - Clark - 1978
459 A computing procedure for quantification theory (context) - Davis, Putnam - 1960
435 Towards a theory of declarative knowledge (context) - Apt, Blair et al. - 1988
388 The frame problem in the situation calculus: a simple soluti.. (context) - Reiter - 1991
312 The well-founded semantics for general logic programs - Van Gelder, Ross et al. - 1990
311 Semantical considerations on nonmonotonic logic (context) - Moore - 1985
278 Depth-first iterative deepening: an optimal admissible tree .. (context) - Korf - 1985
272 Pushing the envelope: planning - Kautz, Selman - 1996
270 Logic programs with classical negation (context) - Gelfond, Lifschitz - 1990
256 Representing action and change by logic programs - Gelfond, Lifschitz - 1993
248 The semantics of predicate logic as a programming language (context) - van Emden, Kowalski - 1976
210 A formal theory of knowledge and action (context) - Moore - 1985
178 ADL: Exploring the middle ground between STRIPS and the situ.. (context) - Pednault - 1989
175 Nonmonotonic logic and temporal projection (context) - Hanks, McDermott - 1987
159 Predicate logic as a programming language (context) - Kowalski - 1974
151 The frame problem and knowledge-producing actions - Scherl, Levesque - 1993
151 Reasoning about change (context) - Shoham - 1987
145 Planning as satisfiability - Kautz, Selman - 1992
128 Nonmonotonic reasoning in the framework of situation calculu.. - Baker - 1991
121 Harvard University Press (context) - Lewis - 1973
117 Features and fluents (context) - Sandewall - 1992
112 Reasoning about action I: a possible worlds approach - Ginsberg, Smith - 1988
105 Solving the frame problem: a mathematical investigation of t.. (context) - Shanahan - 1997
101 Actions with indirect effects - Kartha, Lifschitz - 1994
99 Formal theories of action (context) - Lifschitz - 1987
87 Frames in the space of situations (context) - Lifschitz - 1990
87 Monotonic solution of the frame problem in the situation cal.. - Schubert - 1990
84 What are the limitations of the situation calculus (context) - Gelfond, Lifschitz et al. - 1991
83 The logic of persistence (context) - Kautz - 1986
82 Special Issue on Actions and Processes (context) - Lin, Reiter et al. - 1994
82 Systematic nonlinear planning - McAllester, Rosenblitt - 1991
79 Representing concurrent actions in extended logic programmin.. (context) - Baral, Gelfond - 1993
79 On stratified autoepistemic theories (context) - Gelfond - 1987
78 Acyclic programs (context) - Apt, Bezem - 1990
77 Representing incomplete knowledge in abductive logic program.. - Denecker, De Schreye - 1993
70 Soundness and completeness theorems for three formalizations.. - Kartha - 1993
66 and the frame problem (context) - Hanks, McDermott et al. - 1986
60 The case for domain-specific frame axioms (context) - Haas - 1987
60 A theory of human action (context) - Goldman - 1970
56 How to do things with worlds: On formalizing actions and pla.. (context) - Brewka, Hertzberg - 1993
54 A causal theory of ramifications and qualifications - McCain, Turner - 1995
54 Consistency of Clark's completion and existence of stable mo.. - Fages - 1994
54 Embracing causality in specifying the indirect effects of ac.. - Lin - 1995
53 Representing actions in logic programs and default theories:.. - Turner - 1997
51 Studies in the way of words (context) - Grice - 1989
50 Nested abnormality theories - Lifschitz - 1994
48 Formalizing common sense: papers by John McCarthy (context) - McCarthy - 1990
44 Representing actions in extended logic programming (context) - Gelfond, Lifschitz - 1992
43 Reasoning about action II: the qualification problem - Ginsberg, Smith - 1988
42 A simple solution to the Yale Shooting Problem - Baker - 1989
41 Experimental results on the cross-over point in satisfiabili.. (context) - Crawford, Auton - 1993
41 Towards a metatheory of action - Lifschitz - 1991
38 Foundations of logic programming - Lifschitz - 1996
33 Causal theories of nonmonotonic reasoning (context) - Geffner - 1990
33 Autoepistemic logic and formalization of commonsense reasoni.. (context) - Gelfond - 1988
32 Noise strategies for local search (context) - Selman, Kautz et al. - 1994
31 Representing actions in equational logic programming - Thielscher - 1994
31 Meaning and Necessity (context) - Carnap - 1947
30 Features and fluents: A systematic approach to the represent.. (context) - Sandewall - 1992
30 Reasoning about action in first-order logic - Elkan - 1992
30 Artificial Intelligence (context) - McDermott, Doyle - 1980
27 The anomalous extension problem in default reasoning (context) - Morris - 1988
23 How to clear a block: A theory of plans (context) - Manna, Waldinger - 1987
22 Formalizing reasoning about change: A qualitative reasoning .. - Crawford, Etherington - 1992
19 Splitting a default theory - Turner - 1996
18 Signed logic program - Turner - 1994
18 Stanford Artificial Intelligence Project (context) - McCarthy, actions et al. - 1963
18 Nonmonotonic reasoning and causation (context) - Shoham - 1990
17 The logic of decision (context) - Jeffrey - 1965
17 Actions with indirect effects (context) - Giunchiglia, Kartha et al. - 1995
17 Computing ramifications by postprocessing - Thielscher - 1994
16 dynamic world problems in the classical planning framework (context) - Pednault - 1987
14 Two components of an action language - Lifschitz - 1995
14 Revision specifications by means of revision programs (context) - Marek, Truszczy'nski - 1994
13 Counterfactuals and two kinds of expected utility (context) - Gibbard, Harper - 1981
13 observations and hypotheses (context) - Baral, Gelfond et al. - 1995
13 Things that change by themselves (context) - Lifschitz, Rabinov - 1989
11 Embracing causality in default reasoning (context) - Pearl - 1988
11 the logic of dynamic systems - Thielscher - 1956
11 Dependent fluents - Giunchiglia, Lifschitz - 1995
10 Systematic comparison of approaches to ramification using re.. - Sandewall - 1995
10 American Philosophical Quarterly (context) - Stalnaker, of - 1968
10 Chronological ignorance: Time (context) - Shoham - 1986
10 Reasoning about actions: non-deterministic effects - Baral - 1995
9 Nondeterministic actions and the frame problem - Boutilier, Friedman - 1995
9 A subjectivist's guide to objective chance (context) - Lewis - 1986
9 A mathematical investigation of reasoning about actions - Kartha - 1995
8 Unpublished manuscript (context) - Koons, of - 1995
6 An action language based on causal logic (context) - Giunchiglia, Lifschitz - 1997
5 Noncausal connections (context) - Kim - 1974
4 Dependencies and ramifications in an event-based language (context) - Van Belleghem, Denecker et al. - 1996
4 Causal decision theory (context) - Lewis - 1986
3 Reasoning with defaults: causal and conditional theories (context) - Geffner - 1992
3 On relating causal theories to other formalisms - McCain, Turner - 1997
3 and Miros/law Truszczy'nski (context) - Gelfond, Lifschitz et al. - 1991
3 The logic of causal propositions (context) - Burks - 1951
3 The logic and the epistemology of the causal relation (context) - von Wright - 1975
3 The logic of historical necessity (context) - Kamp - 1979
3 International Computer Science Institute (context) - Thielscher, causality et al. - 1996
2 Stable generated models of generalized logic programs (context) - Herre, Wagner - 1996
2 A logic for causal reasoning (context) - Lifschitz - 1997
2 minimality and coherence (context) - Geffner - 1989
2 Letter to David Lewis (context) - Stalnaker - 1981
1 Logic and Causal Reasoning (context) - Faye, Scheffler - 1994
1 Temporal logic in action description languages (context) - Mendez, Lobo et al. - 1996
1 The Collected Works of John Stuart Mill (context) - Robson - 1973
1 Inference rules and causality in representations of common s.. (context) - Turner - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.utexas.edu.html): More
Stack Tracing In A Statically Typed Language - Diwan (1991) (Correct)
Combining Top-down and Bottom-up Techniques in Inductive .. - Zelle, Mooney, Konvisser (1994) (Correct)
Expert Systems for Monitoring and Control - Dvorak (1987) (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