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, pp. 49-104.
V. Lifschitz and W. Ren,
"A modular
action description language", in Proceedings of the Twenty-First
National Conference on Artificial Intelligence, 2006, pp. 853-859.
CCalc
Answer Set Programming
P. Ferraris and V. Lifschitz,
"Mathematical
foundations of answer set
programming," in We Will Show Them! Essays in Honour of
Dov Gabbay, Vol. 1, 2005, pp. 615-664.
CMODELS