Searching for authors named "Nicolas Troquard" – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
Knowing how to play: Uniform choices in logics of agency
- …Knowing How to Play: Uniform Choices in Logics of Agency Nicolas Troquard (IRIT, LOA) In the last…
- Cited by 7 (3 self) – Add To MetaCart
-
Alternative axiomatics and complexity of deliberative STIT theories
- … Herzig and Nicolas Troquard Institut de recherche en informatique de Toulouse (IRIT), France {balbiani,herzig,troquard…
- Cited by 4 (4 self) – Add To MetaCart
-
Grounding power on actions and mental attitudes ⋆
- … Broersen 3 , and Nicolas Troquard 1,2 1 Inst. of Cognitive Sciences and Technologies (ISTC-CNR), Rome…
- Cited by 1 (1 self) – Add To MetaCart
-
Coalition games over Kripke semantics: expressiveness and complexity
- … Gasquet, Andreas Herzig, François Schwarzentruber and Nicolas Troquard abstract. We show that Pauly…
- Add To MetaCart
-
A STIT-extension of ATL
- …A STIT-extension of ATL Jan Broersen 1 , Andreas Herzig 2 , and Nicolas Troquard 2 1 Department…
- Cited by 4 (3 self) – Add To MetaCart
-
From Coalition Logic to STIT
- … Toulouse Université Paul Sabatier Toulouse, France Nicolas Troquard 4 Institut de Recherche en Informatique…
- Cited by 7 (5 self) – Add To MetaCart
-
Contents 1 Modal logic for Multi-Agent Systems 3
- … Andreas Herzig Nicolas Troquard Abstract This paper is a reading companion to our introductory ESSLLI…
- Add To MetaCart
-
General Terms
- …A Logic of Games and Propositional Control Nicolas Troquard Wiebe van der Hoek Michael Wooldridge…
- Add To MetaCart
-
– Thesis: “Independent agents in branching time: Towards a unified framework for reasoning
- …Curriculum Vitae and publications of Nicolas Troquard Department of Computer Science voice: +44…
- Add To MetaCart
-
Reasoning about strategic games with hybrid logic of choice and preferences
- … Troquard, Wiebe van der Hoek, and Michael Wooldridge Department of Computer Science, University…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
