-
2
-
-
0001839494
-
Default reasoning, nonmonotonic logics, and the frame problem
-
Steve Hanks and Drew McDermott, “Default reasoning, nonmonotonic logics, and the frame problem”, AAAI-86, 1986.
-
(1986)
AAAI-86
-
-
Hanks, S.1
McDermott, D.2
-
3
-
-
0002329096
-
Reasoning about beliefs and actions under computational resource constraints
-
in Laveen Kanal, Tod Levitt, and John Lemmer, editors, Elsevier/North Holland: Amsterdam, London, New York
-
E. J. Horvitz, “Reasoning about beliefs and actions under computational resource constraints”, in Laveen Kanal, Tod Levitt, and John Lemmer, editors, Uncertainty in Artificial Intelligence, 3, 301-324, Elsevier/North Holland: Amsterdam, London, New York, 1989.
-
(1989)
Uncertainty in Artificial Intelligence
, vol.3
, pp. 301-324
-
-
Horvitz, E.J.1
-
5
-
-
0029333536
-
An algorithm for probabilistic planning
-
N. Kushmerick, S. Hanks, and D. Weld, “An algorithm for probabilistic planning”, Artificial Intelligence 76, 239-286, 1995.
-
(1995)
Artificial Intelligence
, vol.76
, pp. 239-286
-
-
Kushmerick, N.1
Hanks, S.2
Weld, D.3
-
7
-
-
0002489296
-
UCPOP: A sound, complete, partial order planner for ADL
-
J. Scott Penberthy and Daniel Weld, “UCPOP: a sound, complete, partial order planner for ADL”. Proceedings 3rd International Conference on Principles of Knowledge Representation and Reasoning, 103-114, 1992.
-
(1992)
Proceedings 3rd International Conference on Principles of Knowledge Representation and Reasoning
, pp. 103-114
-
-
Scott Penberthy, J.1
Weld, D.2
-
9
-
-
0032210228
-
Perceiving and reasoning about a changing world
-
John L. Pollock, “Perceiving and reasoning about a changing world”, Computational Intelligence 14, 498-562, 1998.
-
(1998)
Computational Intelligence
, vol.14
, pp. 498-562
-
-
Pollock, J.L.1
-
10
-
-
0032317829
-
The logical foundations of goal-regression planning in autonomous agents
-
John L. Pollock, “The logical foundations of goal-regression planning in autonomous agents”, Artificial Intelligence 106, 267-335, 1998.
-
(1998)
Artificial Intelligence
, vol.106
, pp. 267-335
-
-
Pollock, J.L.1
-
13
-
-
49149147322
-
A logic for default reasoning
-
Raymond Reiter, A logic for default reasoning. Artificial Intelligence 13, 81–132, 1980.
-
(1980)
Artificial Intelligence
, vol.13
, pp. 81-132
-
-
Reiter, R.1
-
14
-
-
0005897741
-
Rationality and intelligence
-
A. Rao and M. Wooldridge, Kluwer: Dordrecht
-
Stuart Russell, “Rationality and intelligence”, in A. Rao and M. Wooldridge, Foundations of Rational Agency, Kluwer: Dordrecht, 1999.
-
(1999)
Foundations of Rational Agency
-
-
Russell, S.1
-
16
-
-
0039051852
-
Rational choice and the structure of the environment
-
MIT Press: Cambridge
-
Herbert Simon, “Rational choice and the structure of the environment”, in models of Bounded Rationality, volume 2, MIT Press: Cambridge, 1958.
-
(1958)
In Models of Bounded Rationality
, vol.2
-
-
Simon, H.1
-
17
-
-
38249015527
-
The case for rules of reasoning
-
E. E. Smith, C. Langston, and R. Nisbett, “The case for rules of reasoning.” Cognitive Science 16, 1–40, 1992.
-
(1992)
Cognitive Science
, vol.16
, pp. 1-40
-
-
Smith, E.E.1
Langston, C.2
Nisbett, R.3
-
18
-
-
20144365208
-
-
Technical Report AR-97-01, Institut für Informatik, Technische Universität München, Germany; Technical Report 97/04, Department of Computer Science, James Cook University, Townsville, Australia
-
C. B. Suttner and G. Sutcliffe, “The TPTP problem library (TPTP v2.0.0)”, Technical Report AR-97-01, Institut für Informatik, Technische Universität München, Germany; Technical Report 97/04, Department of Computer Science, James Cook University, Townsville, Australia, 1997.
-
(1997)
The TPTP Problem Library (TPTP V2.0.0)
-
-
Suttner, C.B.1
Sutcliffe, G.2
|