-
1
-
-
0029210635
-
Learning to act using real-time dynamic programming
-
Barto, A.; Bradtke, S.; and Singh, S. 1995. Learning to act using real-time dynamic programming. Artificial Intelligence 72:81-138.
-
(1995)
Artificial Intelligence
, vol.72
, pp. 81-138
-
-
Barto, A.1
Bradtke, S.2
Singh, S.3
-
5
-
-
0013580273
-
Planning under uncertainty: structural assumptions and computational leverage
-
Boutilier, C.; Dean, T.; and Hanks, S. 1995. Planning under uncertainty: structural assumptions and computational leverage. In Proceedings of EWSP-95.
-
(1995)
Proceedings of EWSP-95
-
-
Boutilier, C.1
Dean, T.2
Hanks, S.3
-
7
-
-
0028564629
-
Acting optimally in partially observable stochastic domains
-
Cassandra, A.; Kaebling, L.; and Littman, M. 1994. Acting optimally in partially observable stochastic domains. In Proceedings AAAI9J, 1023-1028.
-
(1994)
Proceedings AAAI9J
, pp. 1023-1028
-
-
Cassandra, A.1
Kaebling, L.2
Littman, M.3
-
9
-
-
0001909869
-
Incremental pruning: A simple, fast, exact algorithm for Partially Observable MarkovDecision Processes
-
ed., Morgan Kaufmann
-
Cassandra, A.; Littman, M.; and Zhang, N. 1997. Incremental pruning: A simple, fast, exact algorithm for Partially Observable MarkovDecision Processes. In, ed., Proceedings UAI-97, Morgan Kaufmann.
-
(1997)
Proceedings UAI-97
-
-
Cassandra, A.1
Littman, M.2
Zhang, N.3
-
10
-
-
0342888699
-
Planning under uncertainty: Somekey issues
-
Collins, G., and Pryor, L. 1995. Planning under uncertainty: Somekey issues. In Proceedings IJCAI95.
-
(1995)
Proceedings IJCAI95
-
-
Collins, G.1
Pryor, L.2
-
11
-
-
84990553353
-
A model for reasoning about persistence and causation
-
Dean, T., and Kanazawa, K. 1989. A model for reasoning about persistence and causation. Computational Intelligence 5(3):142-150.
-
(1989)
Computational Intelligence
, vol.5
, Issue.3
, pp. 142-150
-
-
Dean, T.1
Kanazawa, K.2
-
13
-
-
0002555157
-
An approach to planning with incomplete information
-
Morgan Kaufmann
-
Etzioni, O.; Hanks, S.; Draper, D.; Lesh, N.; and Williamson, M. 1992. An approach to planning with incomplete information. In Proceedings of the Third Int. Conference on Principles of Knowledge Representation and Reasoning, 115-125. Morgan Kaufmann.
-
(1992)
Proceedings of the Third Int. Conference on Principles of Knowledge Representation and Reasoning
, pp. 115-125
-
-
Etzioni, O.1
Hanks, S.2
Draper, D.3
Lesh, N.4
Williamson, M.5
-
14
-
-
0010222366
-
STRIPS: A new approach to the application of theorem proving to problemsolving
-
Fikes, R., and Nilsson, N. 1971. STRIPS: A new approach to the application of theorem proving to problemsolving. Artificial Intelligence 1:27-120.
-
(1971)
Artificial Intelligence
, vol.1
, pp. 27-120
-
-
Fikes, R.1
Nilsson, N.2
-
16
-
-
0027694534
-
Representing action and change by logic programs
-
Gelfond, M., and Lifschitz, V. 1993. Representing action and change by logic programs. J. of Lwic Programming 17:301-322.
-
(1993)
J. of Lwic Programming
, vol.17
, pp. 301-322
-
-
Gelfond, M.1
Lifschitz, V.2
-
17
-
-
0025400088
-
Real-time heuristic search
-
Korf, R. 1990. Real-time heuristic search. Artificial Intelligence 42:189-211.
-
(1990)
Artificial Intelligence
, vol.42
, pp. 189-211
-
-
Korf, R.1
-
18
-
-
0001972488
-
Semantical considerations on modal logic
-
Linsky, L., ed., Oxford University Press
-
Kripke, S. 1971. Semantical considerations on modal logic. In Linsky, L., ed., Reference and Modality. Oxford University Press. 63-72.
-
(1971)
Reference and Modality
, pp. 63-72
-
-
Kripke, S.1
-
20
-
-
0030352324
-
What is planning in the presence of sensing
-
Portland, Oregon: MITPress
-
Levesque, H. 1996. What is planning in the presence of sensing. In Proceedings AAAI-96, 1139-1146. Portland, Oregon: MITPress.
-
(1996)
Proceedings AAAI-96
, pp. 1139-1146
-
-
Levesque, H.1
-
21
-
-
0001870364
-
A formal theory of knowledge and action
-
Hobbs, J., and Moore, R., eds., Norwood, N.J.: Ablex Publishing Co
-
Moore, R. 1985. A formal theory of knowledge and action. In Hobbs, J., and Moore, R., eds., Formal Theories of the CommonsenseWorld. Norwood, N.J.: Ablex Publishing Co.
-
(1985)
Formal Theories of the CommonsenseWorld
-
-
Moore, R.1
-
23
-
-
0002048328
-
The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression
-
Lifschitz, ed., Academic Press
-
Reiter, R. 1991. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Lifschitz, V., ed., Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy. Academic Press. 359-380.
-
(1991)
Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy
, pp. 359-380
-
-
Reiter, R.1
-
25
-
-
0003626764
-
-
Technical Report R-91-29, Linkoping University, Sweden
-
Sandewal, E. 1991. Features and fluents. Technical Report R-91-29, Linkoping University, Sweden.
-
(1991)
Features and fluents
-
-
Sandewal, E.1
-
26
-
-
0027704415
-
The frame problem and knowledge producing actions
-
MITPress
-
Scherl, R., and Levesque, H. 1993. The frame problem and knowledge producing actions. In Proceedings of AAAI-9$, 689-695. MITPress.
-
(1993)
Proceedings of AAAI-9$
, pp. 689-695
-
-
Scherl, R.1
Levesque, H.2
|