Nicolas Troquard
TitelCiteras avÅr
Knowing how to play: uniform choices in logics of agency
A Herzig, N Troquard
5th international joint conference on Autonomous agents and multiagent …, 2006
782006
Alternative axiomatics and complexity of deliberative STIT theories
P Balbiani, A Herzig, N Troquard
Journal of Philosophical Logic 37 (4), 387-406, 2008
692008
Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
J Broersen, A Herzig, N Troquard
Journal of Logic and Computation 16 (5), 559-578, 2006
672006
Dynamic logic of propositional assignments: a well-behaved variant of PDL
P Balbiani, A Herzig, N Troquard
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 143-152, 2013
652013
A dynamic logic of normative systems
A Herzig, E Lorini, F Moisan, N Troquard
Twenty-Second International Joint Conference on Artificial Intelligence, 228-233, 2011
612011
A normal simulation of coalition logic and an epistemic extension
J Broersen, A Herzig, N Troquard
Theoretical Aspects of Rationality and Knowledge (TARK XI), 91-101, 2007
472007
From Coalition Logic to STIT
J Broersen, A Herzig, N Troquard
Electronic Notes in Theoretical Computer Science 157 (4), 23-35, 2006
462006
A STIT-extension of ATL
J Broersen, A Herzig, N Troquard
Logics in Artificial Intelligence, 69-81, 2006
402006
What groups do, can do, and know they can do: an analysis in normal modal logics
J Broersen, A Herzig, N Troquard
Journal of Applied Non-Classical Logics 19 (3), 261-289, 2009
302009
Reasoning about social choice functions
N Troquard, W Van Der Hoek, M Wooldridge
Journal of philosophical logic 40 (4), 473-498, 2011
262011
Knowledge and control
W van der Hoek, N Troquard, M Wooldridge
10th International Conference on Autonomous Agents and Multiagent Systems, 2011
242011
Normal Coalition Logic and its conformant extension
J Broersen, A Herzig, N Troquard
TARK 7, 91-101, 2007
192007
Reasoning about coalitional agency and ability in the logics of “bringing-it-about”
N Troquard
Autonomous Agents and Multi-Agent Systems 28 (3), 381-407, 2014
182014
Delegation and mental states
E Lorini, N Troquard, A Herzig, C Castelfranchi
6th international joint conference on Autonomous agents and multiagent …, 2007
182007
Towards an ontology of agency and action From STIT to OntoSTIT+
N Troquard, R Trypuz, L Vieu
Proceeding of the 2006 conference on Formal Ontology in Information Systems …, 2006
182006
Coalition games over Kripke semantics: expressiveness and complexity
P Balbiani, O Gasquet, A Herzig, F Schwarzentruber, N Troquard
Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid …, 2008
172008
Repairing ontologies via axiom weakening
N Troquard, R Confalonieri, P Galliani, R Penaloza, D Porello, O Kutz
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
162018
A logic of games and propositional control
N Troquard, W van der Hoek, M Wooldridge
8th International Conference on Autonomous Agents and Multiagent Systems …, 2009
162009
Coherence, similarity, and concept generalisation
R Confalonieri, O Kutz, P Galliani, R Penaloza, D Porello, M Schorlemmer, ...
CEUR Workshop Proceedings, 2017
112017
DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE
P Balbiani, A Herzig, F Schwarzentruber, N Troquard
arXiv preprint arXiv:1411.7825, 2014
112014
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20