6355 search results - page 135 / 1271 » From Logic to Games |
190
click to vote
ATAL
2005
Springer
16 years 1 hour ago
2005
Springer
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...
149
click to vote
ESAW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...
173
click to vote
IJOE
2006
15 years 6 months ago
2006
Educational games may improve learning by taking advantage of the new knowledge and skills of today's students obtained from extensive use of interactive games. This paper des...
175
click to vote
CONCUR
2004
Springer
15 years 12 months ago
2004
Springer
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...
161
click to vote
RELMICS
1998
Springer
15 years 10 months ago
1998
Springer
We present a class of polymodal logics for which the set of terms indexing the modal connectives can be hierarchized in two levels: the set of Boolean terms and the set of terms b...