Sciweavers

674 search results - page 68 / 135
» Preferences in Game Logics
Sort
View
FSTTCS
2005
Springer
14 years 1 months ago
Fixpoint Logics on Hierarchical Structures
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
Stefan Göller, Markus Lohrey
DEON
2004
Springer
14 years 1 months ago
On Obligations and Abilities
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
Wojciech Jamroga, Wiebe van der Hoek, Michael Wool...
LPAR
2004
Springer
14 years 1 months ago
Weighted Answer Sets and Applications in Intelligence Analysis
The extended answer set semantics for simple logic programs, i.e. programs with only classical negation, allows for the defeat of rules to resolve contradictions. In addition, a pa...
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
GLOBECOM
2006
IEEE
14 years 1 months ago
Stackelberg Game for Distributed Resource Allocation over Multiuser Cooperative Communication Networks
— In this paper, we propose a Stackelberg game theoretic framework for distributive resource allocation over multiuser cooperative communication networks to improve the system pe...
Beibei Wang, Zhu Han, K. J. Ray Liu
AAAI
2012
11 years 10 months ago
Identifying Bullies with a Computer Game
Current computer involvement in adolescent social networks (youth between the ages of 11 and 17) provides new opportunities to study group dynamics, interactions amongst peers, an...
Juan Fernando Mancilla-Caceres, Wen Pu, Eyal Amir,...