-
1
-
-
0028430255
-
Partial order planning: Evaluating possible efficiency gains
-
A. Barrett and D.S. Weld, Partial order planning: evaluating possible efficiency gains. Artif. Intell. 67 (1994) 71-112.
-
(1994)
Artif. Intell.
, vol.67
, pp. 71-112
-
-
Barrett, A.1
Weld, D.S.2
-
2
-
-
0023646365
-
Occam's razor
-
A. Blumer, A. Ehrenfeucht, D. Haussler and M.K. Warmuth, Occam's razor, Inform. Process. Lett. 24 (1987) 377-380.
-
(1987)
Inform. Process. Lett.
, vol.24
, pp. 377-380
-
-
Blumer, A.1
Ehrenfeucht, A.2
Haussler, D.3
Warmuth, M.K.4
-
3
-
-
0023381915
-
Planning for conjunctive goals
-
D. Chapman, Planning for conjunctive goals, Artif. Intell. 32 (1987) 333-377.
-
(1987)
Artif. Intell.
, vol.32
, pp. 333-377
-
-
Chapman, D.1
-
4
-
-
0041969622
-
Probabilistic hill-climbing
-
S.J. Hanson, T. Petsche, M. Kearns and R.L. Rivest, eds., MIT Press, Boston, MA
-
W.W. Cohen, R. Greiner and D. Schuurmans, Probabilistic hill-climbing, in: S.J. Hanson, T. Petsche, M. Kearns and R.L. Rivest, eds., Computational Learning Theory and Natural Learning Systems (MIT Press, Boston, MA, 1994) 171-181.
-
(1994)
Computational Learning Theory and Natural Learning Systems
, pp. 171-181
-
-
Cohen, W.W.1
Greiner, R.2
Schuurmans, D.3
-
5
-
-
2842560201
-
STRIPS: A new approach to the application of theorem proving to problem solving
-
R.E. Fikes and N.J. Nilsson, STRIPS: a new approach to the application of theorem proving to problem solving, Artif. Intell. 2 (1971) 189-208.
-
(1971)
Artif. Intell.
, vol.2
, pp. 189-208
-
-
Fikes, R.E.1
Nilsson, N.J.2
-
7
-
-
0001164684
-
Formalizing the PRODIGY planning algorithm
-
M. Ghallab and A. Milani, eds., IOS Press, Amsterdam
-
E. Fink and M.M. Veloso, Formalizing the PRODIGY planning algorithm, in: M. Ghallab and A. Milani, eds., New Directions in AI Planning (IOS Press, Amsterdam, 1996) 261-271.
-
(1996)
New Directions in AI Planning
, pp. 261-271
-
-
Fink, E.1
Veloso, M.M.2
-
11
-
-
0041468462
-
Planning with primary effects: Experiments and analysis
-
Montreal, Que.
-
E. Fink and Q. Yang, Planning with primary effects: experiments and analysis, in: Proceedings IJCAI-95, Montreal, Que. (1995) 1606-1611.
-
(1995)
Proceedings IJCAI-95
, pp. 1606-1611
-
-
Fink, E.1
Yang, Q.2
-
12
-
-
0041969619
-
A specification of process planning for PRODIGY
-
School of Computer Science, Carnegie Mellon University, Pittsburgh, PA
-
Y. Gil, A specification of process planning for PRODIGY, Tech. Rept. CMU-CS-91-179, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA (1991).
-
(1991)
Tech. Rept. CMU-CS-91-179
-
-
Gil, Y.1
-
13
-
-
0028484996
-
Automatically generating abstractions for planning
-
C.A. Knoblock, Automatically generating abstractions for planning, Artif. Intell. 68 (1994) 243-302.
-
(1994)
Artif. Intell.
, vol.68
, pp. 243-302
-
-
Knoblock, C.A.1
-
15
-
-
0002489296
-
UCPOP: A sound, complete, partial-order planner for ADL
-
Cambridge, MA
-
J.S. Penberthy and D.S. Weld, UCPOP: a sound, complete, partial-order planner for ADL, in: Proceedings Third International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA (1992) 103-114.
-
(1992)
Proceedings Third International Conference on Principles of Knowledge Representation and Reasoning
, pp. 103-114
-
-
Penberthy, J.S.1
Weld, D.S.2
-
18
-
-
0021518106
-
A theory of the learnable
-
L.G. Valiant, A theory of the learnable, Commun. ACM 27 (1984) 1134-1142.
-
(1984)
Commun. ACM
, vol.27
, pp. 1134-1142
-
-
Valiant, L.G.1
-
19
-
-
32144443210
-
Integrating planning and learning: The PRODIGY architecture
-
M.M. Veloso, J.G. Carbonell, M.A. Pérez, D. Borrajo, E. Fink and J. Blythe, Integrating planning and learning: the PRODIGY architecture, J. Exper. Theoret. Artif. Intell. 7 (1995) 81-120.
-
(1995)
J. Exper. Theoret. Artif. Intell.
, vol.7
, pp. 81-120
-
-
Veloso, M.M.1
Carbonell, J.G.2
Pérez, M.A.3
Borrajo, D.4
Fink, E.5
Blythe, J.6
-
21
-
-
0028482658
-
An evaluation of the temporal coherence heuristic in partial-order planning
-
Q. Yang and C. Murray, An evaluation of the temporal coherence heuristic in partial-order planning, Comput. Intell. 10 (1994) 245-267.
-
(1994)
Comput. Intell.
, vol.10
, pp. 245-267
-
-
Yang, Q.1
Murray, C.2
-
22
-
-
77955529445
-
ABTWEAK: Abstracting a non-linear, least-commitment planner
-
Boston, MA
-
Q. Yang and J. Tenenberg, ABTWEAK: abstracting a non-linear, least-commitment planner, in: Proceedings AAAI-90, Boston, MA (1990) 204-209.
-
(1990)
Proceedings AAAI-90
, pp. 204-209
-
-
Yang, Q.1
Tenenberg, J.2
-
23
-
-
0030149379
-
On the implementation and evaluation of ABTWEAK
-
Q. Yang, J. Tenenberg and S. Woods, On the implementation and evaluation of ABTWEAK, Comput. Intell. 12 (1996) 295-318.
-
(1996)
Comput. Intell.
, vol.12
, pp. 295-318
-
-
Yang, Q.1
Tenenberg, J.2
Woods, S.3
|