87 search results - page 12 / 18 » The role of semantics in games and simulations |
QEST
2008
IEEE
15 years 7 months 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...
103
click to vote
ECAI
2008
Springer
15 years 2 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...
122
Voted
INFOCOM
2000
IEEE
15 years 4 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...
112
Voted
CIA
2007
Springer
15 years 7 months 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...
111
click to vote
CONTEXT
2001
Springer
15 years 5 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...