Henry Kautz's Research Projects

AI and Health

Understanding the relationship between social media and health at both small and large scales.

Mental Health Evaluation using Web data

Locating sources of food-borne illness.

Extracting health signals from geotagged Twitter data

Understanding human mobility at global scale

Location-based Activity Tracking and Event recognition

Giving large language models the ability to use formal reasoning tools

Modeling humor and hate speech in online media

Grounded language learning by aligning text and video

A language and algorithms for statistical-relational reasoning, planning, and plan recognition.

Tool for generating solutions to Sokoban planning problems

Weighted model counting

Randomized local search for satisfiability testing

Solving hard planning problems by translation to Boolean satisfiability

Back to my home page.