Office:
Taylor 3.150B
Email:
vl@cs.utexas.edu
Homepage:
cs.utexas.edu/users/vl/
Logic-based Artificial Intelligence, including commonsense and nonmonotonic reasoning, answer set programming, applications of logic to knowledge representation and to planning.
The Causal Calculator
Yuliya Babovich
Jonathan Campbell
Esra Erdem
Selim Erdogan
Gurucharan Huchachar
Joohyung Lee
Jigar Furia
CS 388L
Introduction to Mathematical Logic
CS 395T
Planning
CS 395 T
Answer Set Programming
Getting to the Airport: the Oldest Planning Problem in AI
Answer Set Programming and Plan Generation
Strongly Equivalent Logic Programs
