Dana S. Nau

206 papers A* 47A 20B 2C 3Misc 10Journal 78Unranked 40
YearRankTypeTitle / Venue / Authors
2026 A* conf
Probabilistic Hierarchical Goal Network Planning with UCT.
AAAI
David H. Chan, Mark Roberts, Dana S. Nau
2025 — conf
Acting and Planning with Hierarchical Operational Models on a Mobile Robot: A Study with RAE+UPOM.
ECMR
Oscar Lima, Marc Vinci, Sunandita Patra, Sebastian Stock, Joachim Hertzberg, Martin Atzmueller, Malik Ghallab, Dana S. Nau, Paolo Traverso
2025 J jnl
Acting and Planning with Hierarchical Operational Models on a Mobile Robot: A Study with RAE+UPOM.
CoRR
Oscar Lima, Marc Vinci, Sunandita Patra, Sebastian Stock, Joachim Hertzberg, Martin Atzmueller, Malik Ghallab, Dana S. Nau, Paolo Traverso
2025 A conf
Automating Curriculum Learning for Reinforcement Learning using a Skill-Based Bayesian Network.
AAMAS
Vincent Hsiao, Mark Roberts, Laura M. Hiatt, George Dimitri Konidaris, Dana S. Nau
2025 J jnl
Automating Curriculum Learning for Reinforcement Learning using a Skill-Based Bayesian Network.
CoRR
Vincent Hsiao, Mark Roberts, Laura M. Hiatt, George Konidaris, Dana S. Nau
2025 J jnl
HTN Plan Repair Algorithms Compared: Strengths and Weaknesses of Different Methods.
CoRR
Paul Zaidins, Robert P. Goldman, Ugur Kuter, Dana S. Nau, Mark Roberts
2025 A conf
Landmark-Assisted Monte Carlo Planning.
ECAI
David H. Chan, Mark Roberts, Dana S. Nau
2025 J jnl
Landmark-Assisted Monte Carlo Planning.
CoRR
David H. Chan, Mark Roberts, Dana S. Nau
2025 J jnl
The Impact of Strategic Communication in Coopetitive Multiagent Settings.
IEEE Trans. Comput. Soc. Syst.
Julian Baldwin, Larry Birnbaum, David H. Chan, Natalia Denisenko, Dana S. Nau, Jose N. Paredes, Chiara Pulice, Gerardo I. Simari, V. S. Subrahmanian, Rand Waltzman
2024 Misc conf
Automatically Learning HTN Methods from Landmarks.
FLAIRS
Ruoxi Li, Dana S. Nau, Mark Roberts, Morgan Fine-Morris
2024 J jnl
Automatically Learning HTN Methods from Landmarks.
CoRR
Ruoxi Li, Dana S. Nau, Mark Roberts, Morgan Fine-Morris
2024 A conf
Surrogate Bayesian Networks for Approximating Evolutionary Games.
AISTATS
Vincent Hsiao, Dana S. Nau, Bobak Pezeshki, Rina Dechter
2022 Misc conf
A Hierarchical Goal-Biased Curriculum for Training Reinforcement Learning.
FLAIRS
Sunandita Patra, Mark Cavolowsky, Onur Kulaksizoglu, Ruoxi Li, Laura Hiatt, Mark Roberts, Dana S. Nau
2022 A conf
A Mean Field Game Model of Spatial Evolutionary Games.
AAMAS
Vincent Hsiao, Dana S. Nau
2022 A conf
Fast Fourier Transform Reductions for Bayesian Network Inference.
AISTATS
Vincent Hsiao, Dana S. Nau, Rina Dechter
2022 Misc conf
HTN Replanning from the Middle.
FLAIRS
Yash Bansod, Sunandita Patra, Dana S. Nau, Mark Roberts
2021 A conf
Approximating Spatial Evolutionary Games using Bayesian Networks.
AAMAS
Vincent Hsiao, Xinyue Pan, Dana S. Nau, Rina Dechter
2021 Misc conf
Coordination and Control of Hierarchically Organized Interacting Agents.
FLAIRS
Sunandita Patra, Paolo Traverso, Malik Ghallab, Dana S. Nau
2021 A* conf
Decentralized Refinement Planning and Acting.
ICAPS
Ruoxi Li, Sunandita Patra, Dana S. Nau
2021 J jnl
Deliberative acting, planning and learning with hierarchical operational models.
Artif. Intell.
Sunandita Patra, James Mason, Malik Ghallab, Dana S. Nau, Paolo Traverso
2021 A* conf
Using Online Planning and Acting to Recover from Cyberattacks on Software-defined Networks.
AAAI
Sunandita Patra, Alexander Velazquez, Myong H. Kang, Dana S. Nau
2020 — conf
Cooperative Norms and the Growth of Threat: Differences Across Tight and Loose Cultures.
BESC
Xinyue Pan, Dana S. Nau, Michele Gelfand
2020 J jnl
Deliberative Acting, Online Planning and Learning with Hierarchical Operational Models.
CoRR
Sunandita Patra, James Mason, Malik Ghallab, Dana S. Nau, Paolo Traverso
2020 J jnl
Integrating Acting, Planning and Learning in Hierarchical Operational Models.
CoRR
Sunandita Patra, James Mason, Amit Kumar, Malik Ghallab, Paolo Traverso, Dana S. Nau
2020 A* conf
Integrating Acting, Planning, and Learning in Hierarchical Operational Models.
ICAPS
Sunandita Patra, James Mason, Amit Kumar, Malik Ghallab, Paolo Traverso, Dana S. Nau
2019 A* conf
Acting and Planning Using Operational Models.
AAAI
Sunandita Patra, Malik Ghallab, Dana S. Nau, Paolo Traverso
2018 J jnl
Avoiding game-tree pathology in 2-player adversarial search.
Comput. Intell.
Inon Zuckerman, Brandon Wilson, Dana S. Nau
2018 J jnl
Extending Classical Planning with State Constraints: Heuristics and Search for Optimal Planning.
J. Artif. Intell. Res.
Patrik Haslum, Franc Ivankovic, Miquel Ramírez, Dan Gordon, Sylvie Thiébaux, Vikas Shivashankar, Dana S. Nau
2018 J jnl
Modeling agent's preferences by its designer's social value orientation.
J. Exp. Theor. Artif. Intell.
Inon Zuckerman, Kan-Leung Cheng, Dana S. Nau
2018 — conf
Tipping Points for Norm Change in Human Cultures.
SBP-BRiMS
Soham De, Dana S. Nau, Xinyue Pan, Michele J. Gelfand
2018 J jnl
Tipping Points for Norm Change in Human Cultures.
CoRR
Soham De, Dana S. Nau, Xinyue Pan, Michele J. Gelfand
2017 J jnl
Understanding Norm Change: An Evolutionary Game-Theoretic Approach (Extended Version).
CoRR
Soham De, Dana S. Nau, Michele J. Gelfand
2017 A conf
Understanding Norm Change: An Evolutionary Game-Theoretic Approach.
AAMAS
Soham De, Dana S. Nau, Michele J. Gelfand
2016 — book
Automated Planning and Acting
Malik Ghallab, Dana S. Nau, Paolo Traverso
2016 J jnl
Using Game Theory to Study the Evolution of Cultural Norms.
CoRR
Soham De, Dana S. Nau, Michele Gelfand
2015 A* conf
Blended Planning and Acting: Preliminary Approach, Research Challenges.
AAAI
Dana S. Nau, Malik Ghallab, Paolo Traverso
2015 J jnl
Model-predictive asset guarding by team of autonomous surface vehicles in environment with civilian boats.
Auton. Robots
Eric Raboin, Petr Svec, Dana S. Nau, Satyandra K. Gupta
2014 A* conf
On the Feasibility of Planning Graph Style Heuristics for HTN Planning.
ICAPS
Ronald Alford, Vikas Shivashankar, Ugur Kuter, Dana S. Nau
2014 A* conf
Optimal Planning with Global Numerical State Constraints.
ICAPS
Franc Ivankovic, Patrik Haslum, Sylvie Thiébaux, Vikas Shivashankar, Dana S. Nau
2014 J jnl
Plan aggregation for strong cyclic planning in nondeterministic domains.
Artif. Intell.
Ronald Alford, Ugur Kuter, Dana S. Nau, Robert P. Goldman
2014 A conf
Predicting Agents' Behavior by Measuring their Social Preferences.
ECAI
Kan-Leung Cheng, Inon Zuckerman, Dana S. Nau, Jennifer Golbeck
2014 J jnl
The actor's view of automated planning and acting: A position paper.
Artif. Intell.
Malik Ghallab, Dana S. Nau, Paolo Traverso
2014 — conf
Towards Integrating Hierarchical Goal Networks and Motion Planners to Support Planning for Human Robot Collaboration in Assembly Cells.
AAAI Fall Symposia
Vikas Shivashankar, Krishnanand N. Kaipa, Dana S. Nau, Satyandra K. Gupta
2013 J jnl
An Evaluation of Two Alternatives to Minimax
CoRR
Dana S. Nau, Paul Walton Purdom Jr., Chun-Hung Tzeng
2013 J jnl
Introduction to the special section on social computing, behavioral-cultural modeling, and prediction.
ACM Trans. Intell. Syst. Technol.
Shanchieh Jay Yang, Dana S. Nau, John J. Salerno
2013 A* conf
Model-predictive target defense by team of unmanned surface vehicles operating in uncertain environments.
ICRA
Eric Raboin, Petr Svec, Dana S. Nau, Satyandra K. Gupta
2013 — ch.
Pathfinding in Games.
Artificial and Computational Intelligence in Games
Adi Botea, Bruno Bouzy, Michael Buro, Christian Bauckhage, Dana S. Nau
2013 J jnl
Predicting The Performance of Minimax and Product in Game-Tree
CoRR
Ping-Chung Chi, Dana S. Nau
2013 — ch.
Search in Real-Time Video Games.
Artificial and Computational Intelligence in Games
Peter I. Cowling, Michael Buro, Michal Bída, Adi Botea, Bruno Bouzy, Martin V. Butz, Philip Hingston, Hector Muñoz-Avila, Dana S. Nau, Moshe Sipper
2013 A* conf
The GoDeL Planning System: A More Perfect Union of Domain-Independent and Hierarchical Planning.
IJCAI
Vikas Shivashankar, Ronald Alford, Ugur Kuter, Dana S. Nau
2012 A conf
A hierarchical goal-based formalism and algorithm for single-agent planning.
AAMAS
Vikas Shivashankar, Ugur Kuter, Dana S. Nau, Ronald Alford
2012 C conf
Advice and trust in games of choice.
PST
Cody Buntain, Jennifer Golbeck, Dana S. Nau, Sarit Kraus
2012 A conf
Generating strategies for multi-agent pursuit-evasion games in partially observable Euclidean space.
AAMAS
Eric Raboin, Ugur Kuter, Dana S. Nau
2012 B conf
HTN Problem Spaces: Structure, Algorithms, Termination.
SOCS
Ronald Alford, Vikas Shivashankar, Ugur Kuter, Dana S. Nau
2012 A conf
Improving Local Decisions in Adversarial Search.
ECAI
Brandon Wilson, Inon Zuckerman, Austin Parker, Dana S. Nau
2011 J jnl
Introduction.
ACM Trans. Intell. Syst. Technol.
Huan Liu, Dana S. Nau
2011 A conf
Modeling social preferences in multi-player games.
AAMAS
Brandon Wilson, Inon Zuckerman, Dana S. Nau
2011 Misc conf
Real-Time Planning for Covering an Initially-Unknown Spatial Environment.
FLAIRS
Vikas Shivashankar, Rajiv Jain, Ugur Kuter, Dana S. Nau
2011 J jnl
SHOP2: An HTN Planning System
CoRR
Tsz-Chiu Au, Okhtay Ilghami, Ugur Kuter, J. William Murdock, Dana S. Nau, Dan Wu, Fusun Yaman
2011 — ed.
Social Computing, Behavioral-Cultural Modeling and Prediction - 4th International Conference, SBP 2011, College Park, MD, USA, March 29-31, 2011. Proceedings
SBP
John J. Salerno, Shanchieh Jay Yang, Dana S. Nau, Sun-Ki Chai
2011 — conf
The Life Game: Cognitive Strategies for Repeated Stochastic Games.
SocialCom/PASSAT
Kan-Leung Cheng, Inon Zuckerman, Dana S. Nau, Jennifer Golbeck
2010 — conf
Emergence of cooperative societies in evolutionary games.
GECCO (Companion)
Kan-Leung Cheng, Inon Zuckerman, Ugur Kuter, Dana S. Nau
2010 — conf
Emergence of cooperative societies in evolutionary games.
GECCO (Companion)
Kan-Leung Cheng, Inon Zuckerman, Ugur Kuter, Dana S. Nau
2010 J jnl
Evolution of state-dependent risk preferences.
ACM Trans. Intell. Syst. Technol.
Patrick Roos, Ryan Carr, Dana S. Nau
2010 J jnl
Introduction to the ACM TIST special issue AI in social computing and cultural modeling.
ACM Trans. Intell. Syst. Technol.
Huan Liu, Dana S. Nau
2010 J jnl
Risk Preference and Sequential Choice in Evolutionary Games.
Adv. Complex Syst.
Patrick Roos, Dana S. Nau
2010 — conf
State-Dependent Risk Preferences in Evolutionary Games.
SBP
Patrick Roos, Dana S. Nau
2010 A conf
Strategy generation in multi-agent imperfect-information pursuit games.
AAMAS
Eric Raboin, Dana S. Nau, Ugur Kuter, Satyandra K. Gupta, Petr Svec
2010 — conf
Using a Social Orientation Model for the Evolution of Cooperative Societies.
IAT
Kan-Leung Cheng, Inon Zuckerman, Ugur Kuter, Dana S. Nau
2010 J jnl
When is it better not to look ahead?
Artif. Intell.
Dana S. Nau, Mitja Lustrek, Austin Parker, Ivan Bratko, Matjaz Gams
2009 — ch.
Artificial Intelligence and Automation.
Handbook of Automation
Dana S. Nau
2009 Misc conf
Maintaining Focus: Overcoming Attention Deficit Disorder in Contingent Planning.
FLAIRS
Ronald Alford, Ugur Kuter, Dana S. Nau, Elnatan Reisner, Robert P. Goldman
2009 J jnl
Task decomposition on abstract states, for planning under nondeterminism.
Artif. Intell.
Ugur Kuter, Dana S. Nau, Marco Pistore, Paolo Traverso
2009 A* conf
Thinking Ahead in Real-Time Search.
ICAPS
Dana S. Nau, Ugur Kuter, Emre Sefer
2009 A* conf
Translating HTNs to PDDL: A Small Amount of Domain Knowledge Can Go a Long Way.
IJCAI
Ronald Alford, Ugur Kuter, Dana S. Nau
2009 — conf
Within epsilon of optimal play in the cultaptation social learning game.
AAMAS (2)
Ryan Carr, Eric Raboin, Austin Parker, Dana S. Nau
2008 — conf
Balancing Innovation and Exploitation in a Social Learning Game.
AAAI Fall Symposium: Adaptive Agents in Cultural Contexts
Eric Raboin, Ryan Carr, Austin Parker, Dana S. Nau
2008 A conf
Combining Domain-Independent Planning and HTN Planning: The Duet Planner.
ECAI
Alfonso Gerevini, Ugur Kuter, Dana S. Nau, Alessandro Saetti, Nathaniel Waisbrot
2008 J jnl
Computational Cultural Dynamics.
IEEE Intell. Syst.
Dana S. Nau, Jonathan Wilkenfeld
2008 — conf
Planning for Interactions among Autonomous Agents.
ProMAS
Tsz-Chiu Au, Ugur Kuter, Dana S. Nau
2008 — conf
Synthesis of strategies from interaction traces.
AAMAS (2)
Tsz-Chiu Au, Sarit Kraus, Dana S. Nau
2008 A* conf
Using Classical Planners to Solve Nondeterministic Planning Problems.
ICAPS
Ugur Kuter, Dana S. Nau, Elnatan Reisner, Robert P. Goldman
2007 J jnl
CARA: A Cultural-Reasoning Architecture.
IEEE Intell. Syst.
V. S. Subrahmanian, Massimiliano Albanese, Maria Vanina Martinez, Dana S. Nau, Diego Reforgiato Recupero, Gerardo I. Simari, Amy Sliva, Octavian Udrea, Jonathan Wilkenfeld
2007 J jnl
Computing most probable worlds of action probabilistic logic programs: scalable estimation for 10
Ann. Math. Artif. Intell.
Samir Khuller, Maria Vanina Martinez, Dana S. Nau, Amy Sliva, Gerardo I. Simari, V. S. Subrahmanian
2007 J jnl
Current Trends in Automated Planning.
AI Mag.
Dana S. Nau
2007 — conf
Finding Most Probable Worlds of Probabilistic Logic Programs.
SUM
Samir Khuller, Maria Vanina Martinez, Dana S. Nau, Gerardo I. Simari, Amy Sliva, V. S. Subrahmanian
2007 A* conf
Probabilistic Go Theories.
IJCAI
Austin Parker, Fusun Yaman, Dana S. Nau, V. S. Subrahmanian
2007 C conf
Reactive Query Policies: A Formalism for Planning with Volatile External Information.
CIDM
Tsz-Chiu Au, Dana S. Nau
2006 A conf
A stochastic language for modelling opponent agents.
AAMAS
Gerardo I. Simari, Amy Sliva, Dana S. Nau, V. S. Subrahmanian
2006 A conf
Accident or intention: that is the question (in the Noisy Iterated Prisoner's Dilemma).
AAMAS
Tsz-Chiu Au, Dana S. Nau
2006 A* conf
Controlled Search over Compact State Representations, in Nondeterministic Planning Domains and Beyond.
AAAI
Ugur Kuter, Dana S. Nau
2006 A* conf
Learning to Do HTN Planning.
ICAPS
Okhtay Ilghami, Dana S. Nau, Héctor Muñoz-Avila
2006 A* conf
Maintaining Cooperation in Noisy Environments.
AAAI
Tsz-Chiu Au, Dana S. Nau
2006 A* conf
Overconfidence or Paranoia? Search in Imperfect-Information Games.
AAAI
Austin Parker, Dana S. Nau, V. S. Subrahmanian
2006 A conf
The Incompleteness of Planning with Volatile External Information.
ECAI
Tsz-Chiu Au, Dana S. Nau
2005 A* conf
A Hierarchical Task-Network Planner based on Symbolic Model Checking.
ICAPS
Ugur Kuter, Dana S. Nau, Marco Pistore, Paolo Traverso
2005 A* conf
A Motion Closed World Asumption.
IJCAI
Fusun Yaman, Dana S. Nau, V. S. Subrahmanian
2005 J jnl
Applications of SHOP and SHOP2.
IEEE Intell. Syst.
Dana S. Nau, Tsz-Chiu Au, Okhtay Ilghami, Ugur Kuter, Héctor Muñoz-Avila, J. William Murdock, Dan Wu, Fusun Yaman
2005 A* conf
Game-Tree Search with Combinatorially Large Belief States.
IJCAI
Austin Parker, Dana S. Nau, V. S. Subrahmanian
2005 A* conf
Going Far, Logically.
IJCAI
Fusun Yaman, Dana S. Nau, V. S. Subrahmanian
2005 J jnl
Information gathering during planning for Web Service composition.
J. Web Semant.
Ugur Kuter, Evren Sirin, Bijan Parsia, Dana S. Nau, James A. Hendler
2005 J jnl
Learning Preconditions for Planning from Plan Traces and HTN Structure.
Comput. Intell.
Okhtay Ilghami, Dana S. Nau, Héctor Muñoz-Avila, David W. Aha
2005 A* conf
Learning approximate preconditions for methods in hierarchical plans.
ICML
Okhtay Ilghami, Héctor Muñoz-Avila, Dana S. Nau, David W. Aha
2005 — conf
Planning in Answer Set Programming using Ordered Task Decomposition.
We Will Show Them! (1)
Jürgen Dix, Ugur Kuter, Dana S. Nau
2005 A* conf
Using Domain-Configurable Search Control for Probabilistic Planning.
AAAI
Ugur Kuter, Dana S. Nau
2005 Misc conf
Web Service Composition with Volatile Information.
ISWC
Tsz-Chiu Au, Ugur Kuter, Dana S. Nau
2004 A* conf
A Logic of Motion.
KR
Fusun Yaman, Dana S. Nau, V. S. Subrahmanian
2004 — book
Automated planning - theory and practice.
Malik Ghallab, Dana S. Nau, Paolo Traverso
2004 A* conf
Forward-Chaining Planning in Nondeterministic Domains.
AAAI
Ugur Kuter, Dana S. Nau
2004 J jnl
HTN planning for Web Service composition using SHOP2.
J. Web Semant.
Evren Sirin, Bijan Parsia, Dan Wu, James A. Hendler, Dana S. Nau
2004 Misc conf
Information Gathering During Planning for Web Service Composition.
ISWC
Ugur Kuter, Evren Sirin, Dana S. Nau, Bijan Parsia, James A. Hendler
2004 — conf
Plan Databases: Model and Algebra.
FoIKS
Fusun Yaman, Sibel Adali, Dana S. Nau, Maria Luisa Sapino, V. S. Subrahmanian
2004 J jnl
The 2003 International Conference on Automated Planning and Scheduling (ICAPS-03).
AI Mag.
Enrico Giunchiglia, Nicola Muscettola, Dana S. Nau
2004 A conf
Utilizing Volatile External Information During Planning.
ECAI
Tsz-Chiu Au, Dana S. Nau, V. S. Subrahmanian
2003 J jnl
Algorithms for selecting cutters in multi-part milling problems.
Comput. Aided Des.
Zhiyang Yao, Satyandra K. Gupta, Dana S. Nau
2003 — conf
Automatic Web Services Composition Using SHOP2.
WWW (Posters)
Dan Wu, Evren Sirin, James A. Hendler, Dana S. Nau, Bijan Parsia
2003 Misc conf
Automating DAML-S Web Services Composition Using SHOP2.
ISWC
Dan Wu, Bijan Parsia, Evren Sirin, James A. Hendler, Dana S. Nau
2003 J jnl
IMPACTing SHOP: Putting an AI Planner Into a Multi-Agent Environment.
Ann. Math. Artif. Intell.
Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau, Lingling Zhang
2003 Misc conf
Planning in Answer Set Programming Using Ordered Task Decomposition.
KI
Jürgen Dix, Ugur Kuter, Dana S. Nau
2003 A* ed.
Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), June 9-13, 2003, Trento, Italy
ICAPS
Enrico Giunchiglia, Nicola Muscettola, Dana S. Nau
2003 J jnl
SHOP2: An HTN Planning System.
J. Artif. Intell. Res.
Dana S. Nau, Tsz-Chiu Au, Okhtay Ilghami, Ugur Kuter, J. William Murdock, Dan Wu, Fusun Yaman
2002 — conf
CaMeL: Learning Method Preconditions for HTN Planning.
AIPS
Okhtay Ilghami, Dana S. Nau, Héctor Muñoz-Avila, David W. Aha
2002 — conf
On the Complexity of Plan Adaptation by Derivational Analogy in a Universal Classical Planning Framework.
ECCBR
Tsz-Chiu Au, Héctor Muñoz-Avila, Dana S. Nau
2002 A conf
Planning in a multi-agent environment: theory and practice.
AAMAS
Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau, Lingling Zhang
2002 B conf
Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment.
JELIA
Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau, Lingling Zhang
2002 — conf
Timeline: An HTN Planner that can Reason about Time.
AIPS Workshop on Planning for Temporal Domains
Fusun Yaman, Dana S. Nau
2001 — conf
A geometric algorithm for selecting optimal set of cutters for multi-part milling.
Symposium on Solid Modeling and Applications
Zhiyang Yao, Satyandra K. Gupta, Dana S. Nau
2001 J jnl
Ontologies for Integrating Engineering Applications.
J. Comput. Inf. Sci. Eng.
Mihai Ciocoiu, Dana S. Nau, Michael Grüninger
2001 A* conf
SiN: Integrating Case-based Reasoning with Task Decomposition.
IJCAI
Héctor Muñoz-Avila, David W. Aha, Dana S. Nau, Rosina Weber, Len Breslow, Fusun Yaman
2001 J jnl
The Shop Planning System.
AI Mag.
Dana S. Nau, Yue Cao, Amnon Lotem, Héctor Muñoz-Avila
2001 A* conf
Total-Order Planning with Partially Ordered Subtasks.
IJCAI
Dana S. Nau, Héctor Muñoz-Avila, Yue Cao, Amnon Lotem, Steven Mitchell
2000 J jnl
Generating and evaluating designs and plans for microwave modules.
Artif. Intell. Eng. Des. Anal. Manuf.
Dana S. Nau, Michael O. Ball, John S. Baras, Abdur Chowdhury, Edward Lin, Jeff Meyer, Ravi Rajamani, John Splain, Vinai Trichur
2000 — conf
IMPACTing SHOP: Planning in a Multi-agent Environment.
CL-2000 Workshop on Computational Logic in Multi-Agent Systems
Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau
2000 — conf
Integrated Product and Process Design of Microwave Modules using AI Planning and Integer Programming.
Knowledge Intensive CAD
Dana S. Nau, Michael O. Ball, John S. Baras, Abdur Chowdhury, Edward Lin, Jeff Meyer, Ravi Rajamani, John Splain, Vinai Trichur
2000 — conf
Integrating Conversational Case Retrieval with generative Planning.
EWCBR
Héctor Muñoz-Avila, David W. Aha, Len Breslow, Dana S. Nau, Rosina Weber-Lee
2000 — conf
New Advances in GraphHTN: Identifying Independent Subproblems in Large HTN Domains.
AIPS
Amnon Lotem, Dana S. Nau
2000 A* conf
Ontology-Based Semantics.
KR
Mihai Ciocoiu, Dana S. Nau
1999 J jnl
AI Game-Playing Techniques.
AI Mag.
Dana S. Nau
1999 — conf
HICAP: An Interactive Case-Based Planning Architecture and its Application to Noncombatant Evacuation Operations.
AAAI/IAAI
Héctor Muñoz-Avila, David W. Aha, Len Breslow, Dana S. Nau
1999 A* conf
On the Use of Integer Programming Models in AI Planning.
IJCAI
Thomas Vossen, Michael O. Ball, Amnon Lotem, Dana S. Nau
1999 A* conf
SHOP: Simple Hierarchical Ordered Planner.
IJCAI
Dana S. Nau, Yue Cao, Amnon Lotem, Héctor Muñoz-Avila
1999 C conf
Using Guidelines to Constrain Interactive Case-Based HTN Planning.
ICCBR
Héctor Muñoz-Avila, Daniel C. McFarlane, David W. Aha, Len Breslow, James A. Ballas, Dana S. Nau
1999 — conf
Using Planning Graphs for Solving HTN Planning Problems.
AAAI/IAAI
Amnon Lotem, Dana S. Nau, James A. Hendler
1998 — conf
Analyzing External Conditions to Improve the Efficiency of HTN Planning.
AAAI/IAAI
Reiko Tsuneto, James A. Hendler, Dana S. Nau
1998 J jnl
Computer Bridge - A Big Win for AI Planning.
AI Mag.
Stephen J. J. Smith, Dana S. Nau, Thomas A. Throop
1998 — conf
Control Strategies in HTN Planning: Theory Versus Practice.
AAAI/IAAI
Dana S. Nau, Stephen J. J. Smith, Kutluhan Erol
1998 J jnl
IMACS: A Case Study in Real-World Planning.
IEEE Intell. Syst.
Satyandra K. Gupta, Dana S. Nau, William C. Regli
1998 — conf
Success in Spades: Using AI Planning Techniques to Win the World Championship of Computer Bridge.
AAAI/IAAI
Stephen J. J. Smith, Dana S. Nau, Thomas A. Throop
1997 — conf
Feature-Based Similarity Assessment of Solid Models.
Symposium on Solid Modeling and Applications
Alexei Elinson, Dana S. Nau, William C. Regli
1997 J jnl
On the Asymptotic Performance of IDA*.
Ann. Math. Artif. Intell.
Ambuj Mahanti, Subrata Ghosh, Dana S. Nau, Asim K. Pal, Laveen N. Kanal
1997 — conf
Plan-Refinement Strategies and Search-Space Size.
ECP
Reiko Tsuneto, Dana S. Nau, James A. Hendler
1997 J jnl
Towards multiprocessor feature recognition.
Comput. Aided Des.
William C. Regli, Satyandra K. Gupta, Dana S. Nau
1996 J jnl
A Planning Approach to Declarer Play in Contract Bridge.
Comput. Intell.
Stephen J. J. Smith, Dana S. Nau, Thomas A. Throop
1996 J jnl
Challenges in Feature-Based Manufacturing Research.
Commun. ACM
Martti Mäntylä, Dana S. Nau, Jami J. Shah
1996 — conf
Commitment Strategies in Hierarchical Task Network Planning.
AAAI/IAAI, Vol. 1
Reiko Tsuneto, Kutluhan Erol, James A. Hendler, Dana S. Nau
1996 J jnl
Complexity Results for HTN Planning.
Ann. Math. Artif. Intell.
Kutluhan Erol, James A. Hendler, Dana S. Nau
1996 J jnl
Generating redesign suggestions to reduce setup cost: a step towards automated redesign.
Comput. Aided Des.
Diganta Das, Satyandra K. Gupta, Dana S. Nau
1996 J jnl
Manufacturing cell formation by state-space search.
Ann. Oper. Res.
Subrata Ghosh, Ambuj Mahanti, Rakesh Nagi, Dana S. Nau
1996 J jnl
On the Nature and Role of Modal Truth Criteria in Planning.
Artif. Intell.
Subbarao Kambhampati, Dana S. Nau
1996 — conf
Total-Order Multi-Agent Task-Network Planning for Contract Bridge.
AAAI/IAAI, Vol. 1
Stephen J. J. Smith, Dana S. Nau, Thomas A. Throop
1995 A* conf
A Critical Look at Critics in HTN Planning.
IJCAI
Kutluhan Erol, James A. Hendler, Dana S. Nau, Reiko Tsuneto
1995 A* conf
AI Planning Versus Manufacturing-Operation Planning: A Case Study.
IJCAI
Dana S. Nau, Satyandra K. Gupta, William C. Regli
1995 J jnl
Complexity, Decidability and Undecidability Results for Domain-Independent Planning.
Artif. Intell.
Kutluhan Erol, Dana S. Nau, V. S. Subrahmanian
1995 — conf
Manufacturing feature instances: which ones to recognize?.
Symposium on Solid Modeling and Applications
Satyandra K. Gupta, William C. Regli, Dana S. Nau
1995 J jnl
PRA*: Massively Parallel Heuristic Search.
J. Parallel Distributed Comput.
Matthew P. Evett, James A. Hendler, Ambuj Mahanti, Dana S. Nau
1995 J jnl
Systematic approach to analysing the manufacturability of machined parts.
Comput. Aided Des.
Satyandra K. Gupta, Dana S. Nau
1995 J jnl
WFS + Branch and Bound = Stable Models.
IEEE Trans. Knowl. Data Eng.
V. S. Subrahmanian, Dana S. Nau, Carlo Vago
1994 A* conf
An Analysis of Forward Pruning.
AAAI
Stephen J. J. Smith, Dana S. Nau
1994 A* conf
HTN Planning: Complexity and Expressivity.
AAAI
Kutluhan Erol, James A. Hendler, Dana S. Nau
1994 A* conf
ITS: An Efficient Limited-Memory Heuristic Tree Search Algorithm.
AAAI
Subrata Ghosh, Ambuj Mahanti, Dana S. Nau
1994 J jnl
Improvements on a Heuristic Algorithm for Multiple-Query Optimization.
Data Knowl. Eng.
Kyuseok Shim, Timos K. Sellis, Dana S. Nau
1994 A* conf
On the Nature of Modal Truth Criteria in Planning.
AAAI
Subbarao Kambhampati, Dana S. Nau
1994 — conf
UMCP: A Sound and Complete Procedure for Hierarchical Task-network Planning.
AIPS
Kutluhan Erol, James A. Hendler, Dana S. Nau
1993 — conf
Building a general approach to feature recognition of Material Removal.
Solid Modeling and Applications
William C. Regli, Dana S. Nau
1993 J jnl
Concurrent Evaluation of Machinability During Product Design.
Computer
Satyandra K. Gupta, Dana S. Nau, Guangming Zhang
1993 — conf
Generation of alternative feature-based models and precedence orderings for machining applications.
Solid Modeling and Applications
Satyandra K. Gupta, Dana S. Nau
1992 J jnl
An Algebraic Approach to Feature Interactions.
IEEE Trans. Pattern Anal. Mach. Intell.
Raghu Karinthi, Dana S. Nau
1992 J jnl
Handling feature interactions in process-planning.
Appl. Artif. Intell.
Raghu Karinthi, Dana S. Nau, Qiang Yang
1992 J jnl
Incremental planning using conceptual graphs.
J. Exp. Theor. Artif. Intell.
Daniel Eshner, James A. Hendler, Dana S. Nau
1992 J jnl
Merging Separately Generated Plans with Restricted Interactions.
Comput. Intell.
Qiang Yang, Dana S. Nau, James A. Hendler
1992 J jnl
On the Complexity of Blocks-World Planning.
Artif. Intell.
Naresh Gupta, Dana S. Nau
1992 A* conf
On the Complexity of Domain-Independent Planning.
AAAI
Kutluhan Erol, Dana S. Nau, V. S. Subrahmanian
1992 A* conf
Performance of IDA on Trees and Graphs.
AAAI
Ambuj Mahanti, Subrata Ghosh, Dana S. Nau, Asim K. Pal, Laveen N. Kanal
1991 A* conf
Complexity Results for Blocks-World Planning.
AAAI
Naresh Gupta, Dana S. Nau
1989 A* conf
Preprocessing Search Spaces for Branch and Bound Search.
IJCAI
Qiang Yang, Dana S. Nau
1989 A* conf
Using a Feature Algebra for Reasoning about Geometric Feature Interactions.
IJCAI
Raghu Karinthi, Dana S. Nau
1987 A* conf
Comparing Minimax and Product in a Variety of Games.
AAAI
Ping-Ching Chi, Dana S. Nau
1986 J jnl
A Comparative Analysis of Methods for Expert Systems.
Int. J. Man Mach. Stud.
Connie Loggia Ramsey, James A. Reggia, Dana S. Nau, Andrew Ferrentino
1986 J jnl
Experiments on alternatives to minimax.
Int. J. Parallel Program.
Dana S. Nau, Paul Walton Purdom Jr., Chun-Hung Tzeng
1986 J jnl
Hierarchical representation of problem-solving knowledge in a frame-based process planning system.
Int. J. Intell. Syst.
Dana S. Nau, Tien-Chien Chang
1985 J jnl
A formal model of diagnostic inference, II. Algorithmic solution and application.
Inf. Sci.
James A. Reggia, Dana S. Nau, Pearl Y. Wang, Yun Peng
1985 J jnl
A formal model of diagnostic inference. I. Problem formulation and decomposition.
Inf. Sci.
James A. Reggia, Dana S. Nau, Pearl Y. Wang
1985 A conf
An Evaluation of Two Alternatives to Minimax.
UAI
Dana S. Nau, Paul Walton Purdom Jr., Chun-Hung Tzeng
1984 — conf
An Abductive Non-Monotonic Logic.
NMR
James A. Reggia, Dana S. Nau
1984 J jnl
General Branch and Bound, and its Relation to A and AO.
Artif. Intell.
Dana S. Nau, Vipin Kumar, Laveen N. Kanal
1984 — conf
Relationships Between Deductive and Abductive Inference in Knowledge-Based Diagnostic Problem Solving.
Expert Database Workshop
Dana S. Nau, James A. Reggia
1983 A* conf
A New Inference Method for Frame-Based Expert Systems.
AAAI
James A. Reggia, Dana S. Nau, Pearl Y. Wang
1983 J jnl
Decision Quality As a Function of Search Depth on Game Trees
J. ACM
Dana S. Nau
1983 J jnl
Diagnostic Expert Systems Based on a Set Covering Model.
Int. J. Man Mach. Stud.
James A. Reggia, Dana S. Nau, Pearl Y. Wang
1983 J jnl
Expert Computer Systems.
Computer
Dana S. Nau
1983 J jnl
On game graph structure and its influence on pathology.
Int. J. Parallel Program.
Dana S. Nau
1983 J jnl
Pathology on Game Trees Revisited, and an Alternative to Minimaxing.
Artif. Intell.
Dana S. Nau
1982 A* conf
A General Paradigm for A.I. Search Procedures.
AAAI
Dana S. Nau, Vipin Kumar, Laveen N. Kanal
1982 J jnl
An Investigation of the Causes of Pathology in Games.
Artif. Intell.
Dana S. Nau
1982 J jnl
The Last Player Theorem.
Artif. Intell.
Dana S. Nau
1980 A* conf
Pathology on Game Trees: A Summary of Results.
AAAI
Dana S. Nau