Sciweavers

1617 search results - page 34 / 324
» Knowledge Condition Games
Sort
View
FOSSACS
2009
Springer
15 years 4 months ago
Facets of Synthesis: Revisiting Church's Problem
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...
Wolfgang Thomas
IJCAI
2007
14 years 11 months ago
Iterated Weaker-than-Weak Dominance
We introduce a weakening of standard gametheoretic dominance conditions, called δdominance, which enables more aggressive pruning of candidate strategies at the cost of solution ...
Shih-Fen Cheng, Michael P. Wellman
GAMEON
2003
14 years 11 months ago
A Web-Based Game for Supporting Game-Based Learning
Game-based learning has been recognized as an important alternative or supplement to traditional in-class, face-to-face teaching. It can help both adults and children in learning ...
Olga Dzianbenko, Maja Pivec, Christos Bouras, Vagg...
APAL
2005
117views more  APAL 2005»
14 years 9 months ago
About cut elimination for logics of common knowledge
The notions of common knowledge or common belief play an important role in several areas of computer science (e.g. distributed systems, communication), in philosophy, game theory,...
Luca Alberucci, Gerhard Jäger
AIMS
2007
Springer
15 years 3 months ago
Estimating Reliability of Conditional Promises
Using conditional promises, the reliability of promises can be measured without considering the reliability of the whole agent, by defining notions of when conditions operate and ...
Alva L. Couch, Hengky Susanto, Marc Chiarini