Dana S. Nau

According to our database, Dana S. Nau authored at least 187 papers between 1980 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Automatically Learning HTN Methods from Landmarks.

Ruoxi Li, Dana S. Nau, Mark Roberts, Morgan Fine-Morris

Proceedings of the Thirty-Seventh International Florida Artificial Intelligence Research Society Conference, 2024

Surrogate Bayesian Networks for Approximating Evolutionary Games.

Vincent Hsiao, Dana S. Nau, Bobak Pezeshki, Rina Dechter

Proceedings of the International Conference on Artificial Intelligence and Statistics, 2024

2022

A Hierarchical Goal-Biased Curriculum for Training Reinforcement Learning.

Sunandita Patra, Mark Cavolowsky, Onur Kulaksizoglu, Ruoxi Li, Laura Hiatt, Mark Roberts, Dana S. Nau

Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022

HTN Replanning from the Middle.

Yash Bansod, Sunandita Patra, Dana S. Nau, Mark Roberts

Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022

A Mean Field Game Model of Spatial Evolutionary Games.

Vincent Hsiao, Dana S. Nau

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

Fast Fourier Transform Reductions for Bayesian Network Inference.

Vincent Hsiao, Dana S. Nau, Rina Dechter

Proceedings of the International Conference on Artificial Intelligence and Statistics, 2022

2021

Deliberative acting, planning and learning with hierarchical operational models.

Sunandita Patra, James Mason, Malik Ghallab, Dana S. Nau, Paolo Traverso

Artif. Intell., 2021

Coordination and Control of Hierarchically Organized Interacting Agents.

Sunandita Patra, Paolo Traverso, Malik Ghallab, Dana S. Nau

Proceedings of the Thirty-Fourth International Florida Artificial Intelligence Research Society Conference, 2021

Approximating Spatial Evolutionary Games using Bayesian Networks.

Vincent Hsiao, Xinyue Pan, Dana S. Nau, Rina Dechter

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

Decentralized Refinement Planning and Acting.

Ruoxi Li, Sunandita Patra, Dana S. Nau

Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021

Using Online Planning and Acting to Recover from Cyberattacks on Software-defined Networks.

Sunandita Patra, Alexander Velazquez, Myong H. Kang, Dana S. Nau

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Deliberative Acting, Online Planning and Learning with Hierarchical Operational Models.

Sunandita Patra, James Mason, Malik Ghallab, Dana S. Nau, Paolo Traverso

CoRR, 2020

Cooperative Norms and the Growth of Threat: Differences Across Tight and Loose Cultures.

Xinyue Pan, Dana S. Nau, Michele Gelfand

Proceedings of the 7th International Conference on Behavioural and Social Computing, 2020

Integrating Acting, Planning, and Learning in Hierarchical Operational Models.

Sunandita Patra, James Mason, Amit Kumar, Malik Ghallab, Paolo Traverso, Dana S. Nau

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

2019

Acting and Planning Using Operational Models.

Sunandita Patra, Malik Ghallab, Dana S. Nau, Paolo Traverso

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Modeling agent's preferences by its designer's social value orientation.

Inon Zuckerman, Kan-Leung Cheng, Dana S. Nau

J. Exp. Theor. Artif. Intell., 2018

Extending Classical Planning with State Constraints: Heuristics and Search for Optimal Planning.

Patrik Haslum, Franc Ivankovic, Miquel Ramírez, Dan Gordon, Sylvie Thiébaux, Vikas Shivashankar, Dana S. Nau

J. Artif. Intell. Res., 2018

Avoiding game-tree pathology in 2-player adversarial search.

Inon Zuckerman, Brandon Wilson, Dana S. Nau

Comput. Intell., 2018

Tipping Points for Norm Change in Human Cultures.

Soham De, Dana S. Nau, Xinyue Pan, Michele J. Gelfand

Proceedings of the Social, Cultural, and Behavioral Modeling, 2018

2017

Understanding Norm Change: An Evolutionary Game-Theoretic Approach (Extended Version).

Soham De, Dana S. Nau, Michele J. Gelfand

CoRR, 2017

Understanding Norm Change: An Evolutionary Game-Theoretic Approach.

