 |
Description
We are a research group within the Department of Computer Sciences 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 to plan generation. The computational tools that
we use are the Causal Calculator, or ccalc -- a system created here at
the University of Texas in 1997 -- and other answer set solvers, such
as smodels and dlv.
|
|
