Henry A. Kautz (kautz)

Contributi a Philosophie.ch

Bibliography

Allen, James F. and Kautz, Henry A. 1987. “Logicism Is Alive and Well.” Computational Intelligence 3(3): 161–162.
Allen, James F. and Kautz, Henry A. 1988. “A Model of Naive Temporal Reasoning.” in Formal Theories of the Commonsense World, edited by Jerry R. Hobbs and Robert C. Moore, pp. 251–268. Norwood, New Jersey: Ablex Publishing Co.
Allen, James F., Kautz, Henry A., Pelavin, Richard N. and Tennenberg, Joshua, eds. 1991. Reasoning about Plans. San Francisco, California: Morgan Kaufmann Publishers.
Etherington, David W., Borgida, Alex, Brachman, Ronald J. and Kautz, Henry A. 1989. “Vivid Knowledge Bases and Tractable Reasoning: Preliminary Report.” in IJCAI-89. Proceedings of the 11th International Joint Conference on Artificial Intelligence, edited by N. S. Sridharan, pp. 1146–1158. San Francisco, California: Morgan Kaufmann Publishers.
Gogic, Goran, Kautz, Henry A., Papadimitriou, Christos H. and Selman, Bart. 1995. “The Comparative Linguistics of Knowledge Representation.” in IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence, edited by Christopher S. Mellish and C. Raymond Perrault, pp. 862–869. San Francisco, California: Morgan Kaufmann Publishers.
Kautz, Henry A. 1985. “Toward a Theory of Plan Recognition.” 162. Rochester, New York: Computer Science Department, University of Rochester.
Kautz, Henry A. 1986. “The Logic of Persistence.” in AAAI-86. Proceedings of the Fifth National Conference on Artificial Intelligence, edited by Tom Kehler and Stanley J. Rosenschein, pp. 401–405. Menlo Park, California: The AAAI Press.
Kautz, Henry A. 1987. “A Formal Theory of Plan Recognition.” 215. Rochester, New York: Department of Computer Science, University of Rochester.
Kautz, Henry A. 1990. “A Circumscriptive Theory of Plan Recognition.” in Intentions in Communication, edited by Philip R. Cohen, Jerry L. Morgan, and Martha E. Pollack, pp. 105–133. Cambridge, Massachusetts: The MIT Press.
Kautz, Henry A. and Allen, James F. 1986. “Generalized Plan Recognition.” in AAAI-86. Proceedings of the Fifth National Conference on Artificial Intelligence, edited by Tom Kehler and Stanley J. Rosenschein. Menlo Park, California: The AAAI Press.
Kautz, Henry A., Kearns, Michael J. and Selman, Bart. 1995. “Horn Approximations of Empirical Data.” Artificial Intelligence 74(1): 129–145.
Kautz, Henry A., McAllester, David Allen and Selman, Bart. 1996. “Encoding Plans in Propositional Logic.” in KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, pp. 374–384. San Francisco, California: Morgan Kaufmann Publishers.
Kautz, Henry A. and Porter, Bruce W., eds. 2000. AAAI-00. Proceedings of the Seventeenth National Conference on Artificial Intelligence. Menlo Park, California: The AAAI Press.
Kautz, Henry A. and Selman, Bart. 1989. “Hard Problems for Simple Default Logics.” in KR’89: Principles of Knowledge Representation and Reasoning, edited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter, pp. 189–197. San Francisco, California: Morgan Kaufmann Publishers. Published as Kautz and Selman (1991).
Kautz, Henry A. and Selman, Bart. 1991. “Hard Problems for Simple Default Logics.” Artificial Intelligence 49(3): 243–279.
Kautz, Henry A. and Selman, Bart. 1992. “Planning as Satisfiability.” in ECAI-92. Proceedings of the Tenth European Conference on Artificial Intelligence, edited by B. Neumann, pp. 359–379. Hoboken, New Jersey: John Wiley; Sons, Inc.
Kautz, Henry A. and Selman, Bart. 1996. “Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search.” in AAAI-96. Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Ninth Innovative Applications of Artificial Intelligence Conference, edited by William J. Clancey and Daniel S. Weld, pp. 1194–1201. Menlo Park, California: The AAAI Press.
Kautz, Henry A. and Selman, Bart. 1999. “Unifying SAT-Based and Graph-Based Planning.” in IJCAI-99. Proceedings of the 16th International Joint Conference on Artificial Intelligence, edited by Thomas L. Dean, pp. 318–325. San Francisco, California: Morgan Kaufmann Publishers.
Kautz, Henry A. and Selman, Bart. 2000. “Encoding Domain Knowledge for Propositional Planning.” in Logic-Based Artificial Intelligence, edited by Jack Minker, pp. 169–186. Dordrecht: Kluwer Academic Publishers.
Kautz, Henry A., Selman, Bart and Milewski, Al. 1996. “Agent Amplified Communication.” in AAAI-96. Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Ninth Innovative Applications of Artificial Intelligence Conference, edited by William J. Clancey and Daniel S. Weld, pp. 1–9. Menlo Park, California: The AAAI Press.
Selman, Bart and Kautz, Henry A. 1989. “The Complexity of Model-Preference Default Theories.” in Non-Monotonic Reasoning: 2nd International Workshop, Grassau, June, 1988, edited by Michael Reinfrank, Johan de Kleer, and Matthew L. Ginsberg. Lecture Notes in Artificial Intelligence n. 346. Berlin: Springer.
Selman, Bart and Kautz, Henry A. 1990. “Model-Preference Default Theories.” Artificial Intelligence 45(3): 287–322.
Selman, Bart and Kautz, Henry A. 1991. “Knowledge Compilation Using Horn Clause Approximations.” in AAAI-91. Proceedings of the Ninth National Conference on Artificial Intelligence, edited by Thomas L. Dean and Kathleen R. McKeown, pp. 904–909. Menlo Park, California: The AAAI Press.
Vilain, Marc and Kautz, Henry A. 1986. “Constraint Propagation Algorithms for Temporal Reasoning.” in AAAI-86. Proceedings of the Fifth National Conference on Artificial Intelligence, edited by Tom Kehler and Stanley J. Rosenschein, pp. 377–382. Menlo Park, California: The AAAI Press.
Vilain, Marc, Kautz, Henry A. and van Beek, Peter. 1990. “Constraint Propagation Algorithms for Temporal Reasoning: a revised Report.” in Readings in Qualitative Reasoning about Physical Systems, edited by Daniel S. Weld and Johan de Kleer, pp. 373–381. San Francisco, California: Morgan Kaufmann Publishers.