 | 2009 |
|---|
| 12 |       | Nicolas Troquard,
Wiebe van der Hoek,
Michael Wooldridge:
A logic of games and propositional control.
AAMAS (2) 2009: 961-968 |
| 11 | | Nicolas Troquard,
Wiebe van der Hoek,
Michael Wooldridge:
A logic of propositional control for truthful implementations.
TARK 2009: 237-246 |
| 2008 |
|---|
| 10 | | Nicolas Troquard,
Wiebe van der Hoek,
Michael Wooldridge:
Model Checking Strategic Equilibria.
MoChArt 2008: 166-188 |
| 2007 |
|---|
| 9 | | Emiliano Lorini,
Nicolas Troquard,
Andreas Herzig,
Cristiano Castelfranchi:
Delegation and mental states.
AAMAS 2007: 153 |
| 8 | | Jan Broersen,
Andreas Herzig,
Nicolas Troquard:
A normal simulation of coalition logic and an epistemic extension.
TARK 2007: 92-101 |
| 7 | | Philippe Balbiani,
Andreas Herzig,
Nicolas Troquard:
Alternative axiomatics and complexity of deliberative STIT theories
CoRR abs/0704.3238: (2007) |
| 2006 |
|---|
| 6 | | Andreas Herzig,
Nicolas Troquard:
Knowing how to play: uniform choices in logics of agency.
AAMAS 2006: 209-216 |
| 5 |  | Nicolas Troquard,
Laure Vieu:
Towards a Logic of Agency and Actions with Duration.
ECAI 2006: 775-776 |
| 4 | | Nicolas Troquard,
Robert Trypuz,
Laure Vieu:
Towards an ontology of agency and action From STIT to OntoSTIT+.
FOIS 2006: 179-190 |
| 3 | | Jan Broersen,
Andreas Herzig,
Nicolas Troquard:
A STIT-Extension of ATL.
JELIA 2006: 69-81 |
| 2 | | Jan Broersen,
Andreas Herzig,
Nicolas Troquard:
From Coalition Logic to STIT.
Electr. Notes Theor. Comput. Sci. 157(4): 23-35 (2006) |
| 1 | | Jan Broersen,
Andreas Herzig,
Nicolas Troquard:
Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency.
J. Log. Comput. 16(5): 559-578 (2006) |
