Knowledge Representation and Planning
1 link
Texas Action Group
cs.utexas.edu
TAG is group of researchers interested in the study of formal and automated reasoning about the effects of actions using action languages, logic programming under the answer set se…