Dana S. Nau

According to our database1, Dana S. Nau authored at least 176 papers between 1980 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Awards

ACM Fellow

ACM Fellow 2013, "For contributions to automated search and planning.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Modeling agent's preferences by its designer's social value orientation.
J. Exp. Theor. Artif. Intell., 2018

Tipping Points for Norm Change in Human Cultures.
CoRR, 2018

Avoiding game-tree pathology in 2-player adversarial search.
Computational Intelligence, 2018

Tipping Points for Norm Change in Human Cultures.
Proceedings of the Social, Cultural, and Behavioral Modeling, 2018

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

Understanding Norm Change: An Evolutionary Game-Theoretic Approach.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016
Using Game Theory to Study the Evolution of Cultural Norms.
CoRR, 2016

Automated Planning and Acting
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.
Auton. Robots, 2015

Blended Planning and Acting: Preliminary Approach, Research Challenges.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
The actor's view of automated planning and acting: A position paper.
Artif. Intell., 2014

Plan aggregation for strong cyclic planning in nondeterministic domains.
Artif. Intell., 2014

Predicting Agents' Behavior by Measuring their Social Preferences.
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.
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

On the Feasibility of Planning Graph Style Heuristics for HTN Planning.
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

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

An Evaluation of Two Alternatives to Minimax
CoRR, 2013

Predicting The Performance of Minimax and Product in Game-Tree
CoRR, 2013

The GoDeL Planning System: A More Perfect Union of Domain-Independent and Hierarchical Planning.
Proceedings of the IJCAI 2013, 2013

Model-predictive target defense by team of unmanned surface vehicles operating in uncertain environments.
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Search in Real-Time Video Games.
Proceedings of the Artificial and Computational Intelligence in Games, 2013

Pathfinding in Games.
Proceedings of the Artificial and Computational Intelligence in Games, 2013

2012
HTN Problem Spaces: Structure, Algorithms, Termination.
Proceedings of the Fifth Annual Symposium on Combinatorial Search, 2012

Advice and trust in games of choice.
Proceedings of the Tenth Annual International Conference on Privacy, Security and Trust, 2012

Improving Local Decisions in Adversarial Search.
Proceedings of the ECAI 2012, 2012

A hierarchical goal-based formalism and algorithm for single-agent planning.
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.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011
Introduction.
ACM TIST, 2011

SHOP2: An HTN Planning System
CoRR, 2011

The Life Game: Cognitive Strategies for Repeated Stochastic Games.
Proceedings of the PASSAT/SocialCom 2011, Privacy, 2011

Real-Time Planning for Covering an Initially-Unknown Spatial Environment.
Proceedings of the Twenty-Fourth International Florida Artificial Intelligence Research Society Conference, 2011

Modeling social preferences in multi-player games.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010
Evolution of state-dependent risk preferences.
ACM TIST, 2010

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

When is it better not to look ahead?
Artif. Intell., 2010

Risk Preference and Sequential Choice in Evolutionary Games.
Advances in Complex Systems, 2010

State-Dependent Risk Preferences in Evolutionary Games.
Proceedings of the Advances in Social Computing, 2010

Using a Social Orientation Model for the Evolution of Cooperative Societies.
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2010

Emergence of cooperative societies in evolutionary games.
Proceedings of the Genetic and Evolutionary Computation Conference, 2010

Emergence of cooperative societies in evolutionary games.
Proceedings of the Genetic and Evolutionary Computation Conference, 2010

Strategy generation in multi-agent imperfect-information pursuit games.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

2009
Artificial Intelligence and Automation.
Proceedings of the Springer Handbook of Automation, 2009

Task decomposition on abstract states, for planning under nondeterminism.
Artif. Intell., 2009

Translating HTNs to PDDL: A Small Amount of Domain Knowledge Can Go a Long Way.
Proceedings of the IJCAI 2009, 2009

Maintaining Focus: Overcoming Attention Deficit Disorder in Contingent Planning.
Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

Within epsilon of optimal play in the cultaptation social learning game.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Thinking Ahead in Real-Time Search.
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

2008
Computational Cultural Dynamics.
IEEE Intelligent Systems, 2008

Planning for Interactions among Autonomous Agents.
Proceedings of the Programming Multi-Agent Systems, 2008

Combining Domain-Independent Planning and HTN Planning: The Duet Planner.
Proceedings of the ECAI 2008, 2008

Synthesis of strategies from interaction traces.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

Using Classical Planners to Solve Nondeterministic Planning Problems.
Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, 2008

Balancing Innovation and Exploitation in a Social Learning Game.
Proceedings of the Adaptive Agents in Cultural Contexts, 2008

2007
CARA: A Cultural-Reasoning Architecture.
IEEE Intelligent Systems, 2007

Computing most probable worlds of action probabilistic logic programs: scalable estimation for 1030, 000 worlds.
Ann. Math. Artif. Intell., 2007

