Dana Nau
Title
Cited by
Cited by
Year
Automated planning: theory and practice
M Ghallab, D Nau, P Traverso
Morgan Kaufmann, 2004
31992004
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
12072003
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
9792004
HTN planning: Complexity and expressivity
K Erol, J Hendler, DS Nau
AAAI 94, 1123-1128, 1994
9181994
SHOP: Simple hierarchical ordered planner
D Nau, Y Cao, A Lotem, H Munoz-Avila
Proceedings of the 16th international joint conference on Artificial …, 1999
6141999
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
5622003
UMCP: A Sound and Complete Procedure for Hierarchical Task-network Planning.
K Erol, JA Hendler, DS Nau
Aips 94, 249-254, 1994
5411994
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
5281983
Complexity, decidability and undecidability results for domain-independent planning
K Erol, DS Nau, VS Subrahmanian
Artificial intelligence 76 (1-2), 75-88, 1995
2981995
Semantics for hierarchical task-network planning
K Erol, JA Hendler, DS Nau
MARYLAND UNIV COLLEGE PARK INST FOR SYSTEMS RESEARCH, 1995
2961995
Expert computer systems.
DS Nau
Computer 16 (2), 63-85, 1983
2741983
On the complexity of blocks-world planning
N Gupta, DS Nau
Artificial Intelligence 56 (2-3), 223-254, 1992
2721992
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
2712006
A formal model of diagnostic inference
JARDSNPY Wang, H Peng
Information Sciences 37, 227-285, 1985
2391985
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
2281996
Automated manufacturability analysis: a survey
SK Gupta, WC Regli, D Das, DS Nau
Research in Engineering Design 9 (3), 168-190, 1997
2231997
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
1932005
Total-order planning with partially ordered subtasks
D Nau, H Munoz-Avila, Y Cao, A Lotem, S Mitchell
IJCAI 1, 425-430, 2001
1922001
Automated planning and acting
M Ghallab, D Nau, P Traverso
Cambridge University Press, 2016
1882016
The system can't perform the operation now. Try again later.
Articles 1–20