Soham De, Dana S. Nau, Michele J. Gelfand

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

Using Game Theory to Study the Evolution of Cultural Norms.

Soham De, Dana S. Nau, Michele Gelfand

CoRR, 2016

Automated Planning and Acting

Malik Ghallab, Dana S. Nau, Paolo Traverso

Cambridge University Press, ISBN: 978-1-107-03727-4, 2016

2015

Model-predictive asset guarding by team of autonomous surface vehicles in environment with civilian boats.

Eric Raboin, Petr Svec, Dana S. Nau, Satyandra K. Gupta

Auton. Robots, 2015

Blended Planning and Acting: Preliminary Approach, Research Challenges.

Dana S. Nau, Malik Ghallab, Paolo Traverso

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

The actor's view of automated planning and acting: A position paper.

Malik Ghallab, Dana S. Nau, Paolo Traverso

Artif. Intell., 2014

Plan aggregation for strong cyclic planning in nondeterministic domains.

Ronald Alford, Ugur Kuter, Dana S. Nau, Robert P. Goldman

Artif. Intell., 2014

Predicting Agents' Behavior by Measuring their Social Preferences.

Kan-Leung Cheng, Inon Zuckerman, Dana S. Nau, Jennifer Golbeck

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Optimal Planning with Global Numerical State Constraints.

Franc Ivankovic, Patrik Haslum, Sylvie Thiébaux, Vikas Shivashankar, Dana S. Nau

Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

On the Feasibility of Planning Graph Style Heuristics for HTN Planning.

Ronald Alford, Vikas Shivashankar, Ugur Kuter, Dana S. Nau

Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

Towards Integrating Hierarchical Goal Networks and Motion Planners to Support Planning for Human Robot Collaboration in Assembly Cells.

Vikas Shivashankar, Krishnanand N. Kaipa, Dana S. Nau, Satyandra K. Gupta

Proceedings of the 2014 AAAI Fall Symposia, Arlington, Virginia, USA, November 13-15, 2014, 2014

2013

Introduction to the special section on social computing, behavioral-cultural modeling, and prediction.

Shanchieh Jay Yang, Dana S. Nau, John J. Salerno

ACM Trans. Intell. Syst. Technol., 2013

Predicting The Performance of Minimax and Product in Game-Tree

Ping-Chung Chi, Dana S. Nau

CoRR, 2013

The GoDeL Planning System: A More Perfect Union of Domain-Independent and Hierarchical Planning.

Vikas Shivashankar, Ronald Alford, Ugur Kuter, Dana S. Nau

Proceedings of the IJCAI 2013, 2013

Model-predictive target defense by team of unmanned surface vehicles operating in uncertain environments.

Eric Raboin, Petr Svec, Dana S. Nau, Satyandra K. Gupta

Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Search in Real-Time Video 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

Proceedings of the Artificial and Computational Intelligence in Games, 2013

Pathfinding in Games.

Adi Botea, Bruno Bouzy, Michael Buro, Christian Bauckhage, Dana S. Nau

Proceedings of the Artificial and Computational Intelligence in Games, 2013

2012

HTN Problem Spaces: Structure, Algorithms, Termination.

Ronald Alford, Vikas Shivashankar, Ugur Kuter, Dana S. Nau

Proceedings of the Fifth Annual Symposium on Combinatorial Search, 2012

Advice and trust in games of choice.

Cody Buntain, Jennifer Golbeck, Dana S. Nau, Sarit Kraus

Proceedings of the Tenth Annual International Conference on Privacy, Security and Trust, 2012

Improving Local Decisions in Adversarial Search.

Brandon Wilson, Inon Zuckerman, Austin Parker, Dana S. Nau

Proceedings of the ECAI 2012, 2012

A hierarchical goal-based formalism and algorithm for single-agent planning.

Vikas Shivashankar, Ugur Kuter, Dana S. Nau, Ronald Alford

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

Generating strategies for multi-agent pursuit-evasion games in partially observable Euclidean space.

Eric Raboin, Ugur Kuter, Dana S. Nau

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

Introduction.

Huan Liu, Dana S. Nau

ACM Trans. Intell. Syst. Technol., 2011

