-
1
-
-
0001657540
-
Fast planning through planning graph analysis
-
A. Blum and M. Furst, "Fast planning through planning graph analysis," in Proceedings of IJCAI-95, Montreal, Canada, 1995.
-
Proceedings of IJCAI-95, Montreal, Canada, 1995
-
-
Blum, A.1
Furst, M.2
-
2
-
-
0030352389
-
Pushing the envelope: Planning, propositional logic, and stochastic search
-
H. Kautz and B. Selman, "Pushing the envelope: Planning, propositional logic, and stochastic search," in Proceedings of AAAI-96, 1996 pp. 1194-1201.
-
Proceedings of AAAI-96, 1996
, pp. 1194-1201
-
-
Kautz, H.1
Selman, B.2
-
3
-
-
0028498153
-
The computational complexity of STRIPS planning
-
T. Bylander, "The computational complexity of STRIPS planning," Artificial Intelligence, vol. 69 pp. 165-204, 1994.
-
(1994)
Artificial Intelligence
, vol.69
, pp. 165-204
-
-
Bylander, T.1
-
4
-
-
0033897011
-
Using temporal logics to express search control knowledge for planning
-
F. Bacchus and F. Kabanza, "Using temporal logics to express search control knowledge for planning," Artificial Intelligence, vol. 116, no. 1-2, pp. 123-191, 2000.
-
(2000)
Artificial Intelligence
, vol.116
, Issue.1-2
, pp. 123-191
-
-
Bacchus, F.1
Kabanza, F.2
-
5
-
-
84880665976
-
Shop: Simple hierarchical ordered planner
-
D. Nau, Y. Cao, A. Lotem, and H. Munoz-Avila, "Shop: Simple hierarchical ordered planner," in Proceedings IJCAI-99, 1999.
-
Proceedings IJCAI-99, 1999
-
-
Nau, D.1
Cao, Y.2
Lotem, A.3
Munoz-Avila, H.4
-
6
-
-
0033189384
-
Learning action strategies for planning domains
-
Technical Report TR-09-97, Harvard, 1997
-
R. Khardon, "Learning action strategies for planning domains," Technical Report TR-09-97, Harvard, 1997. Artificial Intelligence, vol. 113, no. 1-2, pp. 105-148, 1999.
-
(1999)
Artificial Intelligence
, vol.113
, Issue.1-2
, pp. 105-148
-
-
Khardon, R.1
-
7
-
-
1442267080
-
Learning decision lists
-
R. Rivest, "Learning decision lists," Machine Learning, vol. 2, no. 3, pp. 229-246, 1987.
-
(1987)
Machine Learning
, vol.2
, Issue.3
, pp. 229-246
-
-
Rivest, R.1
-
8
-
-
0020979480
-
The tractability of subsumption in frame based description languages
-
R. Brachman and H. Levesque, "The tractability of subsumption in frame based description languages," in Proceedings AAAI-84, 1984.
-
(1984)
Proceedings AAAI-84
-
-
Brachman, R.1
Levesque, H.2
-
9
-
-
33748902346
-
An overview of the KL-ONE knowledge representation systems
-
R. Brachman and J. Schmolze, "An overview of the KL-ONE knowledge representation systems," Cognitive Science, vol. 92, no. 2, 1985.
-
(1985)
Cognitive Science
, vol.92
, Issue.2
-
-
Brachman, R.1
Schmolze, J.2
-
10
-
-
0000556825
-
The complexity of concept languages
-
edited by J. Allen, R. Fikes, and E. Sandewall, Morgan Kaufmann
-
F. Donini, M. Lenzerini, D. Nardi, and W. Nutt. "The complexity of concept languages," in Proceedings KR'91, edited by J. Allen, R. Fikes, and E. Sandewall, Morgan Kaufmann, 1991.
-
(1991)
Proceedings KR'91
-
-
Donini, F.1
Lenzerini, M.2
Nardi, D.3
Nutt, W.4
-
11
-
-
0023999478
-
Computational complexity of terminological reasoning in BACK
-
B. Nebel, "Computational complexity of terminological reasoning in BACK," Artificial Intelligence, vol. 34, no. 3, 1988.
-
(1988)
Artificial Intelligence
, vol.34
, Issue.3
-
-
Nebel, B.1
-
14
-
-
0008495141
-
Complexity results for blocks-world planning
-
N. Gupta and D. Nau, "Complexity results for blocks-world planning," in Proceedings AAAI-91, 1991 pp. 629-633.
-
Proceedings AAAI-91, 1991
, pp. 629-633
-
-
Gupta, N.1
Nau, D.2
-
15
-
-
0030352105
-
Linear time near-optimal planning in the blocks world
-
J. Slaney and S. Thiébaux, "Linear time near-optimal planning in the blocks world," in Proceedings of AAAI-96, 1996, pp. 1208-1214.
-
Proceedings of AAAI-96, 1996
, pp. 1208-1214
-
-
Slaney, J.1
Thiébaux, S.2
-
16
-
-
1142271846
-
Integrating learning and planning: The prodigy architecture
-
M. Veloso, J. Carbonell, A. Perez, D. Borrajo, E. Find, and J. Blythe, "Integrating learning and planning: The prodigy architecture," J. of Experimental and Theoretical AI, 1994.
-
(1994)
J. of Experimental and Theoretical AI
-
-
Veloso, M.1
Carbonell, J.2
Perez, A.3
Borrajo, D.4
Find, E.5
Blythe, J.6
-
17
-
-
0008951008
-
Number restrictions on complex roles in description logics
-
Morgan Kaufmann
-
F. Baader and U. Sattler, "Number restrictions on complex roles in description logics," in Proceedings KR'96, Morgan Kaufmann, 1996.
-
(1996)
Proceedings KR'96
-
-
Baader, F.1
Sattler, U.2
-
19
-
-
1142308230
-
-
Software for the block-world: BWSTATES and BWOPT
-
J. Slaney and S. Thiébaux. Software for the block-world: BWSTATES and BWOPT. At http://arp.anu.edu.au/jks/bw.html, 1999.
-
(1999)
-
-
Slaney, J.1
Thiébaux, S.2
-
22
-
-
0001172265
-
Learning logical definitions from relations
-
J. Ross Quinlan, "Learning logical definitions from relations," Machine Learning, vol. 5, pp. 239-266, 1990.
-
(1990)
Machine Learning
, vol.5
, pp. 239-266
-
-
Ross Quinlan, J.1
-
25
-
-
1142271840
-
Functional strips: A more general language for planning and problem solving
-
Logic-based AI Workshop, Washington DC
-
H. Geffner, "Functional strips: A more general language for planning and problem solving," Logic-based AI Workshop, Washington DC, 1999.
-
(1999)
-
-
Geffner, H.1
|