Texas Action Group at Austin

We are a research group led by Vladimir Lifschitz, and part of a larger community -- Texas Action Group.

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

Alumni and Friends

Our alumni are


We closely collaborate with Chitta Baral (Arizona State University), Michael Gelfond (Texas Tech University), and many other members of Texas Action Group.

Selected Publications and Software

Reasoning about Actions

E. Giunchiglia, J. Lee, V. Lifschitz, N. McCain and H. Turner, "Nonmonotonic causal theories," Artificial Intelligence, Vol. 153, 2004.

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

CCalc

MAD

Answer Set Programming

V. Lifschitz, "What Is Answer Set Programming?," in Proc. AAAI-08, 2008.

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