-
2
-
-
70350168525
-
Continual planning and acting in dynamic multiagent environments
-
Brenner, M., and Nebel, B. 2009. Continual planning and acting in dynamic multiagent environments. JAAMAS 19(3):297-331.
-
(2009)
JAAMAS
, vol.19
, Issue.3
, pp. 297-331
-
-
Brenner, M.1
Nebel, B.2
-
3
-
-
0028498153
-
The computational complexity of propositional STRIPS planning
-
Bylander, T. 1994. The computational complexity of propositional STRIPS planning. AIJ 69(1-2):165-204.
-
(1994)
AIJ
, vol.69
, Issue.1-2
, pp. 165-204
-
-
Bylander, T.1
-
4
-
-
25144522234
-
-
Technical Report 195, Univ. Freiburg, Institut für Informatik, Freiburg, Germany
-
Edelkamp, S., and Hoffmann, J. 2004. PDDL2.2: The language for the classical part of the 4th international planning competition. Technical Report 195, Univ. Freiburg, Institut für Informatik, Freiburg, Germany.
-
(2004)
PDDL2.2: The Language for the Classical Part of the 4th International Planning Competition
-
-
Edelkamp, S.1
Hoffmann, J.2
-
5
-
-
0029236521
-
The complexity of logic-based abduction
-
Eiter, T., and Gottlob, G. 1995. The complexity of logic-based abduction. Jour. ACM 42(1):3-42.
-
(1995)
Jour. ACM
, vol.42
, Issue.1
, pp. 3-42
-
-
Eiter, T.1
Gottlob, G.2
-
6
-
-
0029332411
-
Complexity, decidability and undecidability results for domain-independent planning
-
Erol, K.; Nau, D. S.; and Subrahmanian, V. S. 1995. Complexity, decidability and undecidability results for domain-independent planning. AIJ 76(1-2):75-88.
-
(1995)
AIJ
, vol.76
, Issue.1-2
, pp. 75-88
-
-
Erol, K.1
Nau, D.S.2
Subrahmanian, V.S.3
-
7
-
-
0002447997
-
Belief revision and the Ramsey test for conditionals
-
Gärdenfors, P. 1986. Belief revision and the Ramsey test for conditionals. The Philosophical Review XCV (1):81-93.
-
(1986)
The Philosophical Review
, vol.95
, Issue.1
, pp. 81-93
-
-
Gärdenfors, P.1
-
8
-
-
8344254634
-
Functional STRIPS: A more flexible language for planning and problem solving
-
Minker, J., ed., Dordrecht, Holland: Kluwer
-
Geffner, H. 2000. Functional STRIPS: a more flexible language for planning and problem solving. In Minker, J., ed., Logic-Based Artificial Intelligence. Dordrecht, Holland: Kluwer.
-
(2000)
Logic-Based Artificial Intelligence
-
-
Geffner, H.1
-
9
-
-
78650590331
-
Landmarks, critical paths and abstractions: What's the difference anyway?
-
Helmert, M., and Domshlak, C. 2009. Landmarks, critical paths and abstractions: What's the difference anyway? In ICAPS 2009, 162-169.
-
(2009)
ICAPS 2009
, pp. 162-169
-
-
Helmert, M.1
Domshlak, C.2
-
10
-
-
33749001469
-
The fast downward planning system
-
Helmert, M. 2006. The fast downward planning system. JAIR 26:191-246.
-
(2006)
JAIR
, vol.26
, pp. 191-246
-
-
Helmert, M.1
-
11
-
-
0004271399
-
-
Cambridge, MA: Harvard Univ. Press
-
Lewis, D. K. 1973. Counterfactuals. Cambridge, MA: Harvard Univ. Press.
-
(1973)
Counterfactuals
-
-
Lewis, D.K.1
-
12
-
-
78349246070
-
The DESIRE service robotics initiative
-
Plöger, P.-G.; Pervölz, K.; Mies, C.; Eyerich, P.; Brenner, M.; and Nebel, B. 2008. The DESIRE service robotics initiative. KI 4:29-32.
-
(2008)
KI
, vol.4
, pp. 29-32
-
-
Plöger, P.-G.1
Pervölz, K.2
Mies, C.3
Eyerich, P.4
Brenner, M.5
Nebel, B.6
-
13
-
-
0023329093
-
A theory of diagnosis from first principles
-
Reiter, R. 1987. A theory of diagnosis from first principles. AIJ 32(1):57-95.
-
(1987)
AIJ
, vol.32
, Issue.1
, pp. 57-95
-
-
Reiter, R.1
-
14
-
-
0014776888
-
Relations between nondeterministic and deterministic tape complexity
-
Savitch, W. J. 1980. Relations between nondeterministic and deterministic tape complexity. Journal of Computer and System Sciences 4:177-192.
-
(1980)
Journal of Computer and System Sciences
, vol.4
, pp. 177-192
-
-
Savitch, W.J.1
-
15
-
-
13444250180
-
Choosing objectives in over-subscription planning
-
Smith, D. E. 2004. Choosing objectives in over-subscription planning. In ICAPS 2004, 393-401.
-
(2004)
ICAPS 2004
, pp. 393-401
-
-
Smith, D.E.1
|