-
1
-
-
0033897011
-
Using temporal logic to express search control knowledge for planning
-
Bacchus, F., and Kabanza, F. 2000. Using temporal logic to express search control knowledge for planning. Artificial Intelligence 116(1-2):123-191.
-
(2000)
Artificial Intelligence
, vol.116
, Issue.1-2
, pp. 123-191
-
-
Bacchus, F.1
Kabanza, F.2
-
3
-
-
84880858989
-
Computational complexity of planning with temporal goals
-
Baral, C.; Kreinovich, V.; and Trejo, R. 2001. Computational complexity of planning with temporal goals. In Proc. of IJCAI, 509-514.
-
(2001)
Proc. of IJCAI
, pp. 509-514
-
-
Baral, C.1
Kreinovich, V.2
Trejo, R.3
-
7
-
-
0028498153
-
The computational complexity of propositional STRIPS planning
-
Bylander, T. 1994. The computational complexity of propositional STRIPS planning. Artificial Intelligence 69(161-204).
-
(1994)
Artificial Intelligence
, vol.69
, Issue.161-204
-
-
Bylander, T.1
-
8
-
-
0001800180
-
An empirical comparison of phylogenetic methods on chloroplast gene order data in Campanulaceae
-
Sankoff, D., and Nadeau, J., eds., Kluwer Acad. Pub.
-
Cosner, M.; Jansen, R.; Moret, B.; Raubeson, L.; Wang, L.; Warnow, T.; and Wyman, S. 2000. An empirical comparison of phylogenetic methods on chloroplast gene order data in Campanulaceae. In Sankoff, D., and Nadeau, J., eds., Comparative Genomics. Kluwer Acad. Pub. 99-122.
-
(2000)
Comparative Genomics
, pp. 99-122
-
-
Cosner, M.1
Jansen, R.2
Moret, B.3
Raubeson, L.4
Wang, L.5
Warnow, T.6
Wyman, S.7
-
9
-
-
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. Artificial Intelligence 76:75-88.
-
(1995)
Artificial Intelligence
, vol.76
, pp. 75-88
-
-
Erol, K.1
Nau, D.S.2
Subrahmanian, V.S.3
-
11
-
-
0001807019
-
Transforming cabbage into turnip (polynomial algorithm for sorting signed permutations with reversals)
-
Hannenhalli, S., and Pevzner, P. 1995. Transforming cabbage into turnip (polynomial algorithm for sorting signed permutations with reversals). In Proc. of STOC, 178-189.
-
(1995)
Proc. of STOC
, pp. 178-189
-
-
Hannenhalli, S.1
Pevzner, P.2
-
12
-
-
0002303187
-
Planning as satisfiability
-
Kautz, H., and Selman, B. 1992. Planning as satisfiability. In Proc. of ECAI, 359-363.
-
(1992)
Proc. of ECAI
, pp. 359-363
-
-
Kautz, H.1
Selman, B.2
-
14
-
-
0009601073
-
-
The University of California Museum of Paleontology
-
Metazoa Systematics Page, The University of California Museum of Paleontology (http://www.ucmp.berkeley.edu/help/index/metazoa.html).
-
Metazoa Systematics Page
-
-
-
15
-
-
0035234694
-
A new implementation and detailed study of break-point analysis
-
Moret, B.; Wyman, S.; D.Bader; Warnow, T.; and Yan, M. 2001. A new implementation and detailed study of break-point analysis. In Proc. of PSB, 583-594.
-
(2001)
Proc. of PSB
, pp. 583-594
-
-
Moret, B.1
Wyman, S.2
Bader, D.3
Warnow, T.4
Yan, M.5
-
16
-
-
0000532979
-
ADL: Exploring the middle ground between STRIPS and the situation calculus
-
Pednault, E. 1989. ADL: Exploring the middle ground between STRIPS and the situation calculus. In Proc. of KR, 324-332.
-
(1989)
Proc. of KR
, pp. 324-332
-
-
Pednault, E.1
|