Henry A. Kautz

Publications
Influence

Noise Strategies for Improving Local Search

B. Selman, Henry A. Kautz, Bram Cohen
Computer Science
AAAI
5 October 1994

We show that mixed random walk improves upon the best known methods for solving MAX-SAT and circuit synthesis and circuit diagnosis problems. Expand

Pushing the Envelope: Planning, Propositional Logic and Stochastic Search

Henry A. Kautz, B. Selman
Computer Science
AAAI/IAAI, Vol. 2
4 August 1996

Planning is a notoriously hard combinatorial search problem. In many interesting domains, current planning algorithms fail to scale up gracefully. By combining a general, stochastic search algorithm… Expand

1,034
67
PDF

Local search strategies for satisfiability testing

B. Selman, Henry A. Kautz, Bram Cohen
Computer Science
Cliques, Coloring, and Satisfiability
1993

We introduce a new strategy, called mixed random walk, for escaping from local minima that allows us to handle formulas that are substantially larger than those that can be solved with basic local search. Expand

Planning as Satisfiability

Henry A. Kautz, B. Selman
Computer Science
ECAI
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 blackbox system. Expand

1,080
62
PDF

Constraint Propagation Algorithms for Temporal Reasoning

M. Vilain, Henry A. Kautz
Computer Science
AAAI
11 August 1986

This paper considers computational aspects of several temporal representation languages. Expand

Activity recognition using the velocity histories of tracked keypoints

Ross Messing, C. Pal, Henry A. Kautz
Computer Science
IEEE 12th International Conference on Computer…
1 September 2009

We present an activity recognition feature inspired by human psychophysical performance that performs comparably to local spatio-temporal features on the KTH activity recognition dataset. Expand

Evidence for Invariants in Local Search

David A. McAllester, B. Selman, Henry A. Kautz
Computer Science
AAAI/IAAI
27 July 1997

This paper presents empirical evidence that such useful invariants (i.e.,properties that hold across strategies and domains) do indeed exist. Expand

Unifying SAT-based and Graph-based Planning

Henry A. Kautz, B. Selman
Mathematics, Computer Science
IJCAI
31 July 1999

The Blackbox planning system unifies the planning as satisfiability framework (Kautz and Selman 1992, 1996) with the plan graph approach to STRIPS planning (Blum and Furst 1995). Expand

Towards a theory of natural language interfaces to databases

Ana-Maria Popescu, Oren Etzioni, Henry A. Kautz
Computer Science
IUI
2003

The need for Natural Language Interfaces (NLIs) to databases has become increasingly acute as more nontechnical people access information through their web browsers, PDAs and cell phones. Expand

Learning and inferring transportation routines

Lin Liao, Donald J. Patterson, D. Fox, Henry A. Kautz
Computer Science, Mathematics
Artif. Intell.
25 July 2004

This paper introduces a hierarchical Markov model that can learn and infer a user's daily movements through an urban community. Expand

Recommended Authors