330 search results - page 17 / 66 » Open Problems in Logic and Games |
AAAI
2006
13 years 9 months ago
2006
This paper presents a computational model of negotiation based on Nebel's syntax-based belief revision. The model guarantees a unique bargaining solution for each bargaining ...
WOA
2003
13 years 9 months ago
2003
— In this paper we study the rational balance between local and global policies in virtual communities of agents. To study this problem we use a logical framework for modelling o...
ENTCS
2008
13 years 8 months ago
2008
The compositional method, introduced by Feferman and Vaught in 1959, allows to reduce the model-checking problem for a product structure to the model-checking problem for its fact...
ECTEL
2009
Springer
2009
Springer
The Influence of Coalition Formation on Idea Selection in Dispersed Teams: A Game Theoretic Approach
13 years 12 months ago
In an open innovation environment, organizational learning takes place by means of dispersed teams which expand their knowledge through collaborative idea generation. Research is o...
AIML
2008
13 years 9 months ago
2008
abstract. We establish that the quantifier alternation hierarchy of formulae of Second-Order Propositional Modal Logic (SOPML) induces an infinite corresponding semantic hierarchy ...