3729 search results - page 708 / 746 » On Formal Modeling of Agent Computations |
185
click to vote
DEON
2006
Springer
15 years 9 months ago
2006
Springer
In this paper we extend earlier work on deontic deadlines in CTL to the framework of alternating time temporal logic (ATL). The resulting setting enables us to model several concep...
157
click to vote
IJCAI
2007
15 years 7 months ago
2007
This paper is a comparative study of game-theoretic solution concepts in strictly competitive multiagent scenarios, as commonly encountered in the context of parlor games, competi...
156
click to vote
AVI
2004
15 years 7 months ago
2004
In this paper, we present our open source, platform independent toolkit for developing 3D talking agents, namely Xface. It relies on MPEG-4 Face Animation (FA) standard. The toolk...
167
click to vote
ICINCO
2004
15 years 7 months ago
2004
For half a century, artificial intelligence researchers have focused on giving machines linguistic and mathematical-logical reasoning abilities, modeled after the classic linguist...
160
click to vote
ICMAS
2000
15 years 7 months ago
2000
In this paper we focus on the problem of how infinite belief hierarchies can be represented and reasoned with in a computationally tractable way. When modeling nested beliefs one ...