Causality in Commonsense Reasoning about Actions

Causality in Commonsense Reasoning about Actions (1997)

Cached

Download Links

[ftp.cs.utexas.edu]

by Norman Clayton McCain

Citations:

24 - 1 self

BibTeX

@TECHREPORT{McCain97causalityin,
    author = {Norman Clayton McCain},
    title = {Causality in Commonsense Reasoning about Actions},
    institution = {},
    year = {1997}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

1555	STRIPS: A new approach to the application of theorem proving to problem solving - Fikes, Nilsson - 1971
1359	Some philosophical problems from the standpoint of artificial intelligence - McCarthy, Hayes - 1969
1263	The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
1247	A logic for default reasoning - Reiter - 1980
926	A computing procedure for quantification theory - Davis, Putnam - 1960
855	Negation as Failure - Clark - 1978
743	The Well-Founded Semantics for General Logic Programs - Gelder, Ross, et al. - 1991
732	Circumscription - A Form of Non-Monotonic Reasoning - McCarthy - 1980
641	Predicate logic as a programming language - Kowalski - 1974
570	Towards a theory of declarative knowledge - Apt, Blair, et al. - 1988
519	The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression - Reiter - 1991
463	Pushing the envelope: Planning, propositional logic, and stochastic search - KAUTZ, SELMAN - 1996
436	Applications of Circumscription to Formalizing Commonsense Knowledge - McCarthy - 1986
407	Semantical considerations on nonmonotonic logic - Moore - 1985
362	Planning as satisfiability - Kautz, Selman - 1992
358	Systematic nonlinear planning - McAllester, Rosenblitt - 1991
355	Representing actions and change by logic programs - Gelfond, Lifschitz - 1993
326	Studies in the Way of Words - Grice - 1989
310	Logic programs with classical negation - Gelfond, Lifschitz - 1990
293	Programs with common sense - McCarthy - 1959
293	A formal theory of knowledge and action - Moore - 1985
265	ADL: Exploring the middle ground between STRIPS and the situation calculus - Pednault - 1998
239	Reasoning about actions using a possible models approach - Winslett - 1988
233	Nonmonotonic logic and temporal projection - Hanks, McDermott - 1987
229	Foundations of logic programming - Lifschitz - 1996
216	State constraints revisited - Lin, Reiter - 1994
205	Nonmonotonic logic I - McDermott, Doyle - 1980
192	A Theory of Conditionals - Stalnaker - 1968
191	Depth-first iterative deepening: an optimal admissible tree search - Korf - 1985
186	Experimental results on the cross-over point in satisfiability problems - Crawford, Auton - 1993
182	Situations and actions and causal laws - McCarthy - 1963
170	Reasoning about Change - Shoham - 1988
166	Embracing causality in specifying the indirect effects of actions - Lin - 1985
163	The Logic of Decision - Jeffrey - 1965
160	Acyclic programs - Apt, Bezem - 1991
151	A causal theory of ramifications and qualifications - McCain, Turner - 1995
151	Solving the frame problem: A mathematical investigation of the commonsense law of inertia - Shanahan - 1997
140	Features and Fluents - Sandewall - 1994
137	Monotonic solution of the frame problem in the situation calculus: An efficient method for worlds with fully specified actions - Schubert - 1990
137	Ramification and causality - Thielscher - 1997
134	Default reasoning, nonmonotonic logics, and the frame problem - Hanks, McDermott - 1986
132	Reasoning about actions I: a possible worlds approach - Smith - 1988
127	Nonmonotonic reasoning in the framework of situation calculus - Baker - 1991
121	Consistency of Clark’s completion and existence of stable models - Fages - 1994
120	A theory of human action - Goldman - 1976
113	Formal theories of action - Lifschitz - 1987
103	On stratified autoepistemic theories - Gelfond - 1987
97	Actions with indirect effects: Preliminary report - Kartha, Lifschitz - 1994
93	Frames in the Space of Situations - Lifschitz - 1990
92	Meaning and necessity - Carnap - 1947