Sciweavers

34 search results - page 2 / 7
» lori 2009
Sort
View
DMSN
2009
ACM
13 years 11 months ago
Class-based continuous query scheduling for data streams
Lory Al Moakar, Thao N. Pham, Panayiotis Neophytou...
LORI
2009
Springer
13 years 11 months ago
An Update Operator for Strategic Ability
Coalition Logic does not explicitly talk about the effects of a coalitional move on the strategic ability of the remaining players, while in Game Theory reasoning patterns involvi...
Paolo Turrini, Jan Broersen, Rosja Mastop, John-Ju...
LORI
2009
Springer
13 years 11 months ago
Expressing Properties of Coalitional Ability under Resource Bounds
We introduce Coalition Logic for Resource Games (CLRG) which extends Coalition Logic by allowing explicit reasoning about resource endowments of coalitions of agents and resource b...
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, A...
LORI
2009
Springer
13 years 11 months ago
Dynamic Context Logic
Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical...
Guillaume Aucher, Davide Grossi, Andreas Herzig, E...
LORI
2009
Springer
13 years 9 months ago
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Agency) integrating the concepts of joint action, preference and knowledge and ena...
Emiliano Lorini, François Schwarzentruber, ...