Prof. Henry Kautz
Robin & Tim Wentworth Director
Goergen Institute for Data Science
University of Rochester
Group meeting: Friday 2:30-3:30pm CSB 602
Social media analytics for improving public health.
Grounded language learning by aligning text and video.
Reading ancient manuscripts.
Principles of Efficient Inference
Speeding inference for logical and probabilistic reasoning by leveraging problem symmetries.
Weighted model counting.
Randomized local search for satisfiability testing.
Solving hard planning problems by translation to Boolean satisfiability.
Back to my home page.