- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c16 |      | |
| c15 | | Andreas Herzig, Tiago De Lima, Emiliano Lorini, Nicolas Troquard: A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions. DEON 2012: 170-183 |
| c14 | | Nicolas Troquard, Dirk Walther: On Satisfiability in ATL with Strategy Contexts. JELIA 2012: 398-410 |
| 2011 | ||
| j6 | | Nicolas Troquard: Learning and Practice of the Property Specification Language. IEEE Design & Test of Computers 28(5): 110-111 (2011) |
| j5 | | Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: Reasoning About Social Choice Functions. J. Philosophical Logic 40(4): 473-498 (2011) |
| c13 | | Wiebe van der Hoek, Nicolas Troquard, Michael Wooldridge: Knowledge and control. AAMAS 2011: 719-726 |
| c12 | | Andreas Herzig, Emiliano Lorini, Nicolas Troquard: A Dynamic Logic of Institutional Actions. CLIMA 2011: 295-311 |
| c11 | | Andreas Herzig, Emiliano Lorini, Frédéric Moisan, Nicolas Troquard: A Dynamic Logic of Normative Systems. IJCAI 2011: 228-233 |
| i2 | | Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: Reasoning about Social Choice Functions. CoRR abs/1102.3341 (2011) |
| 2010 | ||
| c10 | | |
| 2009 | ||
| j4 | | 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) |
| c9 | | Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: A logic of games and propositional control. AAMAS (2) 2009: 961-968 |
| c8 | | Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: A logic of propositional control for truthful implementations. TARK 2009: 237-246 |
| 2008 | ||
| j3 | | Philippe Balbiani, Andreas Herzig, Nicolas Troquard: Alternative Axiomatics and Complexity of Deliberative STIT Theories. J. Philosophical Logic 37(4): 387-406 (2008) |
| c7 | | Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: Model Checking Strategic Equilibria. MoChArt 2008: 166-188 |
| 2007 | ||
| c6 | | Emiliano Lorini, Nicolas Troquard, Andreas Herzig, Cristiano Castelfranchi: Delegation and mental states. AAMAS 2007: 153 |
| c5 | | Jan Broersen, Andreas Herzig, Nicolas Troquard: A normal simulation of coalition logic and an epistemic extension. TARK 2007: 92-101 |
| i1 | | Philippe Balbiani, Andreas Herzig, Nicolas Troquard: Alternative axiomatics and complexity of deliberative STIT theories. CoRR abs/0704.3238 (2007) |
| 2006 | ||
| j2 | | Jan Broersen, Andreas Herzig, Nicolas Troquard: From Coalition Logic to STIT. Electr. Notes Theor. Comput. Sci. 157(4): 23-35 (2006) |
| j1 | | 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) |
| c4 | | Andreas Herzig, Nicolas Troquard: Knowing how to play: uniform choices in logics of agency. AAMAS 2006: 209-216 |
| c3 |  | Nicolas Troquard, Laure Vieu: Towards a Logic of Agency and Actions with Duration. ECAI 2006: 775-776 |
| c2 | | Nicolas Troquard, Robert Trypuz, Laure Vieu: Towards an ontology of agency and action From STIT to OntoSTIT+. FOIS 2006: 179-190 |
| c1 | | |
Colors in the list of coauthors
Last update Sat May 25 08:26:32 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page