Concepedia

Nicolas Troquard

NT

Statistics

Publications

17

Citations

678

H-Index

13

Active since

2006

Affiliations

Centre National de la Recherche Scientifique(Current)

Institut de Recherche en Informatique de Toulouse

Université Toulouse III - Paul Sabatier

Université Toulouse-I-Capitole

Institut Polytechnique de Bordeaux

Nicolas Troquard is an author at Centre National de la Recherche Scientifique specializing in automated reasoning, formal methods, and engineering.

Top concepts

Automated ReasoningEngineeringFormal MethodsSemanticsMechanism DesignBusinessGame TheorySocial SciencesComputer ScienceGames

Publications per year

2006–2024

17

Publications

17

Knowledge and control

Wiebe van der Hoek, Nicolas Troquard, Michael Wooldridge · Adaptive Agents and Multi-Agents Systems · 2011 · 191 citations

Engineering, Knowledge Production, Classical Logic +17

Knowing how to play

Andreas Herzig, Nicolas Troquard · 2006 · 75 citations

Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL

Philippe Balbiani, Andreas Herzig, Nicolas Troquard · 2013 · 64 citations · Full text

Applied Logic, Computational Logic, Engineering +11

Embedding Alternating-time Temporal Logic in Strategic Logic of Agency

Jan Broersen, Andreas Herzig, Nicolas Troquard · Journal of Logic and Computation · 2006 · 54 citations

Engineering, Game Theory, Classical Logic +17

A normal simulation of coalition logic and an epistemic extension

Jan Broersen, Andreas Herzig, Nicolas Troquard · 2007 · 48 citations · Full text

Coalition Formation, Normal Simulation, Dynamic Epistemic Logic +13

1–5 of 17