Texas Action Group at Austin

We work in the area of logic-based Artificial Intelligence. Specifically, we are interested in the study of formal and automated reasoning about the effects of actions and in answer set programming.

Students

• Yuliya Lierler

• Wanwan Ren

• Fangkai Yang

Alumni and Friends

• Neelakantan Kartha, who defended his dissertation A mathematical investigation of reasoning about actions in 1995;

• Norm McCain, who defended his dissertation Causality in commonsense reasoning about actions in 1997;

• Hudson Turner, who defended his dissertation Causal action theories and satisfiability planning in 1998;

• Esra Erdem, who defended her dissertation Theory and applications of answer set programming in 2002;

• Joohyung Lee, who defended his dissertation Automated reasoning about actions in 2005;

• Paolo Ferraris, who defended his dissertation Expressiveness of answer set languages in 2007;

• Selim T. Erdoğan, who defended his dissertation A Library of General-Purpose Action Descriptions in 2008.

Selected Publications and Software

Reasoning about Actions

V. Lifschitz and W. Ren, "A modular action description language", in Proc. AAAI-06, 2006.

CCalc

MAD

Answer Set Programming

V. Lifschitz, "Twelve Definitions of a Stable Model," in Proc. ICLP-08, to appear.

CMODELS

SUP

Forthcoming Conferences and Workshops

Department of Computer Sciences

University of Texas at Austin