382 search results - page 63 / 77 » Proof Theory for Distributed Knowledge |
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
The General Game Playing (GGP) problem is concerned with developing systems capable of playing many different games, even games the system has never encountered before. Successful...
HT
2005
ACM
14 years 2 months ago
2005
ACM
Conversion between different adaptive hypermedia systems has barely been proposed, yet alone tested in realistic settings. This paper presents the evaluation of the interoperabili...
ATAL
2005
Springer
14 years 2 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 specifications of multi-agent system dynamics. ...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
This paper offers a novel approach to coevolution based on the sociological theory of symbolic interactionism. It provides a multi-agent computational model along with experimenta...
ATAL
2006
Springer
14 years 6 days ago
2006
Springer
Qualitative Coalitional Games (QCGs) are a version of coalitional games in which an agent's desires are represented as goals which are either satisfied or unsatisfied, and ea...