[316]    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), 2008, To appear.

[315]    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), 2008, to appear.

[314]    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), 2008, To appear.

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

[312]    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), 2008. [pdf].

[311]    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].

[310]    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].

[309]    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].

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

[307]    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].

[306]    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].

[305]    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.

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

[303]    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].

[302]    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].

[301]    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].

[300]    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].

[299]    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].

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

[297]    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].

[296]    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].

[295]    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].

[294]    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].

[293]    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].

[292]    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].

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

[290]    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].

[289]    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].

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

[287]    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].

[286]    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].

[285]    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].

[284]    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.

[283]    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].

[282]    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.

[281]    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].

[280]    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].

[279]    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].

[278]    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].

[277]    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].

[276]    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].

[275]    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].

[274]    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].

[273]    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].

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

[271]    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].

[270]    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.

[269]    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].

[268]    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].

[267]    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].

[266]    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].

[265]    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].

[264]    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/].

[263]    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].

[262]    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].

[261]    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].

[260]    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.

[259]    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].

[258]    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].

[257]    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].

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

[255]    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 [252] for an earlier version.

[254]    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].

[253]    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].

[252]    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].

[251]    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].

[250]    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].

[249]     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].

[248]    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].

[247]    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].

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

[245]    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.

[244]    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].

[243]    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.

[242]     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].

[241]    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].

[240]    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].

[239]    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].

[238]    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].

[237]    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].

[236]    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.

[235]    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.

[234]    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].

[233]    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.

[232]    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].

[231]    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.

[230]    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.

[229]    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].

[228]     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].

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

[226]    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].

[225]    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].

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

[223]    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.

[222]    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].

[221]    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].

[220]    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].

[219]    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].

[218]    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].

[217]    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].

[216]    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].

[215]    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.

[214]    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.

[213]    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].

[212]    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].

[211]    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.

[210]    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].

[209]    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.

[208]    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.

[207]    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].

[206]    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].

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

[204]    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/].

[203]    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].

[202]    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].

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

[200]    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.

[199]    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].

[198]     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].

[197]    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].

[196]    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.

[195]    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].

[194]    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.

[193]    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.

[192]    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].

[191]    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.

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

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

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

[187]    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.

[186]    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. [ps].

[185]    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].

[184]    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.

[183]    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].

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

[181]    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.

[180]    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.

[179]    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.

[178]    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].

[177]    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].

[176]    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. [ps].

[175]    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.

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

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

[172]    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].

[171]    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.

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

[169]    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].

[168]    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. [ps].

[167]    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].

[166]    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].

[165]    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. [ps].

[164]    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. [ps].

[163]    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.

[162]    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.

[161]    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.

[160]    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].

[159]    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.

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

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

[156]    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].

[155]    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.

[154]    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. [ps].

[153]    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].

[152]    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].

[151]    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].

[150]    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].

[149]    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].

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

[147]    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].

[146]    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.

[145]    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.

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

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

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

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

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

[139]    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.

[138]    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.

[137]    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.

[136]    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].

[135]    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].

[134]    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.

[133]    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.

[132]    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.

[131]    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.

[130]    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.

[129]    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.

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

[127]    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.

[126]    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.

[125]    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.

[124]    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].

[123]    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.

[122]    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.

[121]    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.

[120]    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.

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

[118]    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.

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

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

[115]    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.

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

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

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

[111]    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.

[110]    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].

[109]    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.

[108]    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.

[107]    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.

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

[105]    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].

[104]    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.

[103]    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.

[102]    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.

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

[100]    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.

[99]    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.

[98]    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.

[97]    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.

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

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

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

[93]    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.

[92]    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.

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

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

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

[88]    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.

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

[86]    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.

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

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

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

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

[81]    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.

[80]    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.

[79]    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.

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

[77]    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.

[76]    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.

[75]    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.

[74]    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].

[73]    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.

[72]    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.

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

[70]    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.

[69]    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.

[68]