Nicolas Troquard

	2011
21		Wiebe van der Hoek, Nicolas Troquard, Michael Wooldridge: Knowledge and control. AAMAS 2011: 719-726
20		Andreas Herzig, Emiliano Lorini, Nicolas Troquard: A Dynamic Logic of Institutional Actions. CLIMA 2011: 295-311
19		Andreas Herzig, Emiliano Lorini, Frédéric Moisan, Nicolas Troquard: A Dynamic Logic of Normative Systems. IJCAI 2011: 228-233
18		Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: Reasoning about Social Choice Functions CoRR abs/1102.3341: (2011)
17		Nicolas Troquard: Learning and Practice of the Property Specification Language. IEEE Design & Test of Computers 28(5): 110-111 (2011)
16		Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: Reasoning About Social Choice Functions. J. Philosophical Logic 40(4): 473-498 (2011)
	2010
15		Nicolas Troquard, Dirk Walther: Alternating-time dynamic logic. AAMAS 2010: 473-480
	2009
14		Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: A logic of games and propositional control. AAMAS (2) 2009: 961-968
13		Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: A logic of propositional control for truthful implementations. TARK 2009: 237-246
12		Jan Broersen, Andreas Herzig, Nicolas Troquard: What groups do, can do, and know they can do: an analysis in normal modal logics. Journal of Applied Non-Classical Logics 19(3): 261-290 (2009)
	2008
11		Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: Model Checking Strategic Equilibria. MoChArt 2008: 166-188
10		Philippe Balbiani, Andreas Herzig, Nicolas Troquard: Alternative Axiomatics and Complexity of Deliberative STIT Theories. J. Philosophical Logic 37(4): 387-406 (2008)
	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)

Coauthor Index

1	Philippe Balbiani	[7] [10]
2	Jan Broersen	[1] [2] [3] [8] [12]
3	Cristiano Castelfranchi	[9]
4	Andreas Herzig	[1] [2] [3] [6] [7] [8] [9] [10] [12] [19] [20]
5	Wiebe van der Hoek	[11] [13] [14] [16] [18] [21]
6	Emiliano Lorini	[9] [19] [20]
7	Frédéric Moisan	[19]
8	Robert Trypuz	[4]
9	Laure Vieu	[4] [5]
10	Dirk Walther	[15]
11	Michael Wooldridge (Michael J. Wooldridge)	[11] [13] [14] [16] [18] [21]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page