4447 search results - page 462 / 890 » Model Checking Games |
211
Voted
AI
2005
Springer
15 years 7 months ago
2005
Springer
We consider the problem of how an agent's knowledge can be updated. We propose a formal method of knowledge update on the basis of the semantics of modal logic S5. In our met...
181
click to vote
UM
2009
Springer
16 years 2 months ago
2009
Springer
We present a model of user affect to recognize multiple user emotions during interaction with an educational computer game. Our model deals with the high level of uncertainty invol...
215
click to vote
AAAI
1998
15 years 9 months ago
1998
Poker is an interesting test-bed for artificial intelligence research. It is a game of imperfect knowledge, where multiple competing agents must deal with risk management, agent m...
220
click to vote
JUCS
2008
15 years 7 months ago
2008
: In this paper, we present a model-based tool for product derivation. Our tool is centered on the definition of three models (feature, architecture and configuration models) which...
215
click to vote
IAT
2005
IEEE
16 years 1 months ago
2005
IEEE
Cooperative negotiation is proved to be an effective paradigm to solve complex dynamic multi-objective problems in which each objective is associated to an agent. When the multi-o...