Nicolas Troquard Coauthor index pubzone.org

Facets and more with CompleteSearch

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier II - Dagstuhl


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2016
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolas Troquard: Nash Equilibria and Their Elimination in Resource Games. IJCAI 2016: 503-509
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoussouf Oualhadj, Nicolas Troquard: Rational verification in Iterated Electric Boolean Games. SR 2016: 41-51
2015
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Porello, Nicolas Troquard: Non-normal modalities in variants of linear logic. Journal of Applied Non-Classical Logics 25(3): 229-255 (2015)
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Porello, Nicolas Troquard: Non-normal modalities in variants of Linear Logic. CoRR abs/1503.04193 (2015)
2014
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolas Troquard: Reasoning about coalitional agency and ability in the logics of "bringing-it-about". Autonomous Agents and Multi-Agent Systems 28(3): 381-407 (2014)
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Porello, Nicolas Troquard: A resource-sensitive account of the use of artifacts. AAMAS 2014: 1549-1550
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Porello, Nicolas Troquard: A resource-sensitive logic of agency. ECAI 2014: 723-728
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Borgo, Daniele Porello, Nicolas Troquard: Logical Operators for Ontological Modeling. FOIS 2014: 23-36
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolas Troquard: A formal theory for conceptualizing artefacts and tool manipulations. FOIS 2014: 119-132
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Balbiani, Andreas Herzig, François Schwarzentruber, Nicolas Troquard: DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE. CoRR abs/1411.7825 (2014)
2013
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmiliano Lorini, Nicolas Troquard, Andreas Herzig, Jan M. Broersen: Grounding power on actions and mental attitudes. Logic Journal of the IGPL 21(3): 311-331 (2013)
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Nicolas Troquard, Michael Wooldridge: Reasoning about Choice. AT 2013: 4-18
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Balbiani, Andreas Herzig, Nicolas Troquard: Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL. LICS 2013: 143-152
2012
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolas Troquard: Coalitional agency and evidence-based ability. AAMAS 2012: 1245-1246
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas 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
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolas Troquard, Dirk Walther: On Satisfiability in ATL with Strategy Contexts. JELIA 2012: 398-410
2011
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolas Troquard: Learning and Practice of the Property Specification Language. IEEE Design & Test of Computers 28(5): 110-111 (2011)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: Reasoning About Social Choice Functions. J. Philosophical Logic 40(4): 473-498 (2011)
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Nicolas Troquard, Michael Wooldridge: Knowledge and control. AAMAS 2011: 719-726
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig, Emiliano Lorini, Nicolas Troquard: A Dynamic Logic of Institutional Actions. CLIMA 2011: 295-311
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig, Emiliano Lorini, Frédéric Moisan, Nicolas Troquard: A Dynamic Logic of Normative Systems. IJCAI 2011: 228-233
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: Reasoning about Social Choice Functions .CoRR abs/1102.3341 (2011)
2010
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolas Troquard, Dirk Walther: Alternating-time dynamic logic. AAMAS 2010: 473-480
2009
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan M. 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)
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: A logic of games and propositional control. AAMAS (2) 2009: 961-968
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: A logic of propositional control for truthful implementations. TARK 2009: 237-246
2008
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Balbiani, Andreas Herzig, Nicolas Troquard: Alternative Axiomatics and Complexity of Deliberative STIT Theories. J. Philosophical Logic 37(4): 387-406 (2008)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: Model Checking Strategic Equilibria. MoChArt 2008: 166-188
2007
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmiliano Lorini, Nicolas Troquard, Andreas Herzig, Cristiano Castelfranchi: Delegation and mental states. AAMAS 2007: 153
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan M. Broersen, Andreas Herzig, Nicolas Troquard: A normal simulation of coalition logic and an epistemic extension. TARK 2007: 92-101
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Balbiani, Andreas Herzig, Nicolas Troquard: Alternative axiomatics and complexity of deliberative STIT theories .CoRR abs/0704.3238 (2007)
2006
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan M. Broersen, Andreas Herzig, Nicolas Troquard: From Coalition Logic to STIT. Electr. Notes Theor. Comput. Sci. 157(4): 23-35 (2006)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan M. Broersen, Andreas Herzig, Nicolas Troquard: Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency. J. Log. Comput. 16(5): 559-578 (2006)
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig, Nicolas Troquard: Knowing how to play: uniform choices in logics of agency. AAMAS 2006: 209-216
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolas Troquard, Laure Vieu: Towards a Logic of Agency and Actions with Duration. ECAI 2006: 775-776
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolas Troquard, Robert Trypuz, Laure Vieu: Towards an ontology of agency and action From STIT to OntoSTIT+. FOIS 2006: 179-190
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan M. Broersen, Andreas Herzig, Nicolas Troquard: A STIT-Extension of ATL. JELIA 2006: 69-81

Coauthor Index

1Philippe Balbiani[i3] [c17] [j3] [i1]
2Stefano Borgo[c20]
3Jan M. Broersen[j7] [j4] [c5] [j2] [j1] [c1]
4Cristiano Castelfranchi[c6]
5Andreas Herzig[i3] [j7] [c17] [c15] [c12] [c11] [j4] [j3] [c6] [c5] [i1] [j2] [j1] [c4] [c1]
6Wiebe van der Hoek[c18] [j5] [c13] [i2] [c9] [c8] [c7]
7Tiago De Lima[c15]
8Emiliano Lorini[j7] [c15] [c12] [c11] [c6]
9Frédéric Moisan[c11]
10Youssouf Oualhadj[c23]
11Daniele Porello[j9] [i4] [c22] [c21] [c20]
12François Schwarzentruber[i3]
13Robert Trypuz[c2]
14Laure Vieu[c3] [c2]
15Dirk Walther 0002[c14] [c10]
16Michael Wooldridge[c18] [j5] [c13] [i2] [c9] [c8] [c7]

 

Last update 2017-04-28 19:53 CEST by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page