Follow
Dana Nau
Title
Cited by
Cited by
Year
Automated planning: theory and practice
M Ghallab, D Nau, P Traverso
Morgan Kaufmann, 2004
40262004
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
14382003
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
10832004
HTN planning: Complexity and expressivity
K Erol, J Hendler, DS Nau
AAAI 94, 1123-1128, 1994
10801994
SHOP: Simple hierarchical ordered planner
D Nau, Y Cao, A Lotem, H Munoz-Avila
Proceedings of the 16th international joint conference on Artificial …, 1999
7261999
UMCP: A Sound and Complete Procedure for Hierarchical Task-network Planning.
K Erol, JA Hendler, DS Nau
Aips 94, 249-254, 1994
6221994
Automating DAML-S web services composition using SHOP2
D Wu, B Parsia, E Sirin, J Hendler, D Nau
The Semantic Web-ISWC 2003: Second International Semantic Web Conference …, 2003
6102003
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
5741983
Automated planning and acting
M Ghallab, D Nau, P Traverso
Cambridge University Press, 2016
5522016
The relationship between cultural tightness–looseness and COVID-19 cases and deaths: a global analysis
MJ Gelfand, JC Jackson, X Pan, D Nau, D Pieper, E Denison, M Dagher, ...
The Lancet planetary health 5 (3), e135-e144, 2021
4252021
Complexity, decidability and undecidability results for domain-independent planning
K Erol, DS Nau, VS Subrahmanian
Artificial intelligence 76 (1-2), 75-88, 1995
3881995
On the complexity of blocks-world planning
N Gupta, DS Nau
Artificial intelligence 56 (2-3), 223-254, 1992
3371992
Semantics for hierarchical task-network planning
K Erol, JA Hendler, DS Nau
3341995
Complexity results for HTN planning
K Erol, J Hendler, DS Nau
Annals of Mathematics and Artificial Intelligence 18 (1), 69-93, 1996
3111996
Expert computer systems
Nau
Computer 16 (2), 63-85, 1983
3001983
Automatic Web Services Composition Using SHOP2.
D Wu, E Sirin, JA Hendler, DS Nau, B Parsia
WWW (Posters) 132, 2003
2912003
Automated manufacturability analysis: a survey
SK Gupta, WC Regli, D Das, DS Nau
Research in Engineering Design 9, 168-190, 1997
2721997
Societal threat and cultural variation in the strength of social norms: An evolutionary basis
P Roos, M Gelfand, D Nau, J Lun
Organizational Behavior and Human Decision Processes 129, 14-23, 2015
2682015
Systematic approach to analysing the manufacturability of machined parts
SK Gupta, DS Nau
Computer-Aided Design 27 (5), 323-342, 1995
2631995
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
2531985
The system can't perform the operation now. Try again later.
Articles 1–20