Texas Action Grouphttp://www.cs.utexas.edu/users/tag
Director: Vladimir Lifschitz
Texas Action Group at Austin is a research group within the Department of Computer Science of the University of Texas at Austin. The group is led by Vladimir Lifschitz. It is 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, in answer set programming and its applications, and in designing new answer set solvers.