Past Research Projects

A Unified Approach to Abductive Inference

Knowledge representation and reasoning combining first-order logic and probabilty theory for activity and plan recognition.

LACE: Laborary for Assisted Cognition Environments

Proactive memory and problem solving aids that help an individual perform the tasks of day-to-day life.

Planning as Satisfiability

SatPlan and Blackbox planning systems

Walksat and GSAT

SAT solvers using local search.

For more SAT information, see SatLive!


Model counting using component caching and clause learning


Computational Principles for Optimization of Resources and Execution Time


A system for discovering and searching implicit social networks on the World Wide Web