Papers by Henry Kautz
Papers are stored as plain Postscript (.ps) files, or, only as noted, as
Adobe Acrobat (.pdf) files.
Users of Windows 95, Windows NT, Macintosh or Unix
can obtain the free GSView or Ghostview programs to view and print the
PostScript files
(including printing on non-Postscript printers) from the
Ghostscript
Home Page.
The free Adobe Acrobat reader for all platforms can be obtained from
Adobe home page.
-
"Temporal Reasoning" -
Henry Kautz. Appears in the MIT Encyclopedia of Cognitive Science
, forthcoming.
-
"Exploiting Variable Dependency in Local Search"
-
Henry Kautz, David McAllester, and Bart Selman. DRAFT.
Abstract appears in Abstracts of the Poster Sessions of IJCAI-97, Nagoya, Japan,
1997. Abstract.
-
"The Hidden Web"
-
Henry Kautz, Bart Selman, and Mehul Shah. The
AI Magazine, vol. 18, no. 2, Summer 1997, pages 27 - 36. In
Adobe Acrobat format. Abstract.
-
"Ten Challenges in Propositional Reasoning and Search"
-
Bart Selman,
Henry Kautz, and
David McAllester.
Proc. IJCAI-97, Nagoya, Aichi, Japan, 1997.
Abstract.
- "Evidence for Invariants in Local Search"
-
David McAllester,
Bart Selman,
and
Henry Kautz.
Proc. AAAI-97, Providence, RI, 1997.
Abstract.
- "ReferralWeb: Combining Social Networks and Collaborative Filtering"
-
Henry Kautz,
Bart Selman, and Mehul Shah.
Comm. ACM, vol. 30 no. 3, March 1997.
- "Encoding Plans in Propositional Logic"
-
Henry Kautz,
David McAllester, and
Bart Selman,
Proc. KR-96.
- "Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search"
-
Henry Kautz and Bart Selman,
Proc. AAAI-96.
- "The Comparative Linguistics of Knowledge Representation"
-
Goran Gogic, Henry Kautz, Christos Papadimitriou, and
Bart Selman,
Proc. IJCAI-95.
- "Agent Amplified Communication"
-
Henry Kautz and Bart Selman,
Proc. AAAI-96 (earlier version, AAAI-95 Spring Symposium).
- "Knowledge Compilation and Theory Approximation"
-
Bart Selman and Henry Kautz. Draft (near-final) version. Final
version appears in the Journal of the ACM, 43(2):193-224, March 1996.
- "Solving Problems with Hard and Soft Constraints Using A
Stochastic Algorithm for MAX-SAT"
-
Yueyun Jiang,
Henry Kautz,
and Bart Selman,
1st International Joint Workshop on Artificial
Intelligence and Operations Research, 1995.
- "Horn Approximations of Empirical Data"
-
Henry Kautz, Michael Kearns, and Bart Selman. Draft
(near-final) version. Final version appears in
Artificial Intelligence, 74/1 (pp. 129-145) 30 March 1995.
- "Noise Strategies for Improving Local Search"
-
Bart Selman and Henry Kautz,
Proc. AAAI-94.
- "An Experiment in the Design of Software Agents"
-
Henry Kautz, Bart Selman, Michael Coen, Steven
Ketchpel, and Chris Ramming,
Proc. AAAI-94.
- "An Empirical Evaluation of Knowledge Compilation"
-
Henry Kautz and Bart Selman,
Proc. AAAI-94. (Extended version).
- GSAT User's Guide.
-
Henry Kautz and Bart Selman.
- "Local Search Strategies for Satisfiability Testing"
-
Bart Selman and Henry Kautz,
Draft.
- "Domain-Independent Extensions to GSAT: Solving Large
Structured Satisfiability Problems"
-
Bart Selman and Henry Kautz,
Proc. IJCAI-93.
- "Reasoning With Characteristic Models"
- Henry Kautz,
Michael Kearn, Bart Selman,
Proc. AAAI-93.
- "An Empirical Study of Greedy Local Search for
Satisfiability Testing"
- Bart Selman and Henry Kautz,
Proc. AAAI-93.
- "Planning as Satisfiability"
-
Henry Kautz and Bart Selman, Proceedings ECAI-92.
- "Forming Concepts for Fast Inference"
-
Henry Kautz and Bart Selman, Proceedings AAAI-92.
- "A General Framework for Knowledge Compilation"
-
Henry Kautz and Bart Selman, PDK-91, WOCFAI-91.
- "Knowledge Compilation Using Horn Approximations"
-
Bart Selman and Henry Kautz, Proceedings AAAI-91.
- "Integrating Metric and Qualitative Temporal Reasoning"
-
Henry Kautz and Peter Ladin, Proceedings AAAI-91.
-
"A Formal Theory of Plan Recognition and its Implementation"
-
In Reasoning About Plans, by J.F. Allen, H.A. Kautz, R.N. Pelavin,
and J.D. Tennenberg, Morgan Kaufmann Publishers, 1991, pages 69-126
(chapter 2).
Abstract.
-
"A Formal Theory of Plan Recognition"
-
Henry Kautz.
PhD Thesis, Dept. of Computer Science, University of Rochester, 1987.
(Tech. report 215.)
Abstract.
Related work
See also
- "Hard and Easy Distribution of SAT Problems"
-
David Mitchell, Bart Selman, and Hector Levesque,
Proceedings AAAI-92.
- "A New Method for Solving Hard Satisfiability Problems"
-
Bart Selman, Hector Levesque and David Mitchell,
Proceedings AAAI-92.
- "Tractable Default Reasoning"
-
Bart Selman, PhD Thesis, 1990.
Back to my personal home page page.
Back to my AT&T information page.
Thu Apr 3 12:23:59 EST 1997
kautz@research.att.com