Share This Author
Noise Strategies for Improving Local Search
- B. Selman, Henry A. Kautz, Bram Cohen
- Computer Science, MathematicsAAAI
- 5 October 1994
TLDR
Planning as Satisfiability
- Henry A. Kautz, B. Selman
- Computer ScienceECAI
- 30 August 1992
SATPLAN04 is a updated version of the planning as satisfiability approach originally proposed in (Kautz & Selman 1992; 1996) using hand-generated translations, and implemented for PDDL input in the…
Pushing the Envelope: Planning, Propositional Logic and Stochastic Search
- Henry A. Kautz, B. Selman
- Computer ScienceAAAI/IAAI, Vol. 2
- 4 August 1996
TLDR
Local search strategies for satisfiability testing
- B. Selman, Henry A. Kautz, Bram Cohen
- Computer ScienceCliques, Coloring, and Satisfiability
- 1993
TLDR
Constraint Propagation Algorithms for Temporal Reasoning
- M. Vilain, Henry A. Kautz
- Computer ScienceAAAI
- 11 August 1986
TLDR
Activity recognition using the velocity histories of tracked keypoints
- Ross Messing, C. Pal, Henry A. Kautz
- Computer ScienceIEEE 12th International Conference on Computer…
- 1 September 2009
We present an activity recognition feature inspired by human psychophysical performance. This feature is based on the velocity history of tracked keypoints. We present a generative mixture model for…
Evidence for Invariants in Local Search
- David A. McAllester, B. Selman, Henry A. Kautz
- Computer ScienceAAAI/IAAI
- 27 July 1997
TLDR
Towards a theory of natural language interfaces to databases
- Ana-Maria Popescu, Oren Etzioni, Henry A. Kautz
- Computer ScienceIUI '03
- 2003
TLDR
Unifying SAT-based and Graph-based Planning
- Henry A. Kautz, B. Selman
- Computer ScienceIJCAI
- 31 July 1999
TLDR
Learning and inferring transportation routines
- Lin Liao, Donald J. Patterson, D. Fox, Henry A. Kautz
- Computer ScienceArtif. Intell.
- 25 July 2004
...
...