This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
The InViWo project aims at providing high-level intuitive tools to describe virtual worlds populated with “intelligent” creatures and avatars. For this purpose, we have define...
Abstract. We describe the design of an intermediate language (AIL) for BDIstyle programming languages. AIL is not intended as yet another programming language, but is meant to prov...
Louise A. Dennis, Berndt Farwer, Rafael H. Bordini...
Embodied agents present ongoing challenging agenda for research in multi-modal user interfaces and humancomputer-interaction. Such agent metaphors will only be widely applicable t...
In a recent paper, Ferraris, Lee and Lifschitz conjectured that the concept of a stable model of a first-order formula can be used to treat some answer set programming expressions...