We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...
Multi-agent domains consisting of teams of agents that need to collaborate in an adversarial environment offer challengingresearch opportunities. In this article, we introduce per...
- Websites are used to establish the company’s policy and image, to promote and sell goods or support services and to provide customer support and to facilitate the communication...
We present a logic for reasoning about strategic games. The logic is a modal formalism, based on the Coalition Logic of Propositional Control, to which we add the notions of outco...
Nicolas Troquard, Wiebe van der Hoek, Michael Wool...
Abstract. Results in social choice theory such as the Arrow and GibbardSatterthwaite theorems constrain the existence of rational collective decision making procedures in groups of...