Current Trends in Automated Planning.
AI Magazine, 2007

Finding Most Probable Worlds of Probabilistic Logic Programs.
Proceedings of the Scalable Uncertainty Management, First International Conference, 2007

Probabilistic Go Theories.
Proceedings of the IJCAI 2007, 2007

Reactive Query Policies: A Formalism for Planning with Volatile External Information.
Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining, 2007

2006
The Incompleteness of Planning with Volatile External Information.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

A stochastic language for modelling opponent agents.
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).
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

Learning to Do HTN Planning.
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

Overconfidence or Paranoia? Search in Imperfect-Information Games.
Proceedings of the Proceedings, 2006

Controlled Search over Compact State Representations, in Nondeterministic Planning Domains and Beyond.
Proceedings of the Proceedings, 2006

Maintaining Cooperation in Noisy Environments.
Proceedings of the Proceedings, 2006

2005
Information gathering during planning for Web Service composition.
J. Web Sem., 2005

Applications of SHOP and SHOP2.
IEEE Intelligent Systems, 2005

Learning Preconditions for Planning from Plan Traces and HTN Structure.
Computational Intelligence, 2005

Web Service Composition with Volatile Information.
Proceedings of the Semantic Web, 2005

A Motion Closed World Asumption.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Going Far, Logically.
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.
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.
Proceedings of the Machine Learning, 2005

Planning in Answer Set Programming using Ordered Task Decomposition.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

A Hierarchical Task-Network Planner based on Symbolic Model Checking.
Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), 2005

Using Domain-Configurable Search Control for Probabilistic Planning.
Proceedings of the Proceedings, 2005

2004
HTN planning for Web Service composition using SHOP2.
J. Web Sem., 2004

The 2003 International Conference on Automated Planning and Scheduling (ICAPS-03).
AI Magazine, 2004

Information Gathering During Planning for Web Service Composition.
Proceedings of the Semantic Web, 2004

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

Plan Databases: Model and Algebra.
Proceedings of the Foundations of Information and Knowledge Systems, 2004

Utilizing Volatile External Information During Planning.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Forward-Chaining Planning in Nondeterministic Domains.
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

Automated planning - theory and practice.
Elsevier, ISBN: 978-1-55860-856-6, 2004

2003
SHOP2: An HTN Planning System.
J. Artif. Intell. Res., 2003

Algorithms for selecting cutters in multi-part milling problems.
Computer-Aided Design, 2003

IMPACTing SHOP: Putting an AI Planner Into a Multi-Agent Environment.
Ann. Math. Artif. Intell., 2003

Automatic Web Services Composition Using SHOP2.
Proceedings of the Twelfth International World Wide Web Conference - Posters, 2003

Automating DAML-S Web Services Composition Using SHOP2.
Proceedings of the Semantic Web, 2003

Planning in Answer Set Programming Using Ordered Task Decomposition.
Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003

2002
Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment.
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.
Proceedings of the Advances in Case-Based Reasoning, 6th European Conference, 2002

Planning in a multi-agent environment: theory and practice.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

Timeline: An HTN Planner that can Reason about Time.
Proceedings of the AIPS 2002 Workshop on Planning for Temporal Domains, 2002

CaMeL: Learning Method Preconditions for HTN Planning.
Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, 2002

2001
Ontologies for Integrating Engineering Applications.
J. Comput. Inf. Sci. Eng., 2001

The Shop Planning System.
AI Magazine, 2001

A geometric algorithm for selecting optimal set of cutters for multi-part milling.
Proceedings of the Sixth ACM Symposium on Solid Modeling and Applications, 2001

Total-Order Planning with Partially Ordered Subtasks.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

SiN: Integrating Case-based Reasoning with Task Decomposition.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000
Generating and evaluating designs and plans for microwave modules.
AI EDAM, 2000

Ontology-Based Semantics.
Proceedings of the KR 2000, 2000

Integrated Product and Process Design of Microwave Modules using AI Planning and Integer Programming.
Proceedings of the From Knowledge Intensive CAD to Knowledge Intensive Engineering, 2000

Integrating Conversational Case Retrieval with generative Planning.
Proceedings of the Advances in Case-Based Reasoning, 5th European Workshop, 2000

IMPACTing SHOP: Planning in a Multi-agent Environment.
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.
Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, 2000

1999
AI Game-Playing Techniques.
AI Magazine, 1999

On the Use of Integer Programming Models in AI Planning.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

SHOP: Simple Hierarchical Ordered Planner.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Using Guidelines to Constrain Interactive Case-Based HTN Planning.
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.
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.
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.
IEEE Intelligent Systems, 1998

Computer Bridge - A Big Win for AI Planning.
AI Magazine, 1998

Analyzing External Conditions to Improve the Efficiency of HTN Planning.
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.
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.
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997
Towards multiprocessor feature recognition.
Computer-Aided Design, 1997

On the Asymptotic Performance of IDA*.
Ann. Math. Artif. Intell., 1997

