Dana Nau
TitleCited byYear
Automated planning: theory and practice
M Ghallab, D Nau, P Traverso
Morgan Kaufmann, 2004
30812004
SHOP2: An HTN planning system
DS Nau, TC Au, O Ilghami, U Kuter, JW Murdock, D Wu, F Yaman
Journal of artificial intelligence research 20, 379-404, 2003
11802003
HTN planning for web service composition using SHOP2
E Sirin, B Parsia, D Wu, J Hendler, D Nau
Journal of Web Semantics 1 (4), 377-396, 2004
9622004
HTN planning: Complexity and expressivity
K Erol, J Hendler, DS Nau
AAAI 94, 1123-1128, 1994
8981994
SHOP: Simple hierarchical ordered planner
D Nau, Y Cao, A Lotem, H Munoz-Avila
Proceedings of the 16th international joint conference on Artificial …, 1999
6031999
Automating DAML-S web services composition using SHOP2
D Wu, B Parsia, E Sirin, J Hendler, D Nau
International Semantic Web Conference, 195-210, 2003
5572003
Diagnostic expert systems based on a set covering model
JA Reggia, DS Nau, PY Wang
International journal of man-machine studies 19 (5), 437-460, 1983
5321983
UMCP: A Sound and Complete Procedure for Hierarchical Task-network Planning.
K Erol, JA Hendler, DS Nau
Aips 94, 249-254, 1994
5281994
Complexity, decidability and undecidability results for domain-independent planning
K Erol, DS Nau, VS Subrahmanian
Artificial intelligence 76 (1-2), 75-88, 1995
3001995
Semantics for hierarchical task-network planning
K Erol, JA Hendler, DS Nau
MARYLAND UNIV COLLEGE PARK INST FOR SYSTEMS RESEARCH, 1995
2871995
Automatic web services composition using SHOP2
D Wu, E Sirin, J Hendler, D Nau, B Parsia
MARYLAND UNIV COLLEGE PARK DEPT OF COMPUTER SCIENCE, 2006
2722006
Expert computer systems
DS Nau
Computer, 63-85, 1983
2701983
On the complexity of blocks-world planning
N Gupta, DS Nau
Artificial Intelligence 56 (2-3), 223-254, 1992
2581992
A formal model of diagnostic inference. I. Problem formulation and decomposition
JA Reggia, DS Nau, PY Wang
Information Sciences 37 (1-3), 227-256, 1985
2411985
Systematic approach to analysing the manufacturability of machined parts
SK Gupta, DS Nau
Computer-Aided Design 27 (5), 323-342, 1995
2311995
Complexity results for HTN planning
K Erol, J Hendler, DS Nau
Annals of Mathematics and Artificial Intelligence 18 (1), 69-93, 1996
2221996
Automated manufacturability analysis: a survey
SK Gupta, WC Regli, D Das, DS Nau
Research in Engineering Design 9 (3), 168-190, 1997
2111997
Applications of SHOP and SHOP2
D Nau, TC Au, O Ilghami, U Kuter, D Wu, F Yaman, H Munoz-Avila, ...
IEEE Intelligent Systems 20 (2), 34-41, 2005
1912005
Total-order planning with partially ordered subtasks
D Nau, H Munoz-Avila, Y Cao, A Lotem, S Mitchell
IJCAI 1, 425-430, 2001
1902001
Advances in feature based manufacturing
JJ Shah, M Mäntylä, DS Nau
Elsevier, 2013
1712013
The system can't perform the operation now. Try again later.
Articles 1–20