-
1
-
-
0031074857
-
Fast planning through planning graph analysis
-
A. Blum and M.L. Furst. Fast planning through planning graph analysis. Artificial Intelligence. 90(1-2). 1997.
-
(1997)
Artificial Intelligence
, vol.90
, Issue.1-2
-
-
Blum, A.1
Furst, M.L.2
-
2
-
-
0000901610
-
Planning as heuristic search: New results
-
B. Bonet and H. Geffner. Planning as heuristic search: New results. In Proc. ECP-99, 1999.
-
(1999)
Proc. ECP-99
-
-
Bonet, B.1
Geffner, H.2
-
3
-
-
0002247682
-
A robust and fast action selection mechanism for planning
-
B. Bonet, G. Loerincs, and H. Geffner. A robust and fast action selection mechanism for planning. In Proc. AAAI-97, 1997.
-
(1997)
Proc. AAAI-97
-
-
Bonet, B.1
Loerincs, G.2
Geffner, H.3
-
4
-
-
0010311743
-
Investigating the effect of relevance and reachability constraints on SAT encodings of planning
-
M. Do, S. Kambhampati and B. Srivastava. Investigating the effect of relevance and reachability constraints on SAT encodings of planning. To appear in AIPS-2000, 2000.
-
(2000)
To appear in AIPS-2000
-
-
Do, M.1
Kambhampati, S.2
Srivastava, B.3
-
5
-
-
11544324354
-
Automatic inference of state invariants in TIM
-
M. Fox and D. Long. Automatic inference of state invariants in TIM. JAIR. Vol. 9. 1998.
-
(1998)
JAIR
, vol.9
-
-
Fox, M.1
Long, D.2
-
6
-
-
11544348011
-
Inferring state constraints for domain-independent planning
-
A. Gerevini and L. Schubert. Inferring state constraints for domain-independent planning. In Proc. AAAI-98, 1998.
-
(1998)
Proc. AAAI-98
-
-
Gerevini, A.1
Schubert, L.2
-
10
-
-
84880659680
-
Challenges in bridging plan synthesis paradigms
-
S. Kambhampati. Challenges in bridging plan synthesis paradigms. In Proc. IJCAI-97, 1997.
-
(1997)
Proc. IJCAI-97
-
-
Kambhampati, S.1
-
13
-
-
0002882914
-
Finding optimal solutions to the twenty-four puzzle
-
R. Korf and L. Taylor. Finding optimal solutions to the twenty-four puzzle. In Proc. AAAI-96, 1996.
-
(1996)
Proc. AAAI-96
-
-
Korf, R.1
Taylor, L.2
-
14
-
-
0027623753
-
Linear-space best-first search
-
R. Korf. Linear-space best-first search. Artificial Intelligence, 62:41-78, 1993.
-
(1993)
Artificial Intelligence
, vol.62
, pp. 41-78
-
-
Korf, R.1
-
15
-
-
0033347766
-
Efficient implementation of the plan graph in STAN
-
D. Long and M. Fox. Efficient implementation of the plan graph in STAN. JAIR, 10(1-2) 1999.
-
(1999)
JAIR
, vol.10
, Issue.1-2
-
-
Long, D.1
Fox, M.2
-
17
-
-
0033522716
-
Using regression graphs to control search in planning
-
D. McDermott. Using regression graphs to control search in planning. Artificial Intelligence, 109(1-2):111-160, 1999.
-
(1999)
Artificial Intelligence
, vol.109
, Issue.1-2
, pp. 111-160
-
-
McDermott, D.1
-
20
-
-
0001772845
-
GRT: A domain independent heuristic for strips worlds based on greedy regression tables
-
I. Refanidis and I. Vlahavas. GRT: A domain independent heuristic for strips worlds based on greedy regression tables. In Proc. ECP-99, 1999.
-
(1999)
Proc. ECP-99
-
-
Refanidis, I.1
Vlahavas, I.2
-
21
-
-
85158123131
-
An iterative algorithm for synthesizing invariants
-
J. Rintanen. An iterative algorithm for synthesizing invariants. To appear in AAAI-2000, 2000.
-
(2000)
To appear in AAAI-2000
-
-
Rintanen, J.1
-
22
-
-
0032633177
-
Recent advances in ai planning
-
D. Weld. Recent advances in ai planning. AI magazine, 1999.
-
(1999)
AI magazine
-
-
Weld, D.1
|