- Deconstructing Planning as Satisfiability Henry Kautz
- Location-Based Activity Recognition using Relational Markov Networks Lin Liao and Dieter Fox and Henry Kautz
- Noise Strategies for Improving Local Search Bart Selman, Henry A. Kautz, and Bram Cohen
- The Comparative Linguistics of Knowledge Representation Goran Gogic \Lambda
- Handbook of Satisfiability Editors A. Biere, M. Heule, H. van Maaren, and T. Walsh
- DomainIndependent Extensions to GSAT: Solving Large Structured Satisfiability Problems
- Contextual Computer Support for Human Donald J. Patterson1
- Reasoning With Characteristic Models Henry A. Kautz, Michael J. Kearns, and Bart Selman
- A Bayesian Approach to Tackling Hard Computational Problems Eric Horvitz
- DIMACS Series in Discrete Mathematics and Theoretical Computer Science
- Behavior Recognition in Assisted Cognition Lin Liao, Donald J. Patterson, Dieter Fox, Henry Kautz
- Pushing the Envelope: Planning, Propositional Logic, and Stochastic Henry Kautz and Bart Selman
- Second DIMACS Challenge Satisfiability Benchmark Results
- A Formal Theory of Plan Recognition and its Implementation
- Walksat in the 2004 SAT Competition Henry Kautz
- Modeling and Reasoning about Success, Failure, and Intent of Multi-Agent Activities
- Informing the Design of an Automated Wayfinding System for Individuals with Cognitive Impairments
- Constraint Propagation Algorithms for Temporal Reasoning
- Unifying SATbased and Graphbased Planning Henry Kautz
- The Role of DomainSpecific Knowledge in the Planning as Satisfiability Framework
- Control Knowledge in Planning: Benefits and Tradeo#s YiCheng Huang
- A General Framework for Knowledge Compilation
- Temporal Reasoning Henry Kautz
- Hard Problems for Simple Default Logics Bart Selman
- Integrating Metric and Qualitative Temporal Reasoning
- An Empirical Evaluation of Knowledge Compilation Henry Kautz and Bart Selman
- Knowledge Compilation and Theory Approximation
- Generating Satisfiable Problem Instances Dimitris Achlioptas
- Ten Challenges in Propositional Reasoning and Search Bart Selman, Henry Kautz, and David McAllester
- Report on the Workshop on Advancing Assisted Cognition Technology
- This Is a Publication of The American Association for Artificial Intelligence
- Extending Continuous Time Bayesian Networks Karthik Gopalratnam and Henry Kautz and Daniel S. Weld
- Evidence for Invariants in Local Search David McAllester, Bart Selman, and Henry Kautz
- Integer Optimization Models of AI Planning Problems
- A Dynamic Approach to MPE and Weighted MAX-SAT , Paul Beame1
- Local Search Strategies for Satisfiability Bart Selman, Henry A. Kautz, and Bram Cohen
- BLACKBOX: A New Approach to the Application of Theorem Proving to Problem Solving
- Encoding Plans in Propositional Logic Henry Kautz, David McAllester, and Bart Selman
- Learning Declarative Control Rules for ConstraintBased Planning YiCheng Huang ychuang@cs.cornell.edu
- Agent Amplified Communication Henry Kautz, Bart Selman, and Al Milewski
- ReferralWeb: Combining Social Networks and Collaborative Filtering
- Knowledge Compilation Using Horn Approximations
- Creating Models of RealWorld Communities with ReferralWeb Henry Kautz
- SatPlan: Planning as Satisfiability Henry Kautz
- Model-Preference Default Theories Bart Selman
- Improving the Recognition of Interleaved Activities Joseph Modayil
- 62 1541-1672/05/$20.00 2005 IEEE IEEE INTELLIGENT SYSTEMS Published by the IEEE Computer Society
- An Empirical Study of Greedy Local Search for Satisfiability Testing
- Fig. 1. Comparison of search times on original logistics problems. Fig 2. Number of variables in logistics formulas after simplification.
- Boosting Combinatorial Search Through Randomization Carla P. Gomes #
- Statespace Planning by Integer Optimization Henry Kautz
- Exploiting Variable Dependency in Local Search Henry Kautz, David McAllester, and Bart Selman
- Forming Concepts for Fast Inference Henry Kautz and Bart Selman
- Horn Approximations of Empirical Data Henry Kautz, Michael Kearns, and Bart Selman
- Solving Problems with Hard and Soft Constraints Using a Stochastic Algorithm for MAXSAT
- An Overview of the Assisted Cognition Project Henry Kautz, Dieter Fox, Oren Etzioni, Gaetano Borriello, and Larry Arnstein
- Planning as Satisfiability Henry Kautz and Bart Selman
- A Formal Theory of Plan Recognition
- Activity recognition using the velocity histories of tracked keypoints Ross Messing
- Heuristics for Fast Exact Model Counting Tian Sang, Paul Beame, and Henry Kautz
- Privacy-preserving Recognition of Activities in Daily Living from Multi-view Silhouettes and RFID-based Training
- Mining GPS Traces and Visual Words for Event Classification
- Artificial Intelligence 171 (2007) 311331 www.elsevier.com/locate/artint
- Indoor Wayfinding: Developing a Functional Interface for Individuals with Cognitive Impairments
- Understanding Human Experience Henry Kautz
- Sensor-Based Understanding of Daily Life via Large-Scale Use of Common Sense William Pentney, Ana-Maria Popescu,
- Solving Bayesian Networks by Weighted Model Counting Tian Sang, Paul Beame, and Henry Kautz
- Hardness-Aware Restart Policies Yongshao Ruan
- Using Problem Structure for Efficient Clause Learning Ashish Sabharwal , Paul Beame , and Henry Kautz
- Foundations of Assisted Cognition Systems Henry Kautz, Oren Etzioni,
- THE LOGIC OF PERSISTENCE Henry A. Kautz
- Understanding the Power of Clause Learning Henry Kautz
- Voronoi Tracking: Location Estimation Using Sparse and Noisy Sensor Data Lin Liao, Dieter Fox, Jeffrey Hightower, Henry Kautz, and Dirk Schulz
- An Experiment in the Design of Software Agents Henry A. Kautz, Bart Selman, Michael Coen,
- Auto-Walksat : A Self-Tuning Implementation Donald J. Patterson 1
- Constraint Propagation for Efficient Inference in Markov Logic
- When Did You Start Doing That Thing That You Do? Interactive Activity Recognition and Prompting
- Finding Your Friends and Following Them to Where You Are
