288 search results - page 31 / 58 » Nominal Game Semantics |
151
click to vote
AMAI
2004
Springer
15 years 3 months ago
2004
Springer
We present systems of logic programming agents (LPAS) to model the interactions between decision-makers while evolving to a conclusion. Such a system consists of a number of agents...
119
Voted
POPL
2010
ACM
16 years 20 days ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
156
click to vote
ACMDIS
2004
ACM
15 years 8 months ago
2004
ACM
Jukola is an interactive MP3 Jukebox device designed to allow a group of people in a public space to democratically choose the music being played. A public display is used to nomi...
143
click to vote
ICMT
2009
Springer
15 years 9 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 ...
106
click to vote
CONCUR
2007
Springer
15 years 9 months ago
2007
Springer
The notion of innocent strategy was introduced by Hyland and Ong in order to capture the interactive behaviour of λ-terms and PCF programs. An innocent strategy is defined as an ...