Sciweavers

430 search results - page 58 / 86
» On the logic of coalitional games
Sort
View
APAL
2005
117views more  APAL 2005»
13 years 7 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
CONEXT
2007
ACM
13 years 12 months ago
Internet economics: the use of Shapley value for ISP settlement
Within the current Internet, autonomous ISPs implement bilateral agreements, with each ISP establishing agreements that suit its own local objective to maximize its profit. Peerin...
Richard T. B. Ma, Dah-Ming Chiu, John C. S. Lui, V...
AI
2010
Springer
13 years 8 months ago
On the measure of conflicts: Shapley Inconsistency Values
There are relatively few proposals for inconsistency measures for propositional belief bases. However inconsistency measures are potentially as important as information measures f...
Anthony Hunter, Sébastien Konieczny
CSL
2007
Springer
14 years 2 months ago
A Games Model of Bunched Implications
A game semantics of the (−−∗, →)-fragment of the logic of bunched implications, BI, is presented. To date, categorical models of BI have been restricted to two kinds: funct...
Guy McCusker, David J. Pym
ICCSA
2011
Springer
12 years 11 months ago
Standardization of Game Based Learning Design
The standardization of the design of learning games is a contradictory topic: The existence of a rich variety of domains and applications is in conflict with the desire for unifica...
Sebastian Kelle, Roland Klemke, Marion R. Gruber, ...