In order for one agent to meet its goals, it will often need to influence another to act on its behalf, particularly in a society in which agents have heterogenous sets of abilitie...
Dionysis Kalofonos, Nishan C. Karunatillake, Nicho...
Comprehending action preconditions and effects is an essential step in modeling the dynamics of the world. In this paper, we express the semantics of precondition relations extrac...
S. R. K. Branavan, Nate Kushman, Tao Lei, Regina B...
This paper takes a first step toward formalizing the concept of affordance in user interfaces. Using a simple example of an AI planning domain, we show how different types of aff...
In this paper, we report on the development of an annotation scheme an annotation tools for unrestricted German text. Our representation format is based on argument structure, but...
Wojciech Skut, Thorsten Brants, Brigitte Krenn, Ha...
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...