285 search results - page 31 / 57 » Game Semantics and Subtyping |
104
click to vote
SOFSEM
2009
Springer
16 years 3 days ago
2009
Springer
We develop a game semantics for process algebra with two interacting agents. The purpose of our semantics is to make manifest the role of knowledge and information flow in the int...
119
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
109
click to vote
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Graph games of infinite length provide a natural model for open reactive systems: one player (Eve) represents the controller and the other player (Adam) represents the en...
142
click to vote
ERCIMDL
2000
Springer
15 years 6 months ago
2000
Springer
The OASIS (Ontologically Augmented Spatial Information System) project explores terminology systems for thematic and spatial access in digital library applications. A prototype im...
135
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: The explosive growth of biological data provides opportunities for new statistical and comparative analyses of large information sets, such as alignments comprising te...