Planning, Games, and Game Theory Publications

Last updated December 19, 2008

  • U. Kuter, D. Nau, M. Pistore, and P. Traverso. Task decomposition on abstract states, for planning under nondeterminism. Artificial Intelligence, 2009, To appear. [pdf].

  • U. Kuter. 2009. Automated Planning and Learning: The Fellowship for Effective Intelligent Systems. In R. Meyers (Ed.) Encyclopedia of Complexity and System Science. Springer, New York. [to appear]

  • T.-C. Au, U. Kuter, and D. S. Nau. Planning for interactions among autonomous agents. In ProMAS’08 Post-Proceedings, 2009, to appear. Invited paper. [pdf].

  • E. Raboin, R. Carr, A. Parker, and D. Nau. Balancing innovation and exploitation in a social learning game. In AAAI Fall Symposium on Adaptive Agents in Cultural Contexts, Nov. 2008. [pdf].

  • U. Kuter, D. Nau, E. Reisner, and R. Goldman. Using classical planners to solve nondeterministic planning problems. In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), Sept. 2008. [pdf].

  • A. Rebguns, D. Green, G. Levine, U. Kuter, and D. Spears. 2008. Inferring and Applying Safety Constraints to Guide an Ensemble of Planners for Airspace Deconfliction. COPLAS 2008: CP/ICAPS 2008 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems.

  • J. Golbeck and U. Kuter. 2008. The Ripple Effect: Change in Trust and Its Impact over a Social Network. In Computing with Social Trust. J. Golbeck (ed.). Springer.

  • A. Gerevini, U. Kuter, D. Nau, A. Saetti, and N. Waisbrot. Combining domain-independent planning and HTN planning: The Duet planner. In Workshop on Knowledge Engineering for Planning and Scheduling (KEPS), Sept. 2008. [pdf].

  • R. Carr, E. Raboin, A. Parker, and D. Nau. When innovation matters: An analysis of innovation in a social learning game. In International Conference on Computational Cultural Dynamics (ICCCD), Sept. 2008. [pdf].

  • A. Gerevini, U. Kuter, D. Nau, A. Saetti, and N. Waisbrot. Combining domain-independent planning and HTN planning: The Duet planner. In Proceedings of the European Conference on Artificial Intelligence (ECAI), July 2008. [pdf].

  • C. Hogg, H. Munoz-Avila, and U. Kuter. 2008. HTN-MAKER: Learning HTNs with Minimal Additional Knowledge Engineering Required. Proceedings of AAAI-08.

  • N. Lin, U. Kuter, and E. Sirin. 2008. Service Composition with User Preferences. Proceedings of ESWC-08.

  • U. Kuter. 2008. Automated Planning and Learning: The Fellowship for Effective Intelligent Systems. Technical Report. UMIACS-TR-2008-05 (CS-TR-4907). Institute of Advanced Computer Studies, University of Maryland, College Park.

  • T.-C. Au, D. Nau, and S. Kraus. Synthesis of strategies from interaction traces. In International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), May 2008. [pdf].

  • S. Khuller, V. Martinez, D. Nau, G. Simari, A. Sliva, and V. Subrahmanian. Finding most probable worlds of probabilistic logic programs. In International Conference on Scalable Uncertainty Management (SUM 2007), Oct. 2007. [pdf].

  • U. Kuter. 2007. Notes on the ICAPS-07 Workshop on AI Planning and Learning. The Reasoner. October Issue, 2007.

  • N. F. Ayan, U. Kuter, F. Yaman, and R. Goldman. HOTRiDE: Hierarchical Ordered Task Replanning in Dynamic Environments. Proceedings of the ICAPS-07 Workshop on Planning and Plan Execution for Real-World Systems -- Principles and Practices for Planning in Execution.

  • S. Lee-Urban, H. Muņoz-Avila, A. Parker, U. Kuter, and D. Nau. Transfer learning of hierarchical task-network planning methods in a real-time strategy game. In Workshop on Artificial Intelligence Planning and Learning (AIPL-07), Sept. 2007. [pdf].

  • U. Kuter, D. Nau, E. Reisner, and R. Goldman. Conditionalization: Adapting forward-chaining planners to partially observable environments. In ICAPS 07 Workshop on Planning and Execution for Real-World Systems, Sept. 2007. [pdf].

  • D. Nau and J. Wilkenfeld, editors. International Conference on Computational Cultural Dynamics (ICCCD). AAAI Press, Aug. 2007.

  • T.-C. Au, S. Kraus, and D. Nau. Symbolic noise detection in the noisy iterated chicken game and the noisy iterated battle of the sexes. In International Conference on Computational Cultural Dynamics (ICCCD), Aug. 2007. [pdf].

  • V. Subrahmanian, M. Albanese, M. V. Martinez, D. Nau, D. Reforgiato, G. I. Simari, A. Sliva, O. Udrea, and J. Wilkenfeld. CARA: A cultural-reasoning architecture. IEEE Intelligent Systems, Mar./Apr. 2007. [pdf].

  • A. Parker, F. Yaman, D. S. Nau, and V. S. Subrahmanian. Probabilistic go theories. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pp. 501–506, 2007. [pdf].

  • U. Kuter, G. Levine, D. Green, A. Rebguns, G. DeJong, and D. Spears. 2007. Learning Constraints via Demonstration for Safe Planning. Proceedings of the AAAI-07 Workshop on Acquiring Planning Knowledge via Demonstration. [pdf]

  • U. Kuter and J. Hu. 2007. Computing and Using Lower and Upper Bounds for Action Elimination in MDP Planning. Proceedings of the SARA-07. [pdf]

  • U. Kuter and J. Golbeck. 2007. SUNNY: A New Algorithm for Trust Inference in Social Networks Using Probabilistic Confidence Models. Proceedings of the AAAI-07. [pdf]

  • N. Lin, U. Kuter, and J. Hendler. 2007. Web Service Composition via Problem Decomposition Across Multiple Ontologies. Proceedings of the SWSP-07.

  • D. Nau. Current trends in automated planning. AI Magazine 28(4):43–58, 2007. [pdf].

  • S. Khuller, M. V. Martinez, D. S. Nau, A. Sliva, G. I. Simari, and V. S. Subrahmanian. Computing most probable worlds of action probabilistic logic programs: scalable estimation for 1030, 000 worlds. Annals of Mathematics and Artificial Intelligence 51(2-4):295–331, 2007.

  • T.-C. Au and D. Nau. Reactive query policies: A formalism for planning with volatile external information. In IEEE Symposium on Computational Intelligence and Data Mining (CIDM), pp. 243–250, 2007. [pdf].

  • T.-C. Au and D. Nau. Is it accidental or intentional? a symbolic approach to the noisy iterated prisoner’s dilemma. In G. Kendall, X. Yao, and S. Y. Chong, editors, The Iterated Prisoners Dilemma: 20 Years On, pp. 231–262. World Scientific, 2007. [pdf].

  • T.-C. Au and D. Nau. The incompleteness of planning with volatile external information. In Proceedings of the European Conference on Artificial Intelligence (ECAI), Aug. 2006. [pdf].

  • U. Kuter. 2006. Planning under Uncertainty: Moving Forward. Ph.D. Dissertation, University of Maryland, College Park. [pdf]

  • A. Parker, D. Nau, and V. Subrahmanian. The role of imperfect information. In A. Kott and W. McEneaney, editors, Adversarial Reasoning: Computational Approaches to Reading the Opponent’s Mind, pp. 209–229. CRC Press, July 2006. [pdf].

  • A. Parker, D. Nau, and V. Subrahmanian. Overconfidence or paranoia? search in imperfect-information games. In Proceedings of the National Conference on Artificial Intelligence (AAAI), July 2006. [pdf].

  • T.-C. Au and D. Nau. Maintaining cooperation in noisy environments. In Proceedings of the National Conference on Artificial Intelligence (AAAI), July 2006. [pdf].

  • G. Simari, A. Sliva, V. Subrahmanian, and D. Nau. A stochastic language for modeling opponent agents. In International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2006. [pdf].

  • U. Kuter and D. Nau. Controlled search over compact state representations, in nondeterministic planning domains and beyond. In Proceedings of the National Conference on Artificial Intelligence (AAAI), 2006. [pdf].

  • O. Ilghami, D. Nau, and H. Munoz-Avila. Learning to do HTN planning. In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), 2006. [pdf].

  • T.-C. Au and D. Nau. Accident or intention: That is the question (in the iterated prisoner’s dilemma). In International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2006. [pdf].

  • O. Ilghami, D. S. Nau, H. Muņoz-Avila, and D. W. Aha. Learning preconditions for planning from plan traces and HTN structure. Computational Intelligence 21(4):388–413, Nov. 2005. [pdf].

  • F. Yaman, D. Nau, and V. Subrahmanian. A motion closed world assumption. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), Aug. 2005. [pdf].

  • F. Yaman, D. Nau, and V. Subrahmanian. Going far, logically. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), Aug. 2005. [pdf].

  • A. Parker, D. Nau, and V. Subrahmanian. Game-tree search with combinatorially large belief states. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), Aug. 2005. [pdf].

  • O. Ilghami, H. Muņoz-Avila, D. S. Nau, and D. W. Aha. Learning approximate preconditions for methods in hierarchical plans. In Proceedings of the International Conference on Machine Learning (ICML), Aug. 2005. [pdf].

  • D. S. Nau. May all your plans succeed! In Proceedings of the National Conference on Artificial Intelligence (AAAI), July 2005, Invited talk. [pdf].

  • U. Kuter and D. Nau. Using domain-configurable search control for probabilistic planning. In Proceedings of the National Conference on Artificial Intelligence (AAAI), July 2005. [pdf].

  • U. Kuter, D. Nau, M. Pistore, and P. Traverso. A hierarchical task-network planner based on symbolic model checking. In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), pp. 300–309, June 2005. [pdf].

  • D. Nau, T.-C. Au, O. Ilghami, U. Kuter, H. Muņoz-Avila, J. W. Murdock, D. Wu, and F. Yaman. Applications of SHOP and SHOP2. IEEE Intelligent Systems 20(2):34–41, Mar.-Apr. 2005. [pdf].

  • D. Nau, M. Fu, and V. Subrahmanian, editors. Workshop on Decision Making in Adversarial Domains, 2005. http://www.cs.umd.edu/projects/lccd/adversarial-2005.

  • U. Kuter, E. Sirin, D. Nau, B. Parsia, and J. Hendler. Information gathering during planning for web service composition. Journal of Web Semantics (JWS) 3(2-3):183–205, 2005. [pdf].

  • U. Kuter, J. Hu, D. Nau, M. Fu, and S. Marcus. Lower and upper bounds for action elimination in mdp planning problems. Tech. rep., University of Maryland, 2005.

  • J. Dix, U. Kuter, and D. Nau. Planning in answer set programming using ordered task decomposition. In S. Artëmov, H. Barringer, L. Lamb, and J. Woods, editors, We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, pp. 521–576. King’s College Publications, 2005. [pdf].

  • T.-C. Au and D. Nau. An analysis of derived belief strategy’s performance in the 2005 iterated prisoner’s dilemma competition. Tech. Rep. CSTR-4756/UMIACS-TR-2005-59, University of Maryland, College Park, 2005.

  • T.-C. Au, U. Kuter, and D. Nau. Web service composition with volatile information. In Proceedings of the International Semantic Web Conference (ISWC), 2005. [pdf].

  • E. Sirin, B. Parsia, D. Wu, J. Hendler, and D. Nau. HTN planning for web service composition using SHOP2. Journal of Web Semantics 1(4):377–396, Oct. 2004. [pdf].

  • U. Kuter, D. Nau, D. Gossink, and J. F. Lemmer. Interactive course-of-action planning using causal models. In Proceedings of the Third International Conference on Knowledge Systems for Coalition Operations (KSCO-2004), pp. 37–52, Oct. 2004, (postponed). [pdf].

  • D. S. Nau and M. Ghallab. Measuring the performance of automated planning systems. In Performance Metrics for Intelligent Systems Workshop (PerMIS ’04), Aug. 2004. [pdf].

  • T.-C. Au, D. Nau, and V. Subrahmanian. Utilizing volatile external information during planning. In Proceedings of the European Conference on Artificial Intelligence (ECAI), pp. 647–651, Aug. 2004. [pdf].

  • U. Kuter and D. Nau. Forward-chaining planning in nondeterministic domains. In Proceedings of the National Conference on Artificial Intelligence (AAAI), pp. 513–518, July 2004. [pdf].

  • F. Yaman, D. Nau, and V. Subrahmanian. A logic of motion. In Proceedings of the International Conference on Knowledge Representation and Reasoning (KR), pp. 85–94, June 2004. [pdf].

  • D. Nau, T.-C. Au, O. Ilghami, U. Kuter, H. Muņoz-Avila, J. W. Murdock, D. Wu, and F. Yaman. Applications of SHOP and SHOP2. Tech. Rep. CS-TR-4604, UMIACS-TR-2004-46, University of Maryland, June 2004, Revised December 2004. [pdf].

  • M. Ghallab, D. Nau, and P. Traverso. Automated Planning: Theory and Practice. Morgan Kaufmann, May 2004. [http://www.laas.fr/planning].

  • F. Yaman, S. Adali, D. Nau, M. L. Sapino, and V.S.Subrahmanian. Plan databases: model and algebra. In Third International Symposium on Foundations of Information and Knowledge Systems (FoIKS), pp. 302–320, Feb. 2004. [pdf].

  • U. Kuter, E. Sirin, D. Nau, B. Parsia, and J. Hendler. Information gathering during planning for web services composition. In ICAPS-04 Workshop on Planning and Scheduling for Web and Grid Services, 2004.

  • U. Kuter, E. Sirin, D. Nau, B. Parsia, and J. Hendler. Information gathering during planning for web service composition. In S. A. McIlraith, D. Plexousakis, and F. van Harmelen, editors, Proceedings of the International Semantic Web Conference (ISWC), volume 3298, pp. 335–349. Springer-Verlag, 2004. [pdf].

  • D. Nau, T.-C. Au, O. Ilghami, U. Kuter, J. W. Murdock, D. Wu, and F. Yaman. SHOP2: An HTN planning system. Journal of Artificial Intelligence Research 20:379–404, Dec. 2003. [html].

  • D. Wu, B. Parsia, E. Sirin, J. Hendler, and D. Nau. Automating DAML-S web services composition using SHOP2. In Proceedings of the International Semantic Web Conference (ISWC), Nov. 2003. [pdf].

  • O. Ilghami and D. S. Nau. A general approach to synthesize problem-specific planners. Tech. Rep. CS-TR-4597, UMIACS-TR-2004-40, University of Maryland, Oct. 2003. [pdf].

  • J. Dix, U. Kuter, and D. Nau. Planning in answer set programming using ordered task decomposition. In B. N. A.Günther, R. Kruse, editor, Proceedings of the 27th German Annual Conference on Artificial Intelligence (KI ’03), Hamburg, Germany, volume 2821 of Lecture Notes in Artificial Intelligence (LNAI), pp. 490–504. Springer, Sept. 2003. [pdf].

  • E. Giuchiglia, N. Muscettola, and D. Nau, editors. Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press, June 2003. [http://icaps03.itc.it/].

  • D. Wu, E. Sirin, J. Hendler, D. Nau, and B. Parsia. Automatic web services composition using SHOP2. In Twelfth International World Wide Web Conference (WWW2003), May 2003. [pdf].

  • Z. Yao, S. K. Gupta, and D. Nau. Algorithms for selecting cutters in multi-part milling problems. Computer-Aided Design 35(9):824–838, 2003. [pdf].

  • J. Dix, H. Muņoz-Avila, D. S. Nau, and L. Zhang. IMPACTing SHOP: Putting an AI planner into a multi-agent environment. Annals of Mathematics and Artificial Intelligence 37(4):381–407, 2003. [ps.zip].

  • J. Dix, H. Muņoz-Avila, D. Nau, and L. Zhang. Planning in a multi-agent environment: Theory and practice. In C. Castelfranchi and W. L. Johnson, editors, International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 944–945. New York: ACM Press, July 2002.

  • T.-C. Au, H. Muņoz-Avila, and D. S. Nau. On the complexity of plan adaptation by derivational analogy in a universal classical planning framework. In Proceedings of the European Conference on Case-Based Reasoning (ECCBR), pp. 13–27, Sept. 4-7 2002, Received the award for the best research paper. [pdf].

  • F. Yaman and D. S. Nau. Timeline: An HTN planner that can reason about time. In M. Fox and A. Coddington, editors, AIPS-2002 Workshop on Planning for Temporal Domains, 2002. [pdf].

  • D. Wu and D. Nau. UM-Translog-2: A planning domain designed for AIPS-2002. Tech. Rep. CS-TR-4402, UMIACS-TR-2002-82, University of Maryland, 2002. [pdf].

  • D. S. Nau. Adversarial search. In Encyclopedia of Cognitive Science. Nature Publishing Group., 2002, Preliminary version: pdf.

  • H. Muņoz-Avila, K. Gupta, D. W. Aha, and D. S. Nau. Knowledge-based project planning. In R. Dieng-Kuntz and N. Matta, editors, Workshop on Knowledge Management and Organizational Memories. Kluwer Academic Publishers, 2002, See [253] for an earlier version.

  • O. Ilghami, D. S. Nau, H. Muņoz-Avila, and D. W. Aha. CaMeL: Learning methods for HTN planning. In AIPS-2002, pp. 131–142, 2002. [pdf].

  • D. S. Nau, H. Muņoz-Avila, Y. Cao, A. Lotem, and S. Mitchell. Total-order planning with partially ordered subtasks. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), Aug. 2001. [pdf].

  • H. Muņoz-Avila, K. Gupta, D. W. Aha, and D. S. Nau. Knowledge-based project planning. In IJCAI Workshop on Knowledge Management and Organizational Memories, Aug. 2001. [pdf].

  • H. Muņoz-Avila, D. W. Aha, D. S. Nau, R. Weber, L. Breslow, and F. Yaman. SiN: Integrating case-based reasoning with task decomposition. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), Aug. 2001. [pdf].

  • Z. Yao, S. K. Gupta, and D. S. Nau. A geometric algorithm for selecting optimal set of cutters for multi-part milling. In ACM Symposium on Solid Modeling and Applications, June 2001. [pdf].

  • Z. Yao, S. K. Gupta, and D. S. Nau. A geometric algorithm for finding the largest milling cutter. Journal of Manufacturing Processes 3(1):1–16, 2001. [pdf].

  • T. Vossen, M. O. Ball, A. Lotem, and D. S. Nau. Applying integer programming to AI planning. Knowledge Engineering Review 16:85–100, 2001. [pdf].

  • D. S. Nau, J. Meyer, M. Ball, J. Baras, A. Chowdhury, E. Lin, R. Rajamani, and V. Trichur. Integrated product and process design of microwave modules using AI planning and integer programming. In Knowledge Intensive CAD, pp. 186–196. Kluwer Academic Publishers, 2001. [pdf].

  • D. S. Nau, Y. Cao, A. Lotem, and H. Muņoz-Avila. The SHOP planning system. AI Magazine, 2001. [pdf].

  • J. Dix, D. S. Nau, and U. Kuter. HTN-planning in answer set programming. Tech. Rep. CS-TR-4336, Dept. of Computer Science, University of Maryland, 2001.

  • M. Ciocoiu, M. Gruninger, and D. S. Nau. Ontologies for integrating engineering applications. Journal of Computing and Information Science in Engineering. 1(1):12–22, 2001. [pdf].

  • J. Dix, H. Muņoz-Avila, D. S. Nau, and L. Zhang. IMPACTing SHOP: Planning in a multi-agent environment. In F. Sadri and K. Satoh, editors, Proc. Second Workshop on Computational Logic and Multi-Agent Systems (CLIMA), pp. 30–42. Imperial College, July 2000.

  • Z. Yao, S. K. Gupta, and D. S. Nau. A geometric algorithm for finding the maximal cutter for 2-d milling operations. In International Conference on Flexible Automation and Intelligent Manufacturing, June 26-28 2000. [pdf].

  • D. S. Nau, Y. Cao, A. Lotem, and H. Muņoz-Avila. SHOP and M-SHOP: Planning with ordered task decomposition. Tech. Rep. CS TR 4157, University of Maryland, June 2000. [pdf].

  • H. M.-A. Jürgen Dix and D. Nau. Impacting SHOP: Foundations for integrating htn planning and multi-agency. Tech. Rep. CS-TR-4100, Computer Science Department, University of Maryland, Feb. 2000. [ps.zip].

  • Z. Yao, S. K. Gupta, and D. S. Nau. Finding the maximal cutter for 2-d milling operations. In Proc. DETC 2000: 2000 ASME Design Engineering Technical Conference, Sept. 10-13 2000. [pdf].

  • A. Lotem and D. S. Nau. New advances in GraphHTN: Identifying independent subproblems in large HTN domains. In Proceedings of the International Conference on AI Planning Systems (AIPS), pp. 206–215, Apr. 14-17 2000. [pdf].

  • M. Ciocoiu and D. S. Nau. Ontology-based semantics. In Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR-2000), pp. 539–546, Apr. 11-15 2000. [pdf].

  • S. J. J. Smith and D. S. Nau. Competing approaches to computer bridge: Which is better? In H. J. v. d. Herik and H. Iida, editors, Games in AI Research, pp. 159–166. Universiteit Maastricht, 2000.

  • D. S. Nau, J. Meyer, M. Ball, J. Baras, A. Chowdhury, E. Lin, R. Rajamani, and V. Trichur. Integrating AI planning and integer programming for use in integrated product and process design. In AAAI-2000 Workshop on Integration of AI and OR Techniques for Combinatorial Optimization. AAAI Press, 2000.

  • D. S. Nau, J. Meyer, M. Ball, J. Baras, A. Chowdhury, E. Lin, R. Rajamani, and V. Trichur. Integrated product and process design of microwave modules using AI planning and integer programming. In Fourth Workshop on Knowledge Intensive CAD (KIC-4), pp. 186–196. IFIP Working Group 5.2, 2000. [pdf].

  • D. S. Nau, J. W. Herrmann, and W. C. Regli. Design classification and hybrid variant-generative process planning. In 2000 NSF Design and Manufacturing Research Conference, 2000.

  • D. S. Nau, M. Ball, J. Baras, A. Chowdhury, E. Lin, J. Meyer, R. Rajamani, J. Splain, and V. Trichur. Generating and evaluating designs and plans for microwave modules. AI in Engineering Design and Manufacturing 14:289–304, 2000. [pdf].

  • D. S. Nau, D. W. Aha, and H. Muņoz-Avila. Ordered task decomposition. In AAAI-2000 Workshop on Representational Issues for Real-World Planning Systems. AAAI Press, 2000.

  • H. Muņoz-Avila, D. W. Aha, L. A. Breslow, D. S. Nau, and R. Weber. Integrating conversational case retrieval with generative planning. In EWCBR-2000. Springer-Verlag, 2000.

  • D. S. Nau, Y. Cao, A. Lotem, and H. Muņoz-Avila. SHOP: Simple hierarchical ordered planner. In T. Dean, editor, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pp. 968–973. Morgan Kaufmann, July 31–Aug. 6 1999. [pdf].

  • T. Vossen, M. O. Ball, A. Lotem, and D. S. Nau. On the use of integer programming models in AI planning. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pp. 304–309, 1999. [pdf].

  • D. S. Nau. AI game-playing techniques: Are they useful for anything other than games? AI Magazine 20(1):117–118, 1999. [pdf].

  • H. Muņoz-Avila, D. McFarlane, D. W. Aha, J. Ballas, L. Breslow, and D. S. Nau. Using guidelines to constrain interactive case-based HTN planning. In Proceedings of the International Conference on Case-Based Reasoning (ICCBR), pp. 288–302, 1999, Finalist for the best paper award. [pdf].

  • H. Muņoz-Avila, D. W. Aha, L. Breslow, and D. S. Nau. HICAP: an interactive case-based planning architecture and its application to noncombatant evacuation operations. In AAAI/IAAI Proceedings, pp. 870–875, 1999. [pdf].

  • A. Lotem, D. S. Nau, and J. Hendler. Using planning graphs for solving HTN problems. In AAAI/IAAI Proceedings, pp. 534–540, 1999. [pdf].

  • D. S. Nau and M. Sloan. Preface to “flexibility in manufacturing: A proposal for study”. In 1998 Artificial Intelligence and Manufacturing: State of the Art and State of Practice, Sept. 1998.

  • J. Meyer, M. O. Ball, J. Baras, A. Chowdhury, E. Lin, D. S. Nau, R. Rajamani, and V. Trichur. Process planning in microwave module production. In 1998 Artificial Intelligence and Manufacturing: State of the Art and State of Practice, Sept. 1998. [pdf].

  • T. Vossen, M. O. Ball, A. Lotem, and D. S. Nau. Integer programming models in AI planning: Preliminary experimental results. In AIPS’98 workshop on Planning as Combinatorial Search, June 1998. [pdf].

  • R. Tsuneto, J. Hendler, D. S. Nau, and L. d. Barros. Matching problem features with task selection for better performance in HTN planning. In AIPS Workshop on Knowledge Engineering and Acquisition for Planning, June 1998. [ps.gz].

  • R. Tsuneto, J. Hendler, and D. S. Nau. Analyzing external conditions to improve the efficiency of HTN planning. In AAAI/IAAI Proceedings, pp. 913–920, 1998. [ps.gz].

  • S. J. J. Smith, D. S. Nau, and T. Throop. Success in spades: Using AI planning techniques to win the world championship of computer bridge. In AAAI/IAAI Proceedings, pp. 1079–1086, 1998. [pdf].

  • S. J. J. Smith, D. S. Nau, and T. Throop. Computer bridge: A big win for AI planning. AI Magazine 19(2):93–105, 1998. [pdf].

  • D. S. Nau, S. J. J. Smith, and K. Erol. Control strategies in HTN planning: Theory versus practice. In AAAI/IAAI Proceedings, pp. 1127–1133, 1998. [pdf].

  • H. Muņoz-Avila, L. Breslow, D. W. Aha, and D. S. Nau. Description and functionality of NEODocTA. Tech. Rep. AIC-96-005, Naval Research Laboratory, Navy Center for Applied Research in Artificial Intelligence, 1998.

  • J. W. Herrmann, I. Minis, D. S. Nau, K. Hebbar, and S. J. J. Smith. Integrated design and process planning for microwave modules. In J. M. Usher, U. Roy, and H. R. Parsaei, editors, Integrated Produce and Process Development: Methods, Tools, and Technologies, pp. 377–406. John Wiley & Sons, Inc., 1998.

  • S. K. Gupta, D. S. Nau, and W. C. Regli. Imacs: A case study in real-world planning. IEEE Expert and Intelligent Systems 13(3):49–60, 1998. [pdf].

  • R. Tsuneto, D. S. Nau, and J. Hendler. Plan-refinement strategies and search-space size. In Proceedings of the European Conference on Planning (ECP), Sept. 1997. [pdf].

  • D. S. Nau, S. Smith, and T. Throop. The Bridge Baron: A big win for AI planning. In Proceedings of the European Conference on Planning (ECP), Sept. 1997.

  • A. Elinson, D. S. Nau, and W. C. Regli. Feature-based similarity assessment of solid models. In Proc. ACM Solid Modeling Conference, May 1997. [ps].

  • K. Hebbar, S. J. J. Smith, I. Minis, and D. S. Nau. EDAPS: Integrated design and planning for electro-mechanical assemblies. In NSF Design and Manufacturing Grantees Meeting, Jan. 1997.

  • A. Elinson, D. S. Nau, and W. C. Regli. Classification and retrieval of CAD models using feature graphs. In NSF Design and Manufacturing Grantees Meeting, Jan. 1997.

  • A. Elinson, J. W. Herrmann, D. S. Nau, and G. Singh. Toward hybrid variant/generative process planning. In Proceedings of DETC’97: 1997 ASME Design Engineering Technical Conferences, Sept. 14-17 1997. [pdf].

  • S. J. J. Smith, K. Hebbar, D. S. Nau, and I. Minis. Integrating electrical and mechanical design and process planning. In M. Mantyla, S. Finger, and T. Tomiyama, editors, Knowledge Intensive CAD, Volume 2, pp. 269–288. Chapman and Hall, 1997. [ps].

  • W. C. Regli, S. K. Gupta, and D. S. Nau. Toward multiprocessor feature recognition. Computer Aided Design 29(1):37–51, 1997.

  • D. S. Nau, J. W. Herrmann, and W. C. Regli. Virtual factories for electro-mechanical device manufacturing. In EDS, editor, Global Virtual Manufacturing ’97, 1997. [http://www.cs.umd.edu/users/nau/projects/global-vm-97/].

  • A. Mahanti, S. Ghosh, D. S. Nau, A. K. Pal, and L. N. Kanal. On the asymptotic performance of IDA*. Annals of Mathematics and Artificial Intelligence 20:161–193, 1997. [ps].

  • S. K. Gupta, D. Das, W. C. Regli, and D. S. Nau. Automated manufacturability analysis: A survey. Research in Engineering Design 9(3):168–190, 1997. [html].

  • D. S. Nau. Commitment strategies in hierarchical task network planning. In Dagstuhl Meeting on Control of Search in AI Planning, Nov. 1996.

  • V. S. Trichur, M. O. Ball, J. S. Baras, K. Hebbar, I. Minis, D. S. Nau, and S. J. Smith. Integrating tradeoff analysis and plan-based evaluation of designs for microwave modules. In Conference on Agile and Intelligent Manufacturing Systems, Oct. 1996.

  • S. J. J. Smith, K. Hebbar, D. S. Nau, and I. Minis. Integrating electrical and mechanical design and process planning. In Proc. Second IFIP Workshop on Knowledge Intensive CAD, Sept. 1996. [ps].

  • R. Tsuneto, K. Erol, J. Hendler, and D. S. Nau. Commitment strategies in hierarchical task network planning. In AAAI/IAAI Proceedings, Aug. 1996. [ps.gz].

  • S. J. J. Smith, D. S. Nau, and T. Throop. Total-order multi-agent task-network planning for contract bridge. In AAAI/IAAI Proceedings, Aug. 1996. [ps].

  • D. S. Nau, R. Tsuneto, K. Erol, and J. Hendler. Search-space minimization for efficient refinement planning. In AAAI Workshop on Structural Issues in Planning and Temporal Reasoning, Aug. 1996.

  • K. Hebbar, S. J. J. Smith, I. Minis, and D. S. Nau. Plan-based evaluation of designs for microwave modules. In Proc. ASME Design Technical Conference, Aug. 1996. [pdf].

  • E. Lin, I. Minis, D. S. Nau, and W. C. Regli. An assessment of virtual manufacturing technologies. In NSF Design and Manufacturing Grantees Meeting, Jan. 1996.

  • S. K. Gupta, W. C. Regli, and D. S. Nau. IMACS (interactive manfacturability analysis and critiquing system). In NSF Design and Manufacturing Grantees Meeting, Jan. 1996.

  • S. J. J. Smith, D. S. Nau, and T. Throop. A planning approach to declarer play in contract bridge. Computational Intelligence 12(1):106–130, 1996. [ps].

  • S. J. J. Smith, D. S. Nau, K. Hebbar, and I. Minis. Hierarchical task-network planning for process planning for manufacturing of microwave modules. In Proceedings of the Artificial Intelligence and Manufacturing Research Planning Workshop, pp. 189–194. AAAI Press, 1996.

  • S. Smith, D. S. Nau, and T. Throop. AI planning’s strong suit. IEEE Expert, 1996.

  • M. Mantyla, D. S. Nau, and J. Shah. Challenges in feature-based manufacturing research. CACM 39(2):77–85, 1996. [ps].

  • S. Kambhampati and D. S. Nau. On the nature and role of modal truth criteria in planning. Artificial Intelligence 82(2), 1996. [ps].

  • S. Ghosh, A. Mahanti, R. Nagi, and D. S. Nau. Manufacturing cell formation by state-space search. Annals of Operations Research 65:35–54, 1996.

  • K. Erol, J. Hendler, and D. S. Nau. Complexity results for hierarchical task-network planning. Annals of Mathematics and Artificial Intelligence 18:69–93, 1996. [pdf].

  • D. Das, S. K. Gupta, and D. S. Nau. Generating redesign suggestions to reduce setup cost: A step towards automated redesign. Computer Aided Design 28(10):763–782, 1996. [ps].

  • W. C. Regli, S. K. Gupta, and D. S. Nau. Interactive feature recognition using multi-processor methods. In Proceedings of the ASME Design Technical Conferences, Sept. 1995.

  • W. C. Regli, J. Hendler, and D. S. Nau. Automating redesign of electro-mechanical assemblies. In IJCAI Workshop on Intelligent Manufacturing Systems, pp. 289–309, Aug. 1995. [pdf].

  • E. Lin, I. Minis, D. S. Nau, and W. C. Regli. Contribution to virtual manufacturing background research. Tech. rep., University of Maryland, May 1995. [html].

  • G. Zhang, M. Woodruff, and D. S. Nau. Evaluation of computer generated process plans. In NSF Design and Manufacturing Grantees Meeting, Jan. 1995.

  • D. S. Nau, M. O. Ball, I. Minis, and G. Zhang. Virtual factories for electro-mechanical device manufacturing. In NSF Design and Manufacturing Grantees Meeting, Jan. 1995.

  • S. K. Gupta, D. S. Nau, and W. C. Regli. Systematically analyzing the manufacturability of machined parts. In NSF Design and Manufacturing Grantees Meeting, Jan. 1995.

  • V. S. Subrahmanian, D. S. Nau, and C. Vago. WFS + branch and bound = stable models. IEEE Trans. on Knowledge and Data Engineering 7(3):362–377, 1995.

  • W. C. Regli, S. K. Gupta, and D. S. Nau. Extracting alternative machining features: An algorithmic approach. Research in Engineering Design 7(3):173–192, 1995. [pdf].

  • W. C. Regli, S. K. Gupta, and D. S. Nau. An application of distributed solid modeling: Feature recognition. In ASME Design Technical Methods Conference, 1995. [ps].

  • D. S. Nau, W. C. Regli, and S. K. Gupta. AI planning versus manufacturing-operation planning: A case study. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 1995. [pdf].

  • D. S. Nau, S. K. Gupta, and W. C. Regli. Manufacturing-operation planning versus AI planning. In AAAI Spring Symposium on Integrated Planning Applications, 1995.

  • D. S. Nau. IMACS (interactive manfacturability analysis and critiquing system). Nasa Tech Briefs, 1995.

  • S. K. Gupta, W. C. Regli, and D. S. Nau. Manufacturing feature instances: Which ones to recognize? In ACM Solid Modeling Conference, 1995. [ps].

  • S. K. Gupta and D. S. Nau. A systematic approach for analyzing the manufacturability of machined parts. Computer Aided Design 27(5):323–342, 1995. [ps].

  • S. K. Gupta, D. Das, W. C. Regli, and D. S. Nau. Current trends and future challenges in automated manufacturability analysis. In Proc. ASME Computers in Engineering Conference, 1995.

  • M. Evett, J. Hendler, A. Mahanti, and D. S. Nau. PRA*: Massively parallel heuristic search. J. Parallel and Distributed Computing 25(2), 1995.

  • K. Erol, D. S. Nau, and V. S. Subrahmanian. Complexity, decidability and undecidability results for domain-independent planning. Artificial Intelligence 76(1–2):75–88, 1995. [pdf].

  • K. Erol, J. Hendler, D. S. Nau, and R. Tsuneto. A critical look at critics in HTN planning. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 1995. [pdf].

  • D. Das, S. K. Gupta, and D. S. Nau. Estimation of setup time for machined parts: Accounting for work-holding constraints. In Proc. ASME Computers in Engineering Conference, 1995. [ps].

  • W. C. Regli, S. K. Gupta, and D. S. Nau. Feature recognition for manufacturability analysis. In K. Ishii, editor, ASME Computers in Engineering Conference, pp. 93–104. ASME, Sept. 1994. [ps].

  • K. Erol, J. Hendler, and D. S. Nau. UMCP: A sound and complete procedure for hierarchical task-network planning. In Proceedings of the International Conference on AI Planning Systems (AIPS), pp. 249–254, June 1994. [pdf].

  • K. Erol, J. Hendler, and D. S. Nau. Semantics for hierarchical task-network planning. Tech. Rep. CS TR-3239, UMIACS TR-94-31, ISR-TR-95-9, University of Maryland, Mar. 1994. [pdf].

  • G. Zhang, D. S. Nau, W. Ko, and S. K. Gupta. Economic evaluation of alternative machining operation plans. In NSF Design and Manufacturing Grantees Meeting, Jan. 1994.

  • W. C. Regli and D. S. Nau. Recognition of volumetric features from CAD models: A new approach. In NSF Design and Manufacturing Grantees Meeting, Jan. 1994.

  • S. K. Gupta, D. S. Nau, and G. Zhang. Systematically generating and evaluating alternative operation plans. In NSF Design and Manufacturing Grantees Meeting, Jan. 1994.

  • S. J. J. Smith and D. S. Nau. An analysis of forward pruning. In Proceedings of the National Conference on Artificial Intelligence (AAAI), 1994. [ps].

  • K. Shim, T. Sellis, and D. S. Nau. Improvements on a heuristic algorithm for multiple-query optimization. Data and Knowledge Engineering 12(2):197–222, 1994.

  • J. Shah, M. Mantyla, and D. S. Nau. Introduction to feature based manufacturing. In Shah et al. [157], pp. 1–11.

  • J. Shah, M. Mantyla, and D. S. Nau, editors. Advances in Feature Based Manufacturing. Elsevier/North Holland, 1994.

  • D. S. Nau, M. O. Ball, S. K. Gupta, I. Minis, and G. Zhang. Design for manufacture by multi-enterprise partnerships: Current status and future directions. In ASME Winter Annual Meeting, 1994. [ps].

  • D. S. Nau, M. O. Ball, S. K. Gupta, I. Minis, and G. Zhang. Design for manufacture by multi-enterprise partnerships. In D. R. Rehak, K. H. Law, and J. H. Garrett, Jr., editors, Bridging the Generations: An International Workshop on the Future Directions of Computer-Aided Engineering, 1994.

  • S. Kambhampati and D. S. Nau. On the nature of modal truth criteria in planning. In Proceedings of the National Conference on Artificial Intelligence (AAAI), 1994. [6].

  • S. K. Gupta, W. C. Regli, and D. S. Nau. Integrating DFM with CAD through design critiquing. Concurrent Engineering: Research and Applications 2(2), 1994, Special issue on AI in concurrent engineering. [ps].

  • S. K. Gupta, D. S. Nau, W. C. Regli, and G. Zhang. A methodology for systematic generation and evaluation of alternative operation plans. In Shah et al. [157], pp. 161–184. [ps].

  • S. K. Gupta, T. R. Kramer, D. S. Nau, W. C. Regli, and G. Zhang. Building mrsev models for cam applications. Advances in Engineering Software 20(2/3):121–139, 1994. [ps].

  • S. Ghosh, A. Mahanti, and D. S. Nau. ITS: An efficient limited-memory heuristic tree search algorithm. In Proceedings of the National Conference on Artificial Intelligence (AAAI), 1994. [ps].

  • S. Ghosh, A. Mahanti, and D. S. Nau. Improving the efficiency of limited-memory heuristic search. Tech. Rep. CS-TR-3420, UMIACS-TR-95-23, ISR-TR 95-35, University of Maryland, 1994. [ps].

  • K. Erol, J. Hendler, and D. S. Nau. HTN planning: Complexity and expressivity. In Proceedings of the National Conference on Artificial Intelligence (AAAI), 1994. [pdf].

  • D. Das, S. K. Gupta, and D. S. Nau. Reducing setup cost by automated generation of redesign suggestions. In K. Ishii, editor, Proc. ASME Computers in Engineering Conference, pp. 159–170, 1994, Best-paper award winner. [ps].

  • W. C. Regli and D. S. Nau. Building a general approach to feature recognition of material removal shape element volumes (MRSEVs). In J. Rossignac and J. Turner, editors, Second Symposium on Solid Modeling Foundations and CAD/CAM Applications. ACM SIGGRAPH, May 1993.

  • S. K. Gupta and D. S. Nau. Generation of alternative feature-based models and precedence orderings for machining applications. In J. Rossignac and J. Turner, editors, Second Symposium on Solid Modeling Foundations and CAD/CAM Applications. ACM SIGGRAPH, May 1993.

  • D. S. Nau. On the complexity of possible truth. In AAAI Spring Symposium, Apr. 1993. [pdf].

  • D. S. Nau. Enabling-condition interactions and finding good plans. In AAAI Spring Symposium, Apr. 1993. [pdf].

  • K. Erol, D. S. Nau, and V. S. Subrahmanian. A theoretical study of domain-independent planning. In AAAI Spring Symposium, Apr. 1993. [pdf].

  • K. Erol, D. S. Nau, and J. Hendler. Toward a general framework for hierarchical task-network planning. In AAAI Spring Symposium, Apr. 1993.

  • D. S. Nau, J. Hendler, and Q. Yang. Merging plans efficiently. In NSF Design and Manufacturing Systems Grantees Conference, Jan. 1993.

  • S. K. Gupta, D. S. Nau, and G. Zhang. Generation of machining alternatives for machinability evaluation. In NSF Design and Manufacturing Systems Grantees Conference, Jan. 1993.

  • S. K. Gupta, D. S. Nau, and G. Zhang. Concurrent evaluation of machinability during product design. In IEEE Computer, volume 26, pp. 62–63, Jan. 1993.

  • S. J. J. Smith and D. S. Nau. Toward an analysis of forward pruning. In Games: Planning and Learning, Papers from the 1993 Fall Symposium. AAAI Press, 1993.

  • S. J. J. Smith and D. S. Nau. Strategic planning for imperfect-information games. In Games: Planning and Learning, Papers from the 1993 Fall Symposium. AAAI Press, 1993. [ps].

  • W. C. Regli and D. S. Nau. Recognition of volumetric features from CAD models: Problem formalization and algorithms. Tech. Rep. ISR TR 93-41, University of Maryland, 1993. [ps].

  • D. S. Nau, G. Zhang, S. K. Gupta, and R. Karinthi. Evaluating product machinability for concurrent engineeering. In W. G. Sullivan and H. R. Parsaei, editors, Concurrent Engineering: Contemporary Issues and Modern Design Tools, pp. 264–279. Chapman and Hall, 1993.

  • D. S. Nau, S. K. Gupta, T. R. Kramer, W. C. Regli, and G. Zhang. Using MRSEVs to develop machining alternatives. In AAAI/SIGMAN Workshop on Intelligent Manufacturing, 1993.

  • D. S. Nau, S. K. Gupta, T. R. Kramer, W. C. Regli, and G. Zhang. Development of machining alternatives, based on MRSEVs. In ASME Computers in Engineering Conference, 1993.

  • D. S. Nau. State-space search, problem reduction, and iterative deepening: A comparative analysis. Tech. Rep. ISR TR 93-38, CS-TR-3053, UMIACS-TR-93-30, University of Maryland, 1993.

  • D. S. Nau. On the nature of modal truth in plans. Tech. Rep. CS-TR-3031, UMIACS-TR-93-11, ISR TR 93-14, Institute for Systems Research, University of Maryland, 1993.

  • S. Kambhampati and D. S. Nau. On the nature and role of the modal truth criteria in planning. Tech. Rep. ISR-TR-93-30, ISR, Univ. of Maryland, 1993.

  • S. K. Gupta, D. S. Nau, and G. Zhang. Interpreting product designs for manufacturability evaluation. In ASME Winter Annual Meeting, 1993.

  • S. K. Gupta, D. S. Nau, and G. Zhang. Estimation of achievable tolerances. Tech. Rep. TR-93-44, Institute for Systems Research, University of Maryland, 1993.

  • D. S. Nau, G. Zhang, and S. K. Gupta. Generation and evaluation of alternative operation sequences. In A. R. Thangaraj, A. Bagchi, M. Ajanappa, and D. K. Anand, editors, Quality Assurance through Integration of Manufacturing Processes and Systems, ASME Winter Annual Meeting, volume PED-Vol. 56, pp. 93–108, Nov. 1992.

  • S. K. Gupta, D. S. Nau, G. Zhang, and T. R. Kramer. Feature algebra using PDES/STEP. In Second Workshop on Process Planning Concepts, Representations and Architectures, Aug. 1992.

  • A. Mahanti, D. S. Nau, S. Ghosh, A. K. Pal, and L. N. Kanal. Performance of IDA* on trees and graphs. In Proceedings of the National Conference on Artificial Intelligence (AAAI), pp. 539–544, July 1992. [ps].

  • K. Erol, D. S. Nau, and V. S. Subrahmanian. On the complexity of domain-independent planning. In Proceedings of the National Conference on Artificial Intelligence (AAAI), pp. 381–386, July 1992.

  • S. J. J. Smith, D. S. Nau, and T. Throop. A hierarchical approach to strategic planning with non-cooperating agents under conditions of uncertainty. In Proceedings of the International Conference on AI Planning Systems (AIPS), pp. 299–300, June 1992.

  • K. Erol, D. S. Nau, and V. S. Subrahmanian. When is planning decidable? In Proceedings of the International Conference on AI Planning Systems (AIPS), pp. 222–227, June 1992.

  • S. Blanksteen, J. Hendler, and D. S. Nau. The verification and validation of expert systems. In Total Quality Management: Metrics of Success III. Westinghouse Electronic Systems Group, Aug. 7 1992.

  • Q. Yang, D. S. Nau, and J. Hendler. Merging separately generated plans with restricted interactions. Computational Intelligence 8(2):648–676, 1992. [ps].

  • R. Karinthi, D. S. Nau, and Q. Yang. Handling feature interactions in process planning. Applied Artificial Intelligence 6(4):389–415, 1992, Special issue on AI for manufacturing.

  • R. Karinthi and D. S. Nau. Geometric reasoning using a feature algebra. In Famili et al. [113], pp. 41–59.

  • R. Karinthi and D. S. Nau. An algebraic approach to feature interactions. IEEE Trans. Pattern Analysis and Machine Intelligence 14(4):469–484, 1992.

  • S. K. Gupta and D. S. Nau. Generation of alternative feature-based models and precedence orderings for machining applications. Tech. Rep. TR 92-111, Institute for Systems Research, University of Maryland, 1992.

  • N. Gupta and D. S. Nau. On the complexity of blocks-world planning. Artificial Intelligence 56(2-3):223–254, 1992. [ps].

  • F. Famili, D. S. Nau, and S. Kim, editors. Artificial Intelligence Applications in Manufacturing. AAAI Press/MIT Press, 1992.

  • D. P. Eshner, J. Hendler, and D. S. Nau. Incremental planning using conceptual graphs. Journal of Experimental and Theoretical AI 4:85–94, 1992.

  • P.-C. Chi and D. S. Nau. In search of practical alternatives to minimax. In APORS ’91 (Second Conference of the Association of Asian-Pacific Operational Research Societies), Aug. 1991.

  • N. Gupta and D. S. Nau. Complexity results for blocks-world planning. In Proceedings of the National Conference on Artificial Intelligence (AAAI), pp. 629–633, July 1991, Honorable mention for the best paper award. [ps].

  • A. Mahanti, A. K. Pal, S. Ghosh, L. Kanal, and D. S. Nau. Performance of A* and IDA*—a worst-case analysis. In 1991 ACM/IEEE Symposium on Applied Computing, Apr. 1991.

  • D. S. Nau and R. Karinthi. Geometric reasoning for design and process planning. In Proceedings of the 17th Annual NSF Conference on Design and Manufacturing Systems Research, Jan. 1991.

  • Q. Yang, D. S. Nau, and J. Hendler. Merging separately generated plans with restricted interactions. Tech. Rep. CS-TR-2677, UMIACS-TR-91-73, University of Maryland, 1991.

  • D. P. Eshner, J. Hendler, and D. S. Nau. Incremental planning using conceptual graphs. In Proc. Fifth Workshop on Conceptual Graphs, 1991.

  • K. Erol, D. S. Nau, and V. S. Subrahmanian. Complexity, decidability and undecidability results for domain-independent planning: A detailed analysis. Tech. Rep. CS-TR-2797, UMIACS-TR-91-154, SRC-TR-91-96, Computer Science Department and Institute for Systems Research, University of Maryland, 1991. [ps].

  • M. Ajanappa, J. A. Kirk, D. K. Anand, and D. S. Nau. Automated rapid prototyping with heuristics and intelligence: Part I—configuration. International journal of Computer Integrated Manufacturing 4(4):219–231, 1991.

  • R. Karinthi and D. S. Nau. Using a feature algebra in concurrent engineering design and manufacturing. In The Fifth International Conference on CAD/CAM, Robotics and Factories of the Future, Dec. 1990.

  • M. Evett, J. Hendler, A. Mahanti, and D. S. Nau. PRA*: A memory-limited heuristic search procedure for the connection machine. In Proc. Frontiers of Massively Parallel Computation, Oct. 1990.

  • D. S. Nau and R. Karinthi. Handling feature interactions in concurrent design and manufacturing. In Proc. Manufacturing International 1990, Aug. 1990.

  • R. Karinthi and D. S. Nau. An approach to addressing geometric feature interactions in concurrent design. In ASME 1990 Computers in Engineering Conference, Aug. 1990.

  • R. Karinthi and D. S. Nau. Using feature interactions in process planning. In Proceedings of the SIGMAN Workshop on Manufacturing Planning and Control, July 1990.

  • D. S. Nau and R. Karinthi. An approach to addressing geometric feature interactions in concurrent design. In Fourth Eurographics Workshop on Intelligent CAD Systems, Apr. 1990.

  • Q. Yang, D. S. Nau, and J. Hendler. Optimization of multiple-goal plans with limited interaction. In Proc. DARPA Workshop on Innovative Approaches to Planning, Scheduling and Control, 1990.

  • D. S. Nau, editor. Proceedings of the Second SIGMAN Workshop on Manufacturing Planning. Boston, MA, 1990.

  • R. Karinthi and D. S. Nau. Handling feature interactions using a feature algebra. In SIGMAN Workshop on Concurrent Engineering Design, 1990.

  • Q. Yang and D. S. Nau. Preprocessing search spaces for branch-and-bound search. In IJCAI-89, Aug. 1989.

  • Q. Yang and D. S. Nau. Optimization of multiple goal plans in automated manufacturing. In Proceedings of the First SIGMAN Workshop on Manufacturing Planning, Aug. 1989.

  • R. Karinthi and D. S. Nau. Using a feature algebra for reasoning about geometric feature interactions. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), Aug. 1989.

  • R. Karinthi and D. S. Nau. Geometric reasoning as a guide to process planning. In ASME Computers in Engineering Conference, Aug. 1989.

  • R. Karinthi and D. S. Nau. Algebraic feature translation and applications to concurrent design. In Workshop on Concurrent Engineering Design, Aug. 1989.

  • P.-C. Chi and D. S. Nau. Genetic algorithm and success rate optimization. In Beijing International Symposium for Young Computer Professionals, Aug. 1989.

  • Q. Yang, D. S. Nau, and J. Hendler. Exploiting limited interactions in plan optimization. Tech. Rep. CS-TR-2411, SRC-TR-90-7, Computer Science Dept., University of Maryland, 1989.

  • Q. Yang, D. S. Nau, and J. Hendler. An approach to multiple-goal planning with limited interactions. In AAAI Spring Symposium, 1989.

  • G. Vanecek, Jr. and D. S. Nau. Obtaining boundaries with respect: A simple approach to performing set operations on polyhedra. Tech. Rep. CS-TR-2057, UMIACS-TR-88-48, University of Maryland, 1989.

  • M. Ssemakula, D. S. Nau, R. Rangachar, and Q. Yang. An AI approach to process sequencing. Advances in Manufacturing Engineering 1:271–276, 1989.

  • D. S. Nau, Q. Yang, and J. Hendler. Planning for multiple goals with limited interactions. In Fifth IEEE Conference on Artificial Intelligence Applications, 1989.

  • D. S. Nau, editor. Proceedings of the First SIGMAN Workshop on Manufacturing Planning. Detroit, Michigan, 1989.

  • R. Karinthi and D. S. Nau. Using algebraic properties and boolean operations to compute feature interactions. In AAAI Spring Symposium, 1989.

  • D. S. Nau, R. Karinthi, G. Vanecek, Jr., and Q. Yang. Integrating AI and solid modeling for design and process planning. In Second IFIP Working Group 5.2 Workshop on Intelligent CAD. University of Cambridge, Sept. 1988.

  • D. S. Nau, N. Ide, R. Karinthi, G. Vanecek, Jr., and Q. Yang. Solid modeling and geometric reasoning for design and process planning. In Third Internat. Conf. CAD/CAM, Robotics, and Factories of the Future, Aug. 1988.

  • D. Anand, J. Kirk, D. S. Nau, M. Ajanappa, and E. McGrab. Protocol for flexible manufacturing automation with heuristics and intelligence. In Manufacturing International, Apr. 1988. [pdf].

  • P.-C. Chi and D. S. Nau. Improving game board evaluators with genetic algorithms. In 1988 Spring Symposium on Computer Game Playing, Mar. 1988.

  • G. Vanecek, Jr. and D. S. Nau. A general method for performing set operations on polyhedra. Tech. Rep. CS TR-1762, SRC TR 87-8, University of Maryland, 1988.

  • M. E. Ssemakula, D. S. Nau, R. M. Rangachar, and Q. Yang. Optimal process sequencing in CAPP systems. In AUTOFACT ’88, pp. 22–25–22–27. Society of Manufacturing Engineers, MS88-728, 1988.

  • V. Kumar, D. S. Nau, and L. Kanal. A general branch-and-bound formulation for and/or graph and game tree search. In L. Kanal and V. Kumar, editors, Search in Artificial Intelligence, pp. 91–130. Springer-Verlag, 1988.

  • P.-C. Chi and D. S. Nau. Comparison of the minimax and product back-up rules in a variety of games. In L. N. Kanal and V. Kumar, editors, Search in Artificial Intelligence, pp. 450–471. Springer-Verlag, 1988. [pdf].

  • G. Vanecek, Jr. and D. S. Nau. Non-regular decomposition: An efficient approach for solving the polygon intersection problem. In Symposium on Integrated and Intelligent Manufacturing at ASME Winter Annual Meeting, pp. 271–280, 1987.

  • G. Vanecek, Jr. and D. S. Nau. Computing geometric boolean operations by input directed decomposition. Tech. Rep. CS TR-1762, SRC TR 87-8, University of Maryland, 1987.

  • D. S. Nau and S. Sinha. Integrating feature extraction and process selection. Tech. Rep. 50-483, General Motors Research Labs, 1987.

  • D. S. Nau and M. Luce. Knowledge representation and reasoning techniques for process planning: Extending SIPS to do tool selection. In 19th CIRP International Seminar on Manufacturing Systems, 1987. [pdf].

  • D. S. Nau and M. Gray. Hierarchical knowledge clustering: A way to represent and use problem-solving knowledge. In J. Hendler, editor, Expert Systems: The User Interface, pp. 81–98. Ablex, 1987.

  • D. S. Nau. Automated process planning using hierarchical abstraction. TI Technical Journal pp. 39–46, 1987, Award winner, Texas Instruments 1987 Call for Papers on AI for Industrial Automation.

  • P.-C. Chi and D. S. Nau. Comparing minimax and product in a variety of games. In Proceedings of the National Conference on Artificial Intelligence (AAAI), 1987.

  • D. S. Nau and M. Gray. SIPS: An application of hierarchical knowledge clustering to process planning. In Symposium on Integrated and Intelligent Manufacturing at ASME Winter Annual Meeting, pp. 219–225, Dec. 1986.

  • D. S. Nau and J. A. Reggia. Relationships between abductive and deductive inference in knowledge-based diagnostic problem solving. In L. Kerschberg, editor, Expert Database Systems, pp. 549–558. Benjamin/Cummings Publishing Co., 1986.

  • D. S. Nau, P. W. Purdom, Jr., and C. H. Tzeng. Experiments on alternatives to minimax. International Journal of Parallel Programming 15(2):163–183, 1986. [pdf].

  • D. S. Nau, P. W. Purdom, Jr., and C. H. Tzeng. An evaluation of two alternatives to minimax. In L. N. Kanal and J. F. Lemmer, editors, Uncertainty in Artificial Intelligence, pp. 505–509. Elsevier Science Publishers, 1986.

  • D. S. Nau and T.-C. Chang. Hierarchical representation of problem-solving knowledge in a frame-based process planning system. Jour. Intelligent Systems 1(1):29–44, 1986.

  • D. S. Nau. Knowledge based expert systems. In J. Zeidner, editor, Human Productivity Enhancement, Vol. 2: Organizations, Personnel, and Decision Making, pp. 236–296. Praeger Publishers, 1986.

  • P.-C. Chi and D. S. Nau. Predicting the performance of minimax and product in game tree searching. In Second Workshop on Uncertainty and Probability in Artificial Intelligence, 1986. [pdf].

  • D. S. Nau and T.-C. Chang. A knowledge-based approach to generative process planning. In Production Engineering Conference at ASME Winter Annual Meeting, pp. 65–71, Nov. 1985.

  • D. S. Nau and T.-C. Chang. A control strategy for generative process planning. In Artell ’85: International Symposium and Exposition on Industrial Artificial Intelligence Systems, Research, Applications, and Software Development, Nov. 1985.

  • V. Kumar, D. S. Nau, and L. N. Kanal. A generalization of the AO* algorithm. In Proc. COMPSAC-85, Oct. 1985.

  • D. S. Nau and T.-C. Chang. Forward chaining, hierarchical problem solving, and generative process planning in Prolog. In Intelligent Systems: Their Development and Application, June 1985.

  • J. A. Reggia, D. S. Nau, and P. Y. Wang. A formal model of diagnostic inference. II. algorithmic solution and applications. Information Sciences 37:257–285, 1985.

  • J. A. Reggia, D. S. Nau, and P. Y. Wang. A formal model of diagnostic inference. I. problem formulation and decomposition. Information Sciences 37:227–256, 1985.

  • J. A. Reggia, D. S. Nau, and P. Y. Wang. Diagnostic expert systems based on a set covering model. In J. A. Reggia and S. Tuhrim, editors, Computer-Assisted Medical Decision Making, pp. 159–185. Springer-Verlag, 1985.

  • J. A. Reggia, D. S. Nau, Y. Peng, and B. Perricone. A theoretical foundation for abductive expert systems. In M. Gupta, A. Kandel, W. Bandler, and J. Kiszka, editors, Approximate Reasoning in Expert Systems, pp. 459–472. North-Holland, 1985.

  • D. S. Nau, P. W. Purdom, Jr., and C. H. Tzeng. An evaluation of two alternatives to minimax. In First Workshop on Uncertainty and Probability in Artificial Intelligence, 1985.

  • D. S. Nau and T.-C. Chang. Prospects for process selection using artificial intelligence. In Computer-Aided Process Planning. Society of Manufacturing Engineers, 1985.

  • D. S. Nau. SIPP reference manual. Tech. Rep. TR-1515, Computer Science Department, University of Maryland, 1985.

  • D. S. Nau. Pathological game trees: How to do worse by working harder. In Conference on Applied Algorithm Design, July 1984.

  • D. S. Nau, J. A. Reggia, M. W. Blanks, Y. Peng, and D. Sutton. Artificial intelligence approaches for automated process planning and control. Tech. Rep. TR-1382, Computer Science Dept., University of Maryland, Feb. 1984.

  • J. A. Reggia, D. S. Nau, and P. Y. Wang. Diagnostic expert systems based on a set covering model. In M. J. Coombs, editor, Developments in Expert Systems, pp. 35–58, 1984.

  • D. S. Nau, V. Kumar, and L. N. Kanal. General branch and bound, and its relation to A* and AO*. Artificial Intelligence 23(1):29–58, 1984.

  • J. A. Reggia, D. S. Nau, and P. Y. Wang. A theory of abductive inference in diagnostic expert systems. Tech. Rep. TR-1338, Computer Sci. Dept., Univ. of Maryland, Dec. 1983.

  • D. S. Nau. How to do worse by working harder: The nature of pathology on game trees. In Proc. 1983 IEEE International Conference on Systems, Man, and Cybernetics, Dec. 1983.

  • D. S. Nau. Issues in spatial reasoning and representation for automated process planning. In Proc. Workshop on Spatial Knowledge Representation and Processing, May 1983.

  • D. S. Nau and T.-C. Chang. Prospects for process selection using artificial intelligence. Computers in Industry 4:253–263, 1983.

  • D. S. Nau. Pathology on game trees revisited, and an alternative to minimaxing. Artificial Intelligence 21(1, 2):221–244, 1983, Reprinted in J. Pearl (ed.), Search and Heuristics, North-Holland Publishing Company, Amsterdam, 1983. [pdf].

  • D. S. Nau. On game graph structure and its influence on pathology. International Journal of Computer and Information Sciences 12(6):367–383, 1983. [pdf].

  • D. S. Nau. Decision quality as a function of search depth on game trees. Journal of the ACM 30(4):687–708, 1983. [pdf].

  • D. S. Nau. De: An augmented text editor. Tech. Rep. TR-1269, Computer Sci. Dept., Univ. of Maryland, 1983.

  • D. S. Nau, V. Kumar, and L. N. Kanal. A general paradigm for a.i. search procedures. In Proceedings of the National Conference on Artificial Intelligence (AAAI), 1982. [pdf].

  • D. S. Nau. The last player theorem. Artificial Intelligence 18:53–65, 1982. [pdf].

  • D. S. Nau. An investigation of the causes of pathology in games. Artificial Intelligence 19:257–278, 1982. [pdf].

  • D. S. Nau. Expert computer systems, and their application to automated manufacturing. Tech. Rep. NBSIR 81-2466, National Bureau of Standards, 1982.

  • D. S. Nau. Expert computer systems: A tutorial. Tech. Rep. TR-1201, Computer Sci. Dept., Univ. of Maryland, 1982.

  • D. S. Nau. A brief survey of expert system techniques. Tech. Rep. TR-1161, Computer Sci. Dept., Univ. of Maryland, 1982.

  • D. S. Nau. Pearl’s game is pathological. Tech. Rep. TR-999, Computer Sci. Dept., Univ. of Maryland, Jan. 1981.

  • D. S. Nau. Pathology on game trees: A summary of results. In Proceedings of the National Conference on Artificial Intelligence (AAAI), pp. 102–104, 1980. [pdf].

  • D. S. Nau. Preliminary results regarding quality of play versus depth of search in game playing. In Proc. First Internat. Symposium on Policy Analysis and Information Systems, pp. 210–217, June 1979. [pdf].

  • D. S. Nau. Quality of Decision Versus Depth of Search on Game Trees. Ph.D. dissertation, Duke University, 1979.

Web Accessibility