A mathematical analysis of human leukocyte antigen serology. Zbl 0394.92007
Nau, Dana S.; Markowsky, George; Woodbury, Max A.; Amos, D. Bernard |
|
1978
|
Complexity, decidability and undecidability results for domain-independent planning. Zbl 1013.68548
Erol, Kutluhan; Nau, Dana S.; Subrahmanian, V. S. |
|
1995
|
On the complexity of blocks-world planning. Zbl 0785.68046
Gupta, Naresh; Nau, Dana S. |
|
1992
|
Pathology on game trees revisited, and an alternative to minimaxing. Zbl 0507.68064
Nau, Dana S. |
|
1983
|
SHOP2: An HTN planning system. Zbl 1058.68106
Nau, Dana S.; Au, Tsz-Chiu; Ilghami, Okhtay; Kuter, Ugur; Murdock, J. William; Wu, Dan; Yaman, Fusun |
|
2003
|
An investigation of the causes of pathology in games. Zbl 0503.68070
Nau, Dana S. |
|
1982
|
Decision quality as a function of search depth on game trees. Zbl 0627.68076
Nau, Dana S. |
|
1983
|
General branch and bound, and its relation to \(A^*\) and \(AO^*\). Zbl 0537.68064
Nau, Dana S.; Kumar, Vipin; Kanal, Laveen |
|
1984
|
A formal model of diagnostic inference. I. Problem formulation and decomposition. Zbl 0583.68046
Reggia, James A.; Nau, Dana S.; Wang, Pearl Y. |
|
1985
|
The last player theorem. Zbl 0471.90003
Nau, Dana S. |
|
1982
|
Complexity results for HTN planning. Zbl 0891.68104
Erol, Kutluhan; Hendler, James; Nau, Dana S. |
|
1996
|
On the asymptotic performance of IDA. Zbl 0887.68018
Mahanti, A.; Ghosh, S.; Nau, D. S.; Pal, A. K.; Kanal, L. N. |
|
1997
|
A formal model of diagnostic inference. II. Algorithmic solution and application. Zbl 0583.68047
Reggia, James A.; Nau, Dana S.; Wang, Pearl Y.; Peng, Yun |
|
1985
|
Manufacturing cell formation by state-space search. Zbl 0857.90053
Ghosh, Subrata; Mahanti, Ambuj; Nagi, Rakesh; Nau, Dana S. |
|
1996
|
IMPACTing SHOP: Putting an AI planner into a multi-agent environment. Zbl 1010.68171
Dix, Jürgen; Muñoz-Avila, Héctor; Nau, Dana S.; Zhang, Lingling |
|
2003
|
On game graph structure and its influence on pathology. Zbl 0544.68063
Nau, Dana S. |
|
1983
|
When is it better not to look ahead? Zbl 1237.91047
Nau, Dana S.; Luštrek, Mitja; Parker, Austin; Bratko, Ivan; Gams, Matjaž |
|
2010
|
On the complexity of plan adaptation by derivational analogy in a universal classical planning framework. Zbl 1013.68951
Au, Tsz-Chiu; Muñoz-Avila, Héctor; Nau, Dana S. |
|
2002
|
Systematic approach to analysing the manufacturability of machined parts. Zbl 0960.68718
Gupta, Satyandra K.; Nau, Dana S. |
|
1995
|
Artificial intelligence and automation. Zbl 1208.93014
Nau, Dana S. |
|
2009
|
Search and heuristics. In memory of John Gaschnig. (Repr. from the Journal “Artificial Intelligence”, Vol. 21, Nos. 1, 2). Zbl 0522.68088
|
|
1983
|
Extending classical planning with state constraints: heuristics and search for optimal planning. Zbl 1448.68388
Haslum, Patrik; Ivankovic, Franc; Ramirez, Miquel; Gordon, Dan; Thiebaux, Sylvie; Shivashankar, Vikas; Nau, Dana S. |
|
2018
|
Extending classical planning with state constraints: heuristics and search for optimal planning. Zbl 1448.68388
Haslum, Patrik; Ivankovic, Franc; Ramirez, Miquel; Gordon, Dan; Thiebaux, Sylvie; Shivashankar, Vikas; Nau, Dana S. |
|
2018
|
When is it better not to look ahead? Zbl 1237.91047
Nau, Dana S.; Luštrek, Mitja; Parker, Austin; Bratko, Ivan; Gams, Matjaž |
|
2010
|
Artificial intelligence and automation. Zbl 1208.93014
Nau, Dana S. |
|
2009
|
SHOP2: An HTN planning system. Zbl 1058.68106
Nau, Dana S.; Au, Tsz-Chiu; Ilghami, Okhtay; Kuter, Ugur; Murdock, J. William; Wu, Dan; Yaman, Fusun |
|
2003
|
IMPACTing SHOP: Putting an AI planner into a multi-agent environment. Zbl 1010.68171
Dix, Jürgen; Muñoz-Avila, Héctor; Nau, Dana S.; Zhang, Lingling |
|
2003
|
On the complexity of plan adaptation by derivational analogy in a universal classical planning framework. Zbl 1013.68951
Au, Tsz-Chiu; Muñoz-Avila, Héctor; Nau, Dana S. |
|
2002
|
On the asymptotic performance of IDA. Zbl 0887.68018
Mahanti, A.; Ghosh, S.; Nau, D. S.; Pal, A. K.; Kanal, L. N. |
|
1997
|
Complexity results for HTN planning. Zbl 0891.68104
Erol, Kutluhan; Hendler, James; Nau, Dana S. |
|
1996
|
Manufacturing cell formation by state-space search. Zbl 0857.90053
Ghosh, Subrata; Mahanti, Ambuj; Nagi, Rakesh; Nau, Dana S. |
|
1996
|
Complexity, decidability and undecidability results for domain-independent planning. Zbl 1013.68548
Erol, Kutluhan; Nau, Dana S.; Subrahmanian, V. S. |
|
1995
|
Systematic approach to analysing the manufacturability of machined parts. Zbl 0960.68718
Gupta, Satyandra K.; Nau, Dana S. |
|
1995
|
On the complexity of blocks-world planning. Zbl 0785.68046
Gupta, Naresh; Nau, Dana S. |
|
1992
|
A formal model of diagnostic inference. I. Problem formulation and decomposition. Zbl 0583.68046
Reggia, James A.; Nau, Dana S.; Wang, Pearl Y. |
|
1985
|
A formal model of diagnostic inference. II. Algorithmic solution and application. Zbl 0583.68047
Reggia, James A.; Nau, Dana S.; Wang, Pearl Y.; Peng, Yun |
|
1985
|
General branch and bound, and its relation to \(A^*\) and \(AO^*\). Zbl 0537.68064
Nau, Dana S.; Kumar, Vipin; Kanal, Laveen |
|
1984
|
Pathology on game trees revisited, and an alternative to minimaxing. Zbl 0507.68064
Nau, Dana S. |
|
1983
|
Decision quality as a function of search depth on game trees. Zbl 0627.68076
Nau, Dana S. |
|
1983
|
On game graph structure and its influence on pathology. Zbl 0544.68063
Nau, Dana S. |
|
1983
|
Search and heuristics. In memory of John Gaschnig. (Repr. from the Journal “Artificial Intelligence”, Vol. 21, Nos. 1, 2). Zbl 0522.68088
|
|
1983
|
An investigation of the causes of pathology in games. Zbl 0503.68070
Nau, Dana S. |
|
1982
|
The last player theorem. Zbl 0471.90003
Nau, Dana S. |
|
1982
|
A mathematical analysis of human leukocyte antigen serology. Zbl 0394.92007
Nau, Dana S.; Markowsky, George; Woodbury, Max A.; Amos, D. Bernard |
|
1978
|