87 search results - page 6 / 18 » The role of semantics in games and simulations |
103
Voted
CORR
2008
Springer
15 years 25 days ago
2008
Springer
As an attempt to uncover the topological nature of composition of strategies in game semantics, we present a "topological" game for Multiplicative Additive Linear Logic ...
130
Voted
APN
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
101
click to vote
GW
2009
Springer
14 years 10 months ago
2009
Springer
Speakers in all cultures and ages use gestures as they speak (i.e., cospeech gestures). There have been different views in the literature with regard to whether and how a specific ...
96
Voted
ICTAI
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—There already exist some links between argumentation and game theory. For instance, dynamic games can be used for simulating interactions between agents in an argumentat...
116
Voted
ICMT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The QVT Relations (QVT-R) transformation language allows the definition of bidirectional model transformations, which are required in cases where a two (or more) models ...