Dana S. Nau Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn J. Salerno, Shanchieh Jay Yang, Dana S. Nau, Sun-Ki Chai: Social Computing, Behavioral-Cultural Modeling and Prediction - 4th International Conference, SBP 2011, College Park, MD, USA, March 29-31, 2011. Proceedings Springer 2011
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrandon Wilson, Inon Zuckerman, Dana S. Nau: Modeling social preferences in multi-player games. AAMAS 2011: 337-344
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVikas Shivashankar, Rajiv Jain, Ugur Kuter, Dana S. Nau: Real-Time Planning for Covering an Initially-Unknown Spatial Environment. FLAIRS Conference 2011
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKan-Leung Cheng, Inon Zuckerman, Dana S. Nau, Jennifer Golbeck: The Life Game: Cognitive Strategies for Repeated Stochastic Games. SocialCom/PASSAT 2011: 95-102
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuan Liu, Dana S. Nau: Introduction. ACM TIST 3(1): 6 (2011)
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTsz-Chiu Au, Okhtay Ilghami, Ugur Kuter, J. William Murdock, Dana S. Nau, Dan Wu, Fusun Yaman: SHOP2: An HTN Planning System CoRR abs/1106.4869: (2011)
2010
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric Raboin, Dana S. Nau, Ugur Kuter, Satyandra K. Gupta, Petr Svec: Strategy generation in multi-agent imperfect-information pursuit games. AAMAS 2010: 947-954
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKan-Leung Cheng, Inon Zuckerman, Ugur Kuter, Dana S. Nau: Emergence of cooperative societies in evolutionary games. GECCO (Companion) 2010: 1793-1800
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKan-Leung Cheng, Inon Zuckerman, Ugur Kuter, Dana S. Nau: Emergence of cooperative societies in evolutionary games. GECCO (Companion) 2010: 2067-2068
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKan-Leung Cheng, Inon Zuckerman, Ugur Kuter, Dana S. Nau: Using a Social Orientation Model for the Evolution of Cooperative Societies. IAT 2010: 431-438
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Roos, Dana S. Nau: State-Dependent Risk Preferences in Evolutionary Games. SBP 2010: 23-31
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuan Liu, Dana S. Nau: Introduction to the ACM TIST special issue AI in social computing and cultural modeling. ACM TIST 1(1): 2 (2010)
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Roos, Ryan Carr, Dana S. Nau: Evolution of state-dependent risk preferences. ACM TIST 1(1): 6 (2010)
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Roos, Dana S. Nau: Risk Preference and Sequential Choice in Evolutionary Games. Advances in Complex Systems 13(4): 559-578 (2010)
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana S. Nau, Mitja Lustrek, Austin Parker, Ivan Bratko, Matjaz Gams: When is it better not to look ahead? Artif. Intell. 174(16-17): 1323-1338 (2010)
2009
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRyan Carr, Eric Raboin, Austin Parker, Dana S. Nau: Within epsilon of optimal play in the cultaptation social learning game. AAMAS (2) 2009: 1327-1328
131no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonald Alford, Ugur Kuter, Dana S. Nau, Elnatan Reisner, Robert P. Goldman: Maintaining Focus: Overcoming Attention Deficit Disorder in Contingent Planning. FLAIRS Conference 2009
130no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana S. Nau, Ugur Kuter, Emre Sefer: Thinking Ahead in Real-Time Search. ICAPS 2009
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonald Alford, Ugur Kuter, Dana S. Nau: Translating HTNs to PDDL: A Small Amount of Domain Knowledge Can Go a Long Way. IJCAI 2009: 1629-1634
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana S. Nau: Artificial Intelligence and Automation. Handbook of Automation 2009: 249-268
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgur Kuter, Dana S. Nau, Marco Pistore, Paolo Traverso: Task decomposition on abstract states, for planning under nondeterminism. Artif. Intell. 173(5-6): 669-695 (2009)
2008
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTsz-Chiu Au, Sarit Kraus, Dana S. Nau: Synthesis of strategies from interaction traces. AAMAS (2) 2008: 855-862
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlfonso Gerevini, Ugur Kuter, Dana S. Nau, Alessandro Saetti, Nathaniel Waisbrot: Combining Domain-Independent Planning and HTN Planning: The Duet Planner. ECAI 2008: 573-577
124no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgur Kuter, Dana S. Nau, Elnatan Reisner, Robert P. Goldman: Using Classical Planners to Solve Nondeterministic Planning Problems. ICAPS 2008: 190-197
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTsz-Chiu Au, Ugur Kuter, Dana S. Nau: Planning for Interactions among Autonomous Agents. ProMAS 2008: 1-23
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana S. Nau, Jonathan Wilkenfeld: Computational Cultural Dynamics. IEEE Intelligent Systems 23(4): 18-19 (2008)
2007
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTsz-Chiu Au, Dana S. Nau: Reactive Query Policies: A Formalism for Planning with Volatile External Information. CIDM 2007: 243-250
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAustin Parker, Fusun Yaman, Dana S. Nau, V. S. Subrahmanian: Probabilistic Go Theories. IJCAI 2007: 501-506
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamir Khuller, Maria Vanina Martinez, Dana S. Nau, Gerardo I. Simari, Amy Sliva, V. S. Subrahmanian: Finding Most Probable Worlds of Probabilistic Logic Programs. SUM 2007: 45-59
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana S. Nau: Current Trends in Automated Planning. AI Magazine 28(4): 43-58 (2007)
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamir Khuller, Maria Vanina Martinez, Dana S. Nau, Amy Sliva, Gerardo I. Simari, V. S. Subrahmanian: Computing most probable worlds of action probabilistic logic programs: scalable estimation for 1030, 000 worlds. Ann. Math. Artif. Intell. 51(2-4): 295-331 (2007)
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLV. S. Subrahmanian, Massimiliano Albanese, Maria Vanina Martinez, Dana S. Nau, Diego Reforgiato Recupero, Gerardo I. Simari, Amy Sliva, Octavian Udrea, Jonathan Wilkenfeld: CARA: A Cultural-Reasoning Architecture. IEEE Intelligent Systems 22(2): 12-16 (2007)
2006
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAustin Parker, Dana S. Nau, V. S. Subrahmanian: Overconfidence or Paranoia? Search in Imperfect-Information Games. AAAI 2006: 1045-1050
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTsz-Chiu Au, Dana S. Nau: Maintaining Cooperation in Noisy Environments. AAAI 2006: 1567-
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgur Kuter, Dana S. Nau: Controlled Search over Compact State Representations, in Nondeterministic Planning Domains and Beyond. AAAI 2006: 1638-1641
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerardo I. Simari, Amy Sliva, Dana S. Nau, V. S. Subrahmanian: A stochastic language for modelling opponent agents. AAMAS 2006: 244-246
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTsz-Chiu Au, Dana S. Nau: Accident or intention: that is the question (in the Noisy Iterated Prisoner's Dilemma). AAMAS 2006: 561-568
110no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTsz-Chiu Au, Dana S. Nau: The Incompleteness of Planning with Volatile External Information. ECAI 2006: 839-840
109no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOkhtay Ilghami, Dana S. Nau, Héctor Muñoz-Avila: Learning to Do HTN Planning. ICAPS 2006: 390-393
2005
108no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgur Kuter, Dana S. Nau: Using Domain-Configurable Search Control for Probabilistic Planning. AAAI 2005: 1169-1174
107no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgur Kuter, Dana S. Nau, Marco Pistore, Paolo Traverso: A Hierarchical Task-Network Planner based on Symbolic Model Checking. ICAPS 2005: 300-309
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOkhtay Ilghami, Héctor Muñoz-Avila, Dana S. Nau, David W. Aha: Learning approximate preconditions for methods in hierarchical plans. ICML 2005: 337-344
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAustin Parker, Dana S. Nau, V. S. Subrahmanian: Game-Tree Search with Combinatorially Large Belief States. IJCAI 2005: 254-259
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFusun Yaman, Dana S. Nau, V. S. Subrahmanian: Going Far, Logically. IJCAI 2005: 615-620
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFusun Yaman, Dana S. Nau, V. S. Subrahmanian: A Motion Closed World Asumption. IJCAI 2005: 621-626
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTsz-Chiu Au, Ugur Kuter, Dana S. Nau: Web Service Composition with Volatile Information. International Semantic Web Conference 2005: 52-66
101no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Ugur Kuter, Dana S. Nau: Planning in Answer Set Programming using Ordered Task Decomposition. We Will Show Them! (1) 2005: 521-576
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOkhtay Ilghami, Dana S. Nau, Héctor Muñoz-Avila, David W. Aha: Learning Preconditions for Planning from Plan Traces and HTN Structure. Computational Intelligence 21(4): 388-413 (2005)
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana S. Nau, Tsz-Chiu Au, Okhtay Ilghami, Ugur Kuter, Héctor Muñoz-Avila, J. William Murdock, Dan Wu, Fusun Yaman: Applications of SHOP and SHOP2. IEEE Intelligent Systems 20(2): 34-41 (2005)
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgur Kuter, Evren Sirin, Bijan Parsia, Dana S. Nau, James A. Hendler: Information gathering during planning for Web Service composition. J. Web Sem. 3(2-3): 183-205 (2005)
2004
97no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMalik Ghallab, Dana S. Nau, Paolo Traverso: Automated planning - theory and practice. Elsevier 2004: I-XXVIII, 1-635
96no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgur Kuter, Dana S. Nau: Forward-Chaining Planning in Nondeterministic Domains. AAAI 2004: 513-518
95no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTsz-Chiu Au, Dana S. Nau, V. S. Subrahmanian: Utilizing Volatile External Information During Planning. ECAI 2004: 647-651
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFusun Yaman, Sibel Adali, Dana S. Nau, Maria Luisa Sapino, V. S. Subrahmanian: Plan Databases: Model and Algebra. FoIKS 2004: 302-320
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgur Kuter, Evren Sirin, Dana S. Nau, Bijan Parsia, James A. Hendler: Information Gathering During Planning for Web Service Composition. International Semantic Web Conference 2004: 335-349
92no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFusun Yaman, Dana S. Nau, V. S. Subrahmanian: A Logic of Motion. KR 2004: 85-94
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Giunchiglia, Nicola Muscettola, Dana S. Nau: The 2003 International Conference on Automated Planning and Scheduling (ICAPS-03). AI Magazine 25(2): 129-132 (2004)
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvren Sirin, Bijan Parsia, Dan Wu, James A. Hendler, Dana S. Nau: HTN planning for Web Service composition using SHOP2. J. Web Sem. 1(4): 377-396 (2004)
2003
89no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Giunchiglia, Nicola Muscettola, Dana S. Nau: Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), June 9-13, 2003, Trento, Italy AAAI 2003
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDan Wu, Bijan Parsia, Evren Sirin, James A. Hendler, Dana S. Nau: Automating DAML-S Web Services Composition Using SHOP2. International Semantic Web Conference 2003: 195-210
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Ugur Kuter, Dana S. Nau: Planning in Answer Set Programming Using Ordered Task Decomposition. KI 2003: 490-504
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDan Wu, Evren Sirin, James A. Hendler, Dana S. Nau, Bijan Parsia: Automatic Web Services Composition Using SHOP2. WWW (Posters) 2003
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Héctor Muñoz-Avila, Dana S. Nau, Lingling Zhang: IMPACTing SHOP: Putting an AI Planner Into a Multi-Agent Environment. Ann. Math. Artif. Intell. 37(4): 381-407 (2003)
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhiyang Yao, Satyandra K. Gupta, Dana S. Nau: Algorithms for selecting cutters in multi-part milling problems. Computer-Aided Design 35(9): 825-839 (2003)
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana S. Nau, Tsz-Chiu Au, Okhtay Ilghami, Ugur Kuter, J. William Murdock, Dan Wu, Fusun Yaman: SHOP2: An HTN Planning System. J. Artif. Intell. Res. (JAIR) 20: 379-404 (2003)
2002
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Héctor Muñoz-Avila, Dana S. Nau, Lingling Zhang: Planning in a multi-agent environment: theory and practice. AAMAS 2002: 944-945
81no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOkhtay Ilghami, Dana S. Nau, Héctor Muñoz-Avila, David W. Aha: CaMeL: Learning Method Preconditions for HTN Planning. AIPS 2002: 131-142
80no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFusun Yaman, Dana S. Nau: Timeline: An HTN Planner that can Reason about Time. AIPS Workshop on Planning for Temporal Domains 2002: 75-81
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTsz-Chiu Au, Héctor Muñoz-Avila, Dana S. Nau: On the Complexity of Plan Adaptation by Derivational Analogy in a Universal Classical Planning Framework. ECCBR 2002: 13-27
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Héctor Muñoz-Avila, Dana S. Nau, Lingling Zhang: Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment. JELIA 2002: 173-185
2001
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana S. Nau, Héctor Muñoz-Avila, Yue Cao, Amnon Lotem, Steven Mitchell: Total-Order Planning with Partially Ordered Subtasks. IJCAI 2001: 425-430
76no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHéctor Muñoz-Avila, David W. Aha, Dana S. Nau, Rosina Weber, Len Breslow, Fusun Yaman: SiN: Integrating Case-based Reasoning with Task Decomposition. IJCAI 2001: 999-1004
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhiyang Yao, Satyandra K. Gupta, Dana S. Nau: A geometric algorithm for selecting optimal set of cutters for multi-part milling. Symposium on Solid Modeling and Applications 2001: 130-139
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana S. Nau, Yue Cao, Amnon Lotem, Héctor Muñoz-Avila: The Shop Planning System. AI Magazine 22(3): 91-64 (2001)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMihai Ciocoiu, Dana S. Nau, Michael Grüninger: Ontologies for Integrating Engineering Applications. J. Comput. Inf. Sci. Eng. 1(1): 12-22 (2001)
2000
72no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmnon Lotem, Dana S. Nau: New Advances in GraphHTN: Identifying Independent Subproblems in Large HTN Domains. AIPS 2000: 206-215
71no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Héctor Muñoz-Avila, Dana S. Nau: IMPACTing SHOP: Planning in a Multi-agent Environment. CL-2000 Workshop on Computational Logic in Multi-Agent Systems 2000: 44-55
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHéctor Muñoz-Avila, David W. Aha, Len Breslow, Dana S. Nau, Rosina Weber-Lee: Integrating Conversational Case Retrieval with generative Planning. EWCBR 2000: 210-221
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMihai Ciocoiu, Dana S. Nau: Ontology-Based Semantics. KR 2000: 539-546
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana S. Nau, Michael O. Ball, John S. Baras, Abdur Chowdhury, Edward Lin, Jeff Meyer, Ravi Rajamani, John Splain, Vinai Trichur: Integrated Product and Process Design of Microwave Modules using AI Planning and Integer Programming. Knowledge Intensive CAD 2000: 147-158
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana S. Nau, Michael O. Ball, John S. Baras, Abdur Chowdhury, Edward Lin, Jeff Meyer, Ravi Rajamani, John Splain, Vinai Trichur: Generating and evaluating designs and plans for microwave modules. AI EDAM 14(4): 289-304 (2000)
1999
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmnon Lotem, Dana S. Nau, James A. Hendler: Using Planning Graphs for Solving HTN Planning Problems. AAAI/IAAI 1999: 534-540
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHéctor Muñoz-Avila, David W. Aha, Len Breslow, Dana S. Nau: HICAP: An Interactive Case-Based Planning Architecture and its Application to Noncombatant Evacuation Operations. AAAI/IAAI 1999: 870-875
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHéctor Muñoz-Avila, Daniel C. McFarlane, David W. Aha, Len Breslow, James A. Ballas, Dana S. Nau: Using Guidelines to Constrain Interactive Case-Based HTN Planning. ICCBR 1999: 288-302
63no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Vossen, Michael O. Ball, Amnon Lotem, Dana S. Nau: On the Use of Integer Programming Models in AI Planning. IJCAI 1999: 304-309
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana S. Nau, Yue Cao, Amnon Lotem, Héctor Muñoz-Avila: SHOP: Simple Hierarchical Ordered Planner. IJCAI 1999: 968-975
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana S. Nau: AI Game-Playing Techniques. AI Magazine 20(1): 117-118 (1999)
1998
60no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen J. J. Smith, Dana S. Nau, Thomas A. Throop: Success in Spades: Using AI Planning Techniques to Win the World Championship of Computer Bridge. AAAI/IAAI 1998: 1079-1086
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana S. Nau, Stephen J. J. Smith, Kutluhan Erol: Control Strategies in HTN Planning: Theory Versus Practice. AAAI/IAAI 1998: 1127-1133
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Tsuneto, James A. Hendler, Dana S. Nau: Analyzing External Conditions to Improve the Efficiency of HTN Planning. AAAI/IAAI 1998: 913-920
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen J. J. Smith, Dana S. Nau, Thomas A. Throop: Computer Bridge - A Big Win for AI Planning. AI Magazine 19(2): 93-106 (1998)
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSatyandra K. Gupta, Dana S. Nau, William C. Regli: IMACS: A Case Study in Real-World Planning. IEEE Intelligent Systems 13(3): 49-60 (1998)
1997
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Tsuneto, Dana S. Nau, James A. Hendler: Plan-Refinement Strategies and Search-Space Size. ECP 1997: 414-426
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexei Elinson, Dana S. Nau, William C. Regli: Feature-Based Similarity Assessment of Solid Models. Symposium on Solid Modeling and Applications 1997: 297-310
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmbuj Mahanti, Subrata Ghosh, Dana S. Nau, Asim K. Pal, Laveen N. Kanal: On the Asymptotic Performance of IDA*. Ann. Math. Artif. Intell. 20(1-4): 161-193 (1997)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam C. Regli, Satyandra K. Gupta, Dana S. Nau: Towards multiprocessor feature recognition. Computer-Aided Design 29(1): 37-51 (1997)
1996
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen J. J. Smith, Dana S. Nau, Thomas A. Throop: Total-Order Multi-Agent Task-Network Planning for Contract Bridge. AAAI/IAAI, Vol. 1 1996: 108-113
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Tsuneto, Kutluhan Erol, James A. Hendler, Dana S. Nau: Commitment Strategies in Hierarchical Task Network Planning. AAAI/IAAI, Vol. 1 1996: 536-542
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKutluhan Erol, James A. Hendler, Dana S. Nau: Complexity Results for HTN Planning. Ann. Math. Artif. Intell. 18(1): 69-93 (1996)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSubbarao Kambhampati, Dana S. Nau: On the Nature and Role of Modal Truth Criteria in Planning. Artif. Intell. 82(1-2): 129-155 (1996)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartti Mäntylä, Dana S. Nau, Jami J. Shah: Challenges in Feature-Based Manufacturing Research. Commun. ACM 39(2): 77-85 (1996)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen J. J. Smith, Dana S. Nau, Thomas A. Throop: A Planning Approach to Declarer Play in Contract Bridge. Computational Intelligence 12: 106-130 (1996)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiganta Das, Satyandra K. Gupta, Dana S. Nau: Generating redesign suggestions to reduce setup cost: a step towards automated redesign. Computer-Aided Design 28(10): 763-782 (1996)
1995
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKutluhan Erol, James A. Hendler, Dana S. Nau, Reiko Tsuneto: A Critical Look at Critics in HTN Planning. IJCAI 1995: 1592-1598
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana S. Nau, Satyandra K. Gupta, William C. Regli: AI Planning Versus Manufacturing-Operation Planning: A Case Study. IJCAI 1995: 1670-1676
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSatyandra K. Gupta, William C. Regli, Dana S. Nau: Manufacturing feature instances: which ones to recognize?. Symposium on Solid Modeling and Applications 1995: 141-152
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKutluhan Erol, Dana S. Nau, V. S. Subrahmanian: Complexity, Decidability and Undecidability Results for Domain-Independent Planning. Artif. Intell. 76(1-2): 75-88 (1995)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSatyandra K. Gupta, Dana S. Nau: Systematic approach to analysing the manufacturability of machined parts. Computer-Aided Design 27(5): 323-342 (1995)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLV. S. Subrahmanian, Dana S. Nau, Carlo Vago: WFS + Branch and Bound = Stable Models. IEEE Trans. Knowl. Data Eng. 7(3): 362-377 (1995)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew P. Evett, James A. Hendler, Ambuj Mahanti, Dana S. Nau: PRA*: Massively Parallel Heuristic Search. J. Parallel Distrib. Comput. 25(2): 133-143 (1995)
1994
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSubbarao Kambhampati, Dana S. Nau: On the Nature of Modal Truth Criteria in Planning. AAAI 1994: 1055-1060
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKutluhan Erol, James A. Hendler, Dana S. Nau: HTN Planning: Complexity and Expressivity. AAAI 1994: 1123-1128
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSubrata Ghosh, Ambuj Mahanti, Dana S. Nau: ITS: An Efficient Limited-Memory Heuristic Tree Search Algorithm. AAAI 1994: 1353-1358
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen J. J. Smith, Dana S. Nau: An Analysis of Forward Pruning. AAAI 1994: 1386-1391
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKutluhan Erol, James A. Hendler, Dana S. Nau: UMCP: A Sound and Complete Procedure for Hierarchical Task-network Planning. AIPS 1994: 249-254
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKyuseok Shim, Timos K. Sellis, Dana S. Nau: Improvements on a Heuristic Algorithm for Multiple-Query Optimization. Data Knowl. Eng. 12(2): 197-222 (1994)
1993
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam C. Regli, Dana S. Nau: Building a general approach to feature recognition of Material Removal. Solid Modeling and Applications 1993: 293-302
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSatyandra K. Gupta, Dana S. Nau: Generation of alternative feature-based models and precedence orderings for machining applications. Solid Modeling and Applications 1993: 465-466
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSatyandra K. Gupta, Dana S. Nau, Guangming Zhang: Concurrent Evaluation of Machinability During Product Design. IEEE Computer 26(1): 61-63 (1993)
1992
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKutluhan Erol, Dana S. Nau, V. S. Subrahmanian: On the Complexity of Domain-Independent Planning. AAAI 1992: 381-386
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmbuj Mahanti, Subrata Ghosh, Dana S. Nau, Asim K. Pal, Laveen N. Kanal: Performance of IDA on Trees and Graphs. AAAI 1992: 539-544
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaghu Karinthi, Dana S. Nau, Qiang Yang: Handling feature interactions in process-planning. Applied Artificial Intelligence 6(4): 389-415 (1992)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNaresh Gupta, Dana S. Nau: On the Complexity of Blocks-World Planning. Artif. Intell. 56(2-3): 223-254 (1992)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQiang Yang, Dana S. Nau, James A. Hendler: Merging Separately Generated Plans with Restricted Interactions. Computational Intelligence 8: 648-676 (1992)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaghu Karinthi, Dana S. Nau: An Algebraic Approach to Feature Interactions. IEEE Trans. Pattern Anal. Mach. Intell. 14(4): 469-484 (1992)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Eshner, James A. Hendler, Dana S. Nau: Incremental planning using conceptual graphs. J. Exp. Theor. Artif. Intell. 4(2): 85-94 (1992)
1991
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNaresh Gupta, Dana S. Nau: Complexity Results for Blocks-World Planning. AAAI 1991: 629-633
1989
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaghu Karinthi, Dana S. Nau: Using a Feature Algebra for Reasoning about Geometric Feature Interactions. IJCAI 1989: 1219-1224
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQiang Yang, Dana S. Nau: Preprocessing Search Spaces for Branch and Bound Search. IJCAI 1989: 349-353
1987
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPing-Ching Chi, Dana S. Nau: Comparing Minimax and Product in a Variety of Games. AAAI 1987: 100-104
1986
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLConnie Loggia Ramsey, James A. Reggia, Dana S. Nau, Andrew Ferrentino: A Comparative Analysis of Methods for Expert Systems. International Journal of Man-Machine Studies 24(5): 475-499 (1986)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana S. Nau, Paul Walton Purdom Jr., Chun-Hung Tzeng: Experiments on alternatives to minimax. International Journal of Parallel Programming 15(2): 163-183 (1986)
1985
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana S. Nau, Paul Walton Purdom Jr., Chun-Hung Tzeng: An Evaluation of Two Alternatives to Minimax. UAI 1985: 505-509
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames A. Reggia, Dana S. Nau, Pearl Y. Wang: A formal model of diagnostic inference. I. Problem formulation and decomposition. Inf. Sci. 37(1-3): 227-256 (1985)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames A. Reggia, Dana S. Nau, Pearl Y. Wang, Yun Peng: A formal model of diagnostic inference, II. Algorithmic solution and application. Inf. Sci. 37(1-3): 257-285 (1985)
1984
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana S. Nau, James A. Reggia: Relationships Between Deductive and Abductive Inference in Knowledge-Based Diagnostic Problem Solving. Expert Database Workshop 1984: 549-558
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames A. Reggia, Dana S. Nau: An Abductive Non-Monotonic Logic. NMR 1984: 385-395
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana S. Nau, Vipin Kumar, Laveen N. Kanal: General Branch and Bound, and its Relation to A and AO. Artif. Intell. 23(1): 29-58 (1984)
1983
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames A. Reggia, Dana S. Nau, Pearl Y. Wang: A New Inference Method for Frame-Based Expert Systems. AAAI 1983: 333-337
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana S. Nau: Pathology on Game Trees Revisited, and an Alternative to Minimaxing. Artif. Intell. 21(1-2): 221-244 (1983)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames A. Reggia, Dana S. Nau, Pearl Y. Wang: Diagnostic Expert Systems Based on a Set Covering Model. International Journal of Man-Machine Studies 19(5): 437-460 (1983)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana S. Nau: On game graph structure and its influence on pathology. International Journal of Parallel Programming 12(6): 367-383 (1983)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana S. Nau: Decision Quality As a Function of Search Depth on Game Trees J. ACM 30(4): 687-708 (1983)
1982
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana S. Nau, Vipin Kumar, Laveen N. Kanal: A General Paradigm for A.I. Search Procedures. AAAI 1982: 120-123
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana S. Nau: The Last Player Theorem. Artif. Intell. 18(1): 53-65 (1982)
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana S. Nau: An Investigation of the Causes of Pathology in Games. Artif. Intell. 19(3): 257-278 (1982)
1980
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana S. Nau: Pathology on Game Trees: A Summary of Results. AAAI 1980: 102-104