The Life Game: Cognitive Strategies for Repeated Stochastic Games.

Kan-Leung Cheng, Inon Zuckerman, Dana S. Nau, Jennifer Golbeck

Proceedings of the PASSAT/SocialCom 2011, Privacy, 2011

Real-Time Planning for Covering an Initially-Unknown Spatial Environment.

Vikas Shivashankar, Rajiv Jain, Ugur Kuter, Dana S. Nau

Proceedings of the Twenty-Fourth International Florida Artificial Intelligence Research Society Conference, 2011

Modeling social preferences in multi-player games.

Brandon Wilson, Inon Zuckerman, Dana S. Nau

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010

Evolution of state-dependent risk preferences.

Patrick Roos, Ryan Carr, Dana S. Nau

ACM Trans. Intell. Syst. Technol., 2010

Introduction to the ACM TIST special issue AI in social computing and cultural modeling.

Huan Liu, Dana S. Nau

ACM Trans. Intell. Syst. Technol., 2010

When is it better not to look ahead?

Dana S. Nau, Mitja Lustrek, Austin Parker, Ivan Bratko, Matjaz Gams

Artif. Intell., 2010

Risk Preference and Sequential Choice in Evolutionary Games.

Patrick Roos, Dana S. Nau

Adv. Complex Syst., 2010

State-Dependent Risk Preferences in Evolutionary Games.

Patrick Roos, Dana S. Nau

Proceedings of the Advances in Social Computing, 2010

Using a Social Orientation Model for the Evolution of Cooperative Societies.

Kan-Leung Cheng, Inon Zuckerman, Ugur Kuter, Dana S. Nau

Proceedings of the 2010 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2010

Emergence of cooperative societies in evolutionary games.

Kan-Leung Cheng, Inon Zuckerman, Ugur Kuter, Dana S. Nau

Proceedings of the Genetic and Evolutionary Computation Conference, 2010

Strategy generation in multi-agent imperfect-information pursuit games.

Eric Raboin, Dana S. Nau, Ugur Kuter, Satyandra K. Gupta, Petr Svec

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

2009

Artificial Intelligence and Automation.

Dana S. Nau

Proceedings of the Springer Handbook of Automation, 2009

Task decomposition on abstract states, for planning under nondeterminism.

Ugur Kuter, Dana S. Nau, Marco Pistore, Paolo Traverso

Artif. Intell., 2009

Translating HTNs to PDDL: A Small Amount of Domain Knowledge Can Go a Long Way.

Ronald Alford, Ugur Kuter, Dana S. Nau

Proceedings of the IJCAI 2009, 2009

Maintaining Focus: Overcoming Attention Deficit Disorder in Contingent Planning.

Ronald Alford, Ugur Kuter, Dana S. Nau, Elnatan Reisner, Robert P. Goldman

Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

Within epsilon of optimal play in the cultaptation social learning game.

Ryan Carr, Eric Raboin, Austin Parker, Dana S. Nau

Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Thinking Ahead in Real-Time Search.

Dana S. Nau, Ugur Kuter, Emre Sefer

Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

2008

Computational Cultural Dynamics.

Dana S. Nau, Jonathan Wilkenfeld

IEEE Intell. Syst., 2008

Planning for Interactions among Autonomous Agents.

Tsz-Chiu Au, Ugur Kuter, Dana S. Nau

Proceedings of the Programming Multi-Agent Systems, 2008

Combining Domain-Independent Planning and HTN Planning: The Duet Planner.

Alfonso Gerevini, Ugur Kuter, Dana S. Nau, Alessandro Saetti, Nathaniel Waisbrot

Proceedings of the ECAI 2008, 2008

Synthesis of strategies from interaction traces.

Tsz-Chiu Au, Sarit Kraus, Dana S. Nau

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

Using Classical Planners to Solve Nondeterministic Planning Problems.

Ugur Kuter, Dana S. Nau, Elnatan Reisner, Robert P. Goldman

Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, 2008

Balancing Innovation and Exploitation in a Social Learning Game.

Eric Raboin, Ryan Carr, Austin Parker, Dana S. Nau

Proceedings of the Adaptive Agents in Cultural Contexts, 2008

2007

CARA: A Cultural-Reasoning Architecture.

V. S. Subrahmanian, Massimiliano Albanese, Maria Vanina Martinez, Dana S. Nau, Diego Reforgiato Recupero, Gerardo I. Simari, Amy Sliva, Octavian Udrea, Jonathan Wilkenfeld

IEEE Intell. Syst., 2007

Computing most probable worlds of action probabilistic logic programs: scalable estimation for 10^{30, 000} worlds.

Samir Khuller, Maria Vanina Martinez, Dana S. Nau, Amy Sliva, Gerardo I. Simari, V. S. Subrahmanian

Ann. Math. Artif. Intell., 2007

Current Trends in Automated Planning.

Dana S. Nau

AI Mag., 2007

Finding Most Probable Worlds of Probabilistic Logic Programs.

Samir Khuller, Maria Vanina Martinez, Dana S. Nau, Gerardo I. Simari, Amy Sliva, V. S. Subrahmanian

Proceedings of the Scalable Uncertainty Management, First International Conference, 2007

Probabilistic Go Theories.

Austin Parker, Fusun Yaman, Dana S. Nau, V. S. Subrahmanian

Proceedings of the IJCAI 2007, 2007

Reactive Query Policies: A Formalism for Planning with Volatile External Information.

Tsz-Chiu Au, Dana S. Nau

Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining, 2007

2006

The Incompleteness of Planning with Volatile External Information.

Tsz-Chiu Au, Dana S. Nau

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

A stochastic language for modelling opponent agents.

Gerardo I. Simari, Amy Sliva, Dana S. Nau, V. S. Subrahmanian

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

Accident or intention: that is the question (in the Noisy Iterated Prisoner's Dilemma).

Tsz-Chiu Au, Dana S. Nau

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

Learning to Do HTN Planning.

Okhtay Ilghami, Dana S. Nau, Héctor Muñoz-Avila

Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

Overconfidence or Paranoia? Search in Imperfect-Information Games.

Austin Parker, Dana S. Nau, V. S. Subrahmanian

Proceedings of the Proceedings, 2006

Controlled Search over Compact State Representations, in Nondeterministic Planning Domains and Beyond.

Ugur Kuter, Dana S. Nau

Proceedings of the Proceedings, 2006

Maintaining Cooperation in Noisy Environments.

Tsz-Chiu Au, Dana S. Nau

Proceedings of the Proceedings, 2006

2005

Information gathering during planning for Web Service composition.

Ugur Kuter, Evren Sirin, Bijan Parsia, Dana S. Nau, James A. Hendler

J. Web Semant., 2005

Applications of SHOP and SHOP2.

Dana S. Nau, Tsz-Chiu Au, Okhtay Ilghami, Ugur Kuter, Héctor Muñoz-Avila, J. William Murdock, Dan Wu, Fusun Yaman

IEEE Intell. Syst., 2005

Learning Preconditions for Planning from Plan Traces and HTN Structure.

Okhtay Ilghami, Dana S. Nau, Héctor Muñoz-Avila, David W. Aha

Comput. Intell., 2005

Web Service Composition with Volatile Information.

Tsz-Chiu Au, Ugur Kuter, Dana S. Nau

Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005

A Motion Closed World Asumption.

Fusun Yaman, Dana S. Nau, V. S. Subrahmanian

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Going Far, Logically.

Fusun Yaman, Dana S. Nau, V. S. Subrahmanian

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Game-Tree Search with Combinatorially Large Belief States.

Austin Parker, Dana S. Nau, V. S. Subrahmanian

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Learning approximate preconditions for methods in hierarchical plans.

Okhtay Ilghami, Héctor Muñoz-Avila, Dana S. Nau, David W. Aha

Proceedings of the Machine Learning, 2005

A Hierarchical Task-Network Planner based on Symbolic Model Checking.

Ugur Kuter, Dana S. Nau, Marco Pistore, Paolo Traverso

Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), 2005

Using Domain-Configurable Search Control for Probabilistic Planning.

Ugur Kuter, Dana S. Nau

Proceedings of the Proceedings, 2005

2004

HTN planning for Web Service composition using SHOP2.

Evren Sirin, Bijan Parsia, Dan Wu, James A. Hendler, Dana S. Nau

J. Web Semant., 2004

The 2003 International Conference on Automated Planning and Scheduling (ICAPS-03).

Enrico Giunchiglia, Nicola Muscettola, Dana S. Nau

AI Mag., 2004

A Logic of Motion.

Fusun Yaman, Dana S. Nau, V. S. Subrahmanian

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Plan Databases: Model and Algebra.

Fusun Yaman, Sibel Adali, Dana S. Nau, Maria Luisa Sapino, V. S. Subrahmanian

Proceedings of the Foundations of Information and Knowledge Systems, 2004

Utilizing Volatile External Information During Planning.

Tsz-Chiu Au, Dana S. Nau, V. S. Subrahmanian

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Forward-Chaining Planning in Nondeterministic Domains.

Ugur Kuter, Dana S. Nau

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

Automated planning - theory and practice.

Malik Ghallab, Dana S. Nau, Paolo Traverso

Elsevier, ISBN: 978-1-55860-856-6, 2004

2003

SHOP2: An HTN Planning System.

Dana S. Nau, Tsz-Chiu Au, Okhtay Ilghami, Ugur Kuter, J. William Murdock, Dan Wu, Fusun Yaman

J. Artif. Intell. Res., 2003

Algorithms for selecting cutters in multi-part milling problems.

Zhiyang Yao, Satyandra K. Gupta, Dana S. Nau

Comput. Aided Des., 2003

IMPACTing SHOP: Putting an AI Planner Into a Multi-Agent Environment.

Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau, Lingling Zhang

Ann. Math. Artif. Intell., 2003

Automatic Web Services Composition Using SHOP2.

Dan Wu, Evren Sirin, James A. Hendler, Dana S. Nau, Bijan Parsia

Proceedings of the Twelfth International World Wide Web Conference - Posters, 2003

Automating DAML-S Web Services Composition Using SHOP2.

Dan Wu, Bijan Parsia, Evren Sirin, James A. Hendler, Dana S. Nau

Proceedings of the Semantic Web, 2003

Planning in Answer Set Programming Using Ordered Task Decomposition.

Jürgen Dix, Ugur Kuter, Dana S. Nau

Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003

2002

Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment.

Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau, Lingling Zhang

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

On the Complexity of Plan Adaptation by Derivational Analogy in a Universal Classical Planning Framework.

Tsz-Chiu Au, Héctor Muñoz-Avila, Dana S. Nau

Proceedings of the Advances in Case-Based Reasoning, 6th European Conference, 2002

Planning in a multi-agent environment: theory and practice.

Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau, Lingling Zhang

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

Timeline: An HTN Planner that can Reason about Time.

Fusun Yaman, Dana S. Nau

Proceedings of the AIPS 2002 Workshop on Planning for Temporal Domains, 2002

CaMeL: Learning Method Preconditions for HTN Planning.

Okhtay Ilghami, Dana S. Nau, Héctor Muñoz-Avila, David W. Aha

Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, 2002

2001

Ontologies for Integrating Engineering Applications.

Mihai Ciocoiu, Dana S. Nau, Michael Grüninger

J. Comput. Inf. Sci. Eng., 2001

The Shop Planning System.

Dana S. Nau, Yue Cao, Amnon Lotem, Héctor Muñoz-Avila

AI Mag., 2001

A geometric algorithm for selecting optimal set of cutters for multi-part milling.

Zhiyang Yao, Satyandra K. Gupta, Dana S. Nau

Proceedings of the Sixth ACM Symposium on Solid Modeling and Applications, 2001

Total-Order Planning with Partially Ordered Subtasks.

Dana S. Nau, Héctor Muñoz-Avila, Yue Cao, Amnon Lotem, Steven Mitchell

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

SiN: Integrating Case-based Reasoning with Task Decomposition.

Héctor Muñoz-Avila, David W. Aha, Dana S. Nau, Rosina Weber, Len Breslow, Fusun Yaman

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000

Generating and evaluating designs and plans for microwave modules.

Dana S. Nau, Michael O. Ball, John S. Baras, Abdur Chowdhury, Edward Lin, Jeff Meyer, Ravi Rajamani, John Splain, Vinai Trichur

Artif. Intell. Eng. Des. Anal. Manuf., 2000

Ontology-Based Semantics.

Mihai Ciocoiu, Dana S. Nau

Proceedings of the KR 2000, 2000

Integrated Product and Process Design of Microwave Modules using AI Planning and Integer Programming.

Dana S. Nau, Michael O. Ball, John S. Baras, Abdur Chowdhury, Edward Lin, Jeff Meyer, Ravi Rajamani, John Splain, Vinai Trichur

Proceedings of the From Knowledge Intensive CAD to Knowledge Intensive Engineering, 2000

Integrating Conversational Case Retrieval with generative Planning.

Héctor Muñoz-Avila, David W. Aha, Len Breslow, Dana S. Nau, Rosina Weber-Lee

Proceedings of the Advances in Case-Based Reasoning, 5th European Workshop, 2000

IMPACTing SHOP: Planning in a Multi-agent Environment.

Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau

Proceedings of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), 2000

New Advances in GraphHTN: Identifying Independent Subproblems in Large HTN Domains.

Amnon Lotem, Dana S. Nau

Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, 2000

1999

AI Game-Playing Techniques.

Dana S. Nau

AI Mag., 1999

On the Use of Integer Programming Models in AI Planning.

Thomas Vossen, Michael O. Ball, Amnon Lotem, Dana S. Nau

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

SHOP: Simple Hierarchical Ordered Planner.

Dana S. Nau, Yue Cao, Amnon Lotem, Héctor Muñoz-Avila

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Using Guidelines to Constrain Interactive Case-Based HTN Planning.

Héctor Muñoz-Avila, Daniel C. McFarlane, David W. Aha, Len Breslow, James A. Ballas, Dana S. Nau

Proceedings of the Case-Based Reasoning and Development, Third International Conference, 1999

HICAP: An Interactive Case-Based Planning Architecture and its Application to Noncombatant Evacuation Operations.

Héctor Muñoz-Avila, David W. Aha, Len Breslow, Dana S. Nau

Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

Using Planning Graphs for Solving HTN Planning Problems.

Amnon Lotem, Dana S. Nau, James A. Hendler

Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

1998

IMACS: A Case Study in Real-World Planning.

Satyandra K. Gupta, Dana S. Nau, William C. Regli

IEEE Intell. Syst., 1998

Computer Bridge - A Big Win for AI Planning.

Stephen J. J. Smith, Dana S. Nau, Thomas A. Throop

AI Mag., 1998

Analyzing External Conditions to Improve the Efficiency of HTN Planning.

Reiko Tsuneto, James A. Hendler, Dana S. Nau

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

Success in Spades: Using AI Planning Techniques to Win the World Championship of Computer Bridge.

Stephen J. J. Smith, Dana S. Nau, Thomas A. Throop

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

Control Strategies in HTN Planning: Theory Versus Practice.

Dana S. Nau, Stephen J. J. Smith, Kutluhan Erol

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997

Towards multiprocessor feature recognition.

William C. Regli, Satyandra K. Gupta, Dana S. Nau

Comput. Aided Des., 1997

On the Asymptotic Performance of IDA*.

Ambuj Mahanti, Subrata Ghosh, Dana S. Nau, Asim K. Pal, Laveen N. Kanal

Ann. Math. Artif. Intell., 1997

Feature-Based Similarity Assessment of Solid Models.

Alexei Elinson, Dana S. Nau, William C. Regli

Proceedings of the Fourth Symposium on Solid Modeling and Applications, 1997

Plan-Refinement Strategies and Search-Space Size.

Reiko Tsuneto, Dana S. Nau, James A. Hendler

Proceedings of the Recent Advances in AI Planning, 4th European Conference on Planning, 1997

1996

A Planning Approach to Declarer Play in Contract Bridge.

Stephen J. J. Smith, Dana S. Nau, Thomas A. Throop

Comput. Intell., 1996

Generating redesign suggestions to reduce setup cost: a step towards automated redesign.

Diganta Das, Satyandra K. Gupta, Dana S. Nau

Comput. Aided Des., 1996

Challenges in Feature-Based Manufacturing Research.

Martti Mäntylä, Dana S. Nau, Jami J. Shah

Commun. ACM, 1996

Manufacturing cell formation by state-space search.

Subrata Ghosh, Ambuj Mahanti, Rakesh Nagi, Dana S. Nau

Ann. Oper. Res., 1996

Complexity Results for HTN Planning.

Kutluhan Erol, James A. Hendler, Dana S. Nau

Ann. Math. Artif. Intell., 1996

On the Nature and Role of Modal Truth Criteria in Planning.

Subbarao Kambhampati, Dana S. Nau

Artif. Intell., 1996

Commitment Strategies in Hierarchical Task Network Planning.

Reiko Tsuneto, Kutluhan Erol, James A. Hendler, Dana S. Nau

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

Total-Order Multi-Agent Task-Network Planning for Contract Bridge.

Stephen J. J. Smith, Dana S. Nau, Thomas A. Throop

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995

WFS + Branch and Bound = Stable Models.

V. S. Subrahmanian, Dana S. Nau, Carlo Vago

IEEE Trans. Knowl. Data Eng., 1995

PRA*: Massively Parallel Heuristic Search.

Matthew P. Evett, James A. Hendler, Ambuj Mahanti, Dana S. Nau

J. Parallel Distributed Comput., 1995

Systematic approach to analysing the manufacturability of machined parts.

Satyandra K. Gupta, Dana S. Nau

Comput. Aided Des., 1995

Complexity, Decidability and Undecidability Results for Domain-Independent Planning.

Kutluhan Erol, Dana S. Nau, V. S. Subrahmanian

Artif. Intell., 1995

Manufacturing feature instances: which ones to recognize?.

Satyandra K. Gupta, William C. Regli, Dana S. Nau

Proceedings of the Third ACM SIGGRAPH Symposium on Solid Modeling and Applications, 1995

AI Planning Versus Manufacturing-Operation Planning: A Case Study.

Dana S. Nau, Satyandra K. Gupta, William C. Regli

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

A Critical Look at Critics in HTN Planning.

Kutluhan Erol, James A. Hendler, Dana S. Nau, Reiko Tsuneto

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994

Improvements on a Heuristic Algorithm for Multiple-Query Optimization.

Kyuseok Shim, Timos K. Sellis, Dana S. Nau

Data Knowl. Eng., 1994

UMCP: A Sound and Complete Procedure for Hierarchical Task-network Planning.

Kutluhan Erol, James A. Hendler, Dana S. Nau

Proceedings of the Second International Conference on Artificial Intelligence Planning Systems, 1994

An Analysis of Forward Pruning.

Stephen J. J. Smith, Dana S. Nau

Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

On the Nature of Modal Truth Criteria in Planning.

Subbarao Kambhampati, Dana S. Nau

Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

ITS: An Efficient Limited-Memory Heuristic Tree Search Algorithm.

Subrata Ghosh, Ambuj Mahanti, Dana S. Nau

Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

HTN Planning: Complexity and Expressivity.

Kutluhan Erol, James A. Hendler, Dana S. Nau

Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1993

Concurrent Evaluation of Machinability During Product Design.

Satyandra K. Gupta, Dana S. Nau, Guangming Zhang

Computer, 1993

Building a general approach to feature recognition of Material Removal.

William C. Regli, Dana S. Nau

Proceedings of the ACM Symposium on Solid Modeling Foundations and CAD/CAM Applications, 1993

Generation of alternative feature-based models and precedence orderings for machining applications.

Satyandra K. Gupta, Dana S. Nau

Proceedings of the ACM Symposium on Solid Modeling Foundations and CAD/CAM Applications, 1993

1992

An Algebraic Approach to Feature Interactions.

Raghu Karinthi, Dana S. Nau

IEEE Trans. Pattern Anal. Mach. Intell., 1992

Incremental planning using conceptual graphs.

Daniel Eshner, James A. Hendler, Dana S. Nau

J. Exp. Theor. Artif. Intell., 1992

Merging Separately Generated Plans with Restricted Interactions.

Qiang Yang, Dana S. Nau, James A. Hendler

Comput. Intell., 1992

On the Complexity of Blocks-World Planning.

Naresh Gupta, Dana S. Nau

Artif. Intell., 1992

Handling feature interactions in process-planning.

Raghu Karinthi, Dana S. Nau, Qiang Yang

Appl. Artif. Intell., 1992

Performance of IDA on Trees and Graphs.

Ambuj Mahanti, Subrata Ghosh, Dana S. Nau, Asim K. Pal, Laveen N. Kanal

Proceedings of the 10th National Conference on Artificial Intelligence, 1992

On the Complexity of Domain-Independent Planning.

Kutluhan Erol, Dana S. Nau, V. S. Subrahmanian

Proceedings of the 10th National Conference on Artificial Intelligence, 1992

1991

Complexity Results for Blocks-World Planning.

Naresh Gupta, Dana S. Nau

Proceedings of the 9th National Conference on Artificial Intelligence, 1991

1989

Preprocessing Search Spaces for Branch and Bound Search.

Qiang Yang, Dana S. Nau

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

Using a Feature Algebra for Reasoning about Geometric Feature Interactions.

Raghu Karinthi, Dana S. Nau

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1987

Comparing Minimax and Product in a Variety of Games.

Ping-Ching Chi, Dana S. Nau

Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1986

Experiments on alternatives to minimax.

Dana S. Nau, Paul Walton Purdom Jr., Chun-Hung Tzeng

Int. J. Parallel Program., 1986

A Comparative Analysis of Methods for Expert Systems.

Connie Loggia Ramsey, James A. Reggia, Dana S. Nau, Andrew Ferrentino

Int. J. Man Mach. Stud., 1986

Hierarchical representation of problem-solving knowledge in a frame-based process planning system.

Dana S. Nau, Tien-Chien Chang

Int. J. Intell. Syst., 1986

1985

A formal model of diagnostic inference, II. Algorithmic solution and application.

James A. Reggia, Dana S. Nau, Pearl Y. Wang, Yun Peng

Inf. Sci., 1985

A formal model of diagnostic inference. I. Problem formulation and decomposition.

James A. Reggia, Dana S. Nau, Pearl Y. Wang

Inf. Sci., 1985

An Evaluation of Two Alternatives to Minimax.

Dana S. Nau, Paul Walton Purdom Jr., Chun-Hung Tzeng

Proceedings of the UAI '85: Proceedings of the First Annual Conference on Uncertainty in Artificial Intelligence, 1985

1984

General Branch and Bound, and its Relation to A and AO.

Dana S. Nau, Vipin Kumar, Laveen N. Kanal

Artif. Intell., 1984

An Abductive Non-Monotonic Logic.

James A. Reggia, Dana S. Nau

Proceedings of the Non-Monotonic Reasoning Workshop, 1984

Relationships Between Deductive and Abductive Inference in Knowledge-Based Diagnostic Problem Solving.

Dana S. Nau, James A. Reggia

Proceedings of the Expert Database Systems, 1984

1983

Decision Quality As a Function of Search Depth on Game Trees

Dana S. Nau

J. ACM, October, 1983

On game graph structure and its influence on pathology.

Dana S. Nau

Int. J. Parallel Program., 1983

Diagnostic Expert Systems Based on a Set Covering Model.

James A. Reggia, Dana S. Nau, Pearl Y. Wang

Int. J. Man Mach. Stud., 1983

Expert Computer Systems.

Dana S. Nau

Computer, 1983

Pathology on Game Trees Revisited, and an Alternative to Minimaxing.

Dana S. Nau

Artif. Intell., 1983

A New Inference Method for Frame-Based Expert Systems.

James A. Reggia, Dana S. Nau, Pearl Y. Wang

Proceedings of the National Conference on Artificial Intelligence, 1983

1982

The Last Player Theorem.

Dana S. Nau

Artif. Intell., 1982

An Investigation of the Causes of Pathology in Games.

Dana S. Nau

Artif. Intell., 1982

A General Paradigm for A.I. Search Procedures.

Dana S. Nau, Vipin Kumar, Laveen N. Kanal

Proceedings of the National Conference on Artificial Intelligence, 1982

1980

Pathology on Game Trees: A Summary of Results.

Dana S. Nau

Proceedings of the 1st Annual National Conference on Artificial Intelligence, 1980