87 search results - page 12 / 18 » The role of semantics in games and simulations |
154
Voted
QEST
2008
IEEE
16 years 14 days ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...
161
click to vote
ECAI
2008
Springer
15 years 7 months ago
2008
Springer
Multiagent research provides an extensive literature on formal Belief-Desire-Intention (BDI) based models describing the notions of teamwork and cooperation, but adversarial and c...
179
click to vote
INFOCOM
2000
IEEE
15 years 9 months ago
2000
IEEE
A key consideration in building differentiated network services is the feasibility of maintaining stable and consistent service level agreements across multiple networks where allo...
169
click to vote
CIA
2007
Springer
16 years 7 days ago
2007
Springer
Recognizing that trust states are mental states, this paper presents a formal analysis of the dynamics of trust in terms of the functional roles and representation relations for tr...
176
click to vote
CONTEXT
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper is devoted to discuss a general tendency in contextualism which is known as "radical contextualism". In the first part I state the well known paradox...