6355 search results - page 197 / 1271 » From Logic to Games |
151
click to vote
WWW
2005
ACM
16 years 3 days ago
2005
ACM
The interoperability among distributed and autonomous systems is the ultimate challenge facing the semantic web. Heterogeneity of data representation is the main source of problem...
176
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
Product Distribution (PD) theory is a new framework for controlling Multi-Agent Systems (MAS’s). First we review one motivation of PD theory, as the information-theoretic extens...
140
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
We show how the binary encoding and decoding of typed data and typed programs can be understood, programmed, and verified with the help of question-answer games. The encoding of a...
222
click to vote
AAMAS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract In this paper, we present a human-robot teaching framework that uses "virtual" games as a means for adapting a robot to its user through natural interaction in a...
162
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Escalation is a typical feature of infinite games. Therefore tools conceived for studying infinite mathematical structures, namely those deriving from coinduction are essential. H...