Coauthor Index

1Sibel Adali [94]
2David W. Aha [64] [65] [70] [76] [81] [100] [106]
3Massimiliano Albanese [116]
4Ronald Alford [129] [131]
5Tsz-Chiu Au [79] [83] [95] [99] [102] [110] [111] [114] [121] [123] [126] [142]
6Michael O. Ball [63] [67] [68]
7James A. Ballas [64]
8John S. Baras [67] [68]
9Ivan Bratko [133]
10Len Breslow [64] [65] [70] [76]
11Yue Cao [62] [74] [77]
12Ryan Carr [132] [135]
13Sun-Ki Chai [147]
14Kan-Leung Cheng [138] [139] [140] [144]
15Ping-Ching Chi [18]
16Abdur Chowdhury (Abdur Chowdury) [67] [68]
17Mihai Ciocoiu [69] [73]
18Diganta Das [45]
19Jürgen Dix [71] [78] [82] [85] [87] [101]
20Alexei Elinson [54]
21Kutluhan Erol [28] [33] [36] [41] [44] [49] [50] [59]
22Daniel Eshner [22]
23Matthew P. Evett [38]
24Andrew Ferrentino [17]
25Matjaz Gams [133]
26Alfonso Gerevini [125]
27Malik Ghallab [97]
28Subrata Ghosh [27] [35] [53]
29Enrico Giunchiglia [89] [91]
30Jennifer Golbeck [144]
31Robert P. Goldman [124] [131]
32Michael Grüninger (Michael Gruninger) [73]
33Naresh Gupta [21] [25]
34Satyandra K. Gupta [29] [30] [40] [42] [43] [45] [52] [56] [75] [84] [141]
35James A. Hendler (Jim Hendler) [22] [24] [33] [36] [38] [44] [49] [50] [55] [58] [66] [86] [88] [90] [93] [98]
36Okhtay Ilghami [81] [83] [99] [100] [106] [109] [142]
37Rajiv Jain [145]
38Subbarao Kambhampati [37] [48]
39Laveen N. Kanal [4] [10] [27] [53]
40Raghu Karinthi [20] [23] [26]
41Samir Khuller [117] [119]
42Sarit Kraus [126]
43Vipin Kumar [4] [10]
44Ugur Kuter [83] [87] [93] [96] [98] [99] [101] [102] [107] [108] [113] [123] [124] [125] [127] [129] [130] [131] [138] [139] [140] [141] [142] [145]
45Edward Lin [67] [68]
46Huan Liu [136] [143]
47Amnon Lotem [62] [63] [66] [72] [74] [77]
48Mitja Lustrek [133]
49Ambuj Mahanti [27] [35] [38] [53]
50Martti Mäntylä [47]
51Maria Vanina Martinez [116] [117] [119]
52Daniel C. McFarlane [64]
53Jeff Meyer [67] [68]
54Steven Mitchell [77]
55Hector Muñoz-Avila (Héctor Muñoz-Avila) [62] [64] [65] [70] [71] [74] [76] [77] [78] [79] [81] [82] [85] [99] [100] [106] [109]
56J. William Murdock [83] [99] [142]
57Nicola Muscettola [89] [91]
58Asim K. Pal [27] [53]
59Austin Parker [105] [115] [120] [132] [133]
60Bijan Parsia [86] [88] [90] [93] [98]
61Yun Peng [13]
62Marco Pistore [107] [127]
63Paul Walton Purdom Jr. [15] [16]
64Eric Raboin [132] [141]
65Ravi Rajamani [67] [68]
66Connie Loggia Ramsey [17]
67Diego Reforgiato Recupero [116]
68James A. Reggia [7] [9] [11] [12] [13] [14] [17]
69William C. Regli [31] [42] [43] [52] [54] [56]
70Elnatan Reisner [124] [131]
71Patrick Roos [134] [135] [137]
72Alessandro Saetti [125]
73John J. Salerno [147]
74Maria Luisa Sapino [94]
75Emre Sefer [130]
76Timos K. Sellis [32]
77Jami J. Shah [47]
78Kyuseok Shim [32]
79Vikas Shivashankar [145]
80Gerardo I. Simari [112] [116] [117] [119]
81Evren Sirin [86] [88] [90] [93] [98]
82Amy Sliva [112] [116] [117] [119]
83Stephen J. J. Smith [34] [46] [51] [57] [59] [60]
84John Splain [67] [68]
85V. S. Subrahmanian [28] [39] [41] [92] [94] [95] [103] [104] [105] [112] [115] [116] [117] [119] [120]
86Petr Svec [141]
87Thomas A. Throop [46] [51] [57] [60]
88Paolo Traverso [97] [107] [127]
89Vinai Trichur [67] [68]
90Reiko Tsuneto [44] [50] [55] [58]
91Chun-Hung Tzeng [15] [16]
92Octavian Udrea [116]
93Carlo Vago [39]
94Thomas W. M. Vossen (Thomas Vossen) [63]
95Nathaniel Waisbrot [125]
96Pearl Y. Wang [7] [9] [13] [14]
97Rosina O. Weber (Rosina Weber, Rosina Weber-Lee) [70] [76]
98Jonathan Wilkenfeld [116] [122]
99Brandon Wilson [146]
100Dan Wu [83] [86] [88] [90] [99] [142]
101Fusun Yaman [76] [80] [83] [92] [94] [99] [103] [104] [120] [142]
102Qiang Yang [19] [24] [26]
103Shanchieh Jay Yang [147]
104Zhiyang Yao [75] [84]
105Guangming Zhang [29]
106Lingling Zhang [78] [82] [85]
107Inon Zuckerman [138] [139] [140] [144] [146]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page