Henry Kautz
University of Virginia(US)
Publications by Year
Research Areas
Logic, Reasoning, and Knowledge, AI-based Problem Solving and Planning, Constraint Satisfaction and Optimization, Bayesian Modeling and Causal Inference, Context-Aware Activity Recognition Systems
Most-Cited Works
- → Inferring Activities from Interactions with Objects(2004)873 cited
- → Referral Web(1997)851 cited
- Pushing the envelope: planning, propositional logic, and stochastic search(1996)
- Planning as satisfiability(1992)
- Noise strategies for improving local search(1994)
- → Learning and inferring transportation routines(2007)677 cited
- Constraint propagation algorithms for temporal reasoning(1986)
- Boosting combinatorial search through randomization(1998)
- → Towards a theory of natural language interfaces to databases(2003)517 cited
- → Inferring High-Level Behavior from Low-Level Sensors(2003)516 cited