112 search results - page 9 / 23 » Game semantics for first-order logic |
TASE
2009
IEEE
15 years 4 months ago
2009
IEEE
A modelling language can be defined by a metamodel in UML class diagram. This paper defines the semantics of such metamodels through two mappings: a signature mapping from metamod...
101
click to vote
IAT
2009
IEEE
15 years 1 months ago
2009
IEEE
Recently, multi-attribute negotiation has been extensively studied from a game-theoretic viewpoint. Since normal and extensive form games have the drawback of requiring an explicit...
IGPL
2002
14 years 9 months ago
2002
The semantics of the independence friendly logic of Hintikka and Sandu is usually defined via a game of imperfect information. We give a definition in terms of a game of perfect i...
AUSAI
2009
Springer
15 years 4 months ago
2009
Springer
Model checking games are instances of Hintikka’s game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed the...
AAAI
2011
13 years 9 months ago
2011
A general game player automatically learns to play arbitrary new games solely by being told their rules. For this purpose games are specified in the game description language GDL...