Feature-Based Similarity Assessment of Solid Models.
Proceedings of the Fourth Symposium on Solid Modeling and Applications, 1997

Plan-Refinement Strategies and Search-Space Size.
Proceedings of the Recent Advances in AI Planning, 4th European Conference on Planning, 1997

1996
A Planning Approach to Declarer Play in Contract Bridge.
Computational Intelligence, 1996

Generating redesign suggestions to reduce setup cost: a step towards automated redesign.
Computer-Aided Design, 1996

Challenges in Feature-Based Manufacturing Research.
Commun. ACM, 1996

Manufacturing cell formation by state-space search.
Annals OR, 1996

Complexity Results for HTN Planning.
Ann. Math. Artif. Intell., 1996

On the Nature and Role of Modal Truth Criteria in Planning.
Artif. Intell., 1996

Commitment Strategies in Hierarchical Task Network Planning.
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.
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.
IEEE Trans. Knowl. Data Eng., 1995

PRA*: Massively Parallel Heuristic Search.
J. Parallel Distrib. Comput., 1995

Systematic approach to analysing the manufacturability of machined parts.
Computer-Aided Design, 1995

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

Manufacturing feature instances: which ones to recognize?.
Proceedings of the Third ACM SIGGRAPH Symposium on Solid Modeling and Applications, 1995

AI Planning Versus Manufacturing-Operation Planning: A Case Study.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

A Critical Look at Critics in HTN Planning.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994
Improvements on a Heuristic Algorithm for Multiple-Query Optimization.
Data Knowl. Eng., 1994

UMCP: A Sound and Complete Procedure for Hierarchical Task-network Planning.
Proceedings of the Second International Conference on Artificial Intelligence Planning Systems, 1994

An Analysis of Forward Pruning.
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

On the Nature of Modal Truth Criteria in Planning.
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

ITS: An Efficient Limited-Memory Heuristic Tree Search Algorithm.
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

HTN Planning: Complexity and Expressivity.
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1993
Concurrent Evaluation of Machinability During Product Design.
IEEE Computer, 1993

Building a general approach to feature recognition of Material Removal.
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.
Proceedings of the ACM Symposium on Solid Modeling Foundations and CAD/CAM Applications, 1993

1992
An Algebraic Approach to Feature Interactions.
IEEE Trans. Pattern Anal. Mach. Intell., 1992

Incremental planning using conceptual graphs.
J. Exp. Theor. Artif. Intell., 1992

Merging Separately Generated Plans with Restricted Interactions.
Computational Intelligence, 1992

On the Complexity of Blocks-World Planning.
Artif. Intell., 1992

Handling feature interactions in process-planning.
Applied Artificial Intelligence, 1992

Performance of IDA on Trees and Graphs.
Proceedings of the 10th National Conference on Artificial Intelligence, 1992

On the Complexity of Domain-Independent Planning.
Proceedings of the 10th National Conference on Artificial Intelligence, 1992

1991
Complexity Results for Blocks-World Planning.
Proceedings of the 9th National Conference on Artificial Intelligence, 1991

1989
Preprocessing Search Spaces for Branch and Bound Search.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

Using a Feature Algebra for Reasoning about Geometric Feature Interactions.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1987
Comparing Minimax and Product in a Variety of Games.
Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1986
Experiments on alternatives to minimax.
International Journal of Parallel Programming, 1986

A Comparative Analysis of Methods for Expert Systems.
International Journal of Man-Machine Studies, 1986

Hierarchical representation of problem-solving knowledge in a frame-based process planning system.
Int. J. Intell. Syst., 1986

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

A formal model of diagnostic inference. I. Problem formulation and decomposition.
Inf. Sci., 1985

An Evaluation of Two Alternatives to Minimax.
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.
Artif. Intell., 1984

An Abductive Non-Monotonic Logic.
Proceedings of the Non-Monotonic Reasoning Workshop, 1984

Relationships Between Deductive and Abductive Inference in Knowledge-Based Diagnostic Problem Solving.
Expert Database Workshop, 1984

1983
Decision Quality As a Function of Search Depth on Game Trees
J. ACM, October, 1983

On game graph structure and its influence on pathology.
International Journal of Parallel Programming, 1983

Diagnostic Expert Systems Based on a Set Covering Model.
International Journal of Man-Machine Studies, 1983

Expert Computer Systems.
IEEE Computer, 1983

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

A New Inference Method for Frame-Based Expert Systems.
Proceedings of the National Conference on Artificial Intelligence, 1983

1982
The Last Player Theorem.
Artif. Intell., 1982

An Investigation of the Causes of Pathology in Games.
Artif. Intell., 1982

A General Paradigm for A.I. Search Procedures.
Proceedings of the National Conference on Artificial Intelligence, 1982

1980
Pathology on Game Trees: A Summary of Results.
Proceedings of the 1st Annual National Conference on Artificial Intelligence, 1980


  Loading...