49 search results - page 9 / 10 » Basics of Game Theory for Bioinformatics |
LICS
2005
IEEE
13 years 11 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā...
APN
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. High-Level net models following the paradigm ānets as tokensā have been studied already in the literature with several interesting applications. In this paper we prop...
ATAL
2005
Springer
13 years 11 months ago
2005
Springer
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in speciļ¬cations of multi-agent system dynamics. ...
HICSS
2003
IEEE
13 years 11 months ago
2003
IEEE
This paper provides descriptive research about a successful collaborative vision development process undertaken for a regional United Way. The entire process from learning about t...
EPS
1998
Springer
13 years 10 months ago
1998
Springer
The Classical Iterated Prisoner's Dilemma (CIPD) is used to study the evolution of cooperation. We show, with a genetic approach, how basic ideas could be used in order to gen...