Alternative axiomatics and complexity of deliberative STIT theories P Balbiani, A Herzig, N Troquard Journal of Philosophical Logic 37, 387-406, 2008 | 106 | 2008 |
Knowing how to play: uniform choices in logics of agency A Herzig, N Troquard 5th international joint conference on Autonomous agents and multiagent …, 2006 | 106 | 2006 |
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 | 93 | 2013 |
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 | 80 | 2006 |
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 | 75 | 2011 |
Repairing ontologies via axiom weakening N Troquard, R Confalonieri, P Galliani, R Penaloza, D Porello, O Kutz Thirty-Second AAAI Conference on Artificial Intelligence (AAAI 2018), 1981-1988, 2017 | 63 | 2017 |
From Coalition Logic to STIT J Broersen, A Herzig, N Troquard Electronic Notes in Theoretical Computer Science 157 (4), 23-35, 2006 | 57 | 2006 |
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 | 56 | 2007 |
A STIT-extension of ATL J Broersen, A Herzig, N Troquard Logics in Artificial Intelligence, 69-81, 2006 | 50 | 2006 |
Knowledge and control W van der Hoek, N Troquard, M Wooldridge 10th International Conference on Autonomous Agents and Multiagent Systems, 2011 | 43 | 2011 |
Reasoning about social choice functions N Troquard, W van der Hoek, M Wooldridge Journal of philosophical logic 40, 473-498, 2011 | 38 | 2011 |
A toothful of concepts: Towards a theory of weighted concept combination D Porello, O Kutz, G Righetti, N Troquard, P Galliani, C Masolo | 34 | 2019 |
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 | 33 | 2009 |
Reasoning about coalitional agency and ability in the logics of “bringing-it-about” N Troquard Autonomous Agents and Multi-Agent Systems 28, 381-407, 2014 | 30 | 2014 |
Modeling manufacturing resources: An ontological approach EM Sanfilippo, S Benavent, S Borgo, N Guarino, N Troquard, F Romero, ... Product Lifecycle Management to Support Industry 4.0: 15th IFIP WG 5.1 …, 2018 | 25 | 2018 |
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 | 25 | 2014 |
Two approaches to ontology aggregation based on axiom weakening D Porello, N Troquard, O Kutz, R Penaloza, R Confalonieri, P Galliani 27th International Joint Conference on Artificial Intelligence and 23rd …, 2018 | 24 | 2018 |
On knowledge dependence in weighted description logic P Galliani, O Kutz, D Porello, G Righetti, N Troquard GCAI 2019. Proceedings of the 5th Global Conference on Artificial …, 2019 | 23 | 2019 |
Propositional dynamic logic N Troquard, P Balbiani | 23 | 2007 |
Normal Coalition Logic and its conformant extension J Broersen, A Herzig, N Troquard TARK 7, 91-101, 2007 | 22 | 2007 |
Delegation and mental states E Lorini, N Troquard, A Herzig, C Castelfranchi 6th international joint conference on Autonomous agents and multiagent …, 2007 | 21 | 2007 |
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 | 21 | 2006 |
Perceptron connectives in knowledge representation P Galliani, G Righetti, O Kutz, D Porello, N Troquard Knowledge Engineering and Knowledge Management: 22nd International …, 2020 | 18 | 2020 |
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 | 18 | 2009 |
Pink panthers and toothless tigers: Three problems in classification G Righetti, D Porello, O Kutz, N Troquard, C Masolo | 17 | 2019 |
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 | 17 | 2008 |
Towards even more irresistible axiom weakening R Confalonieri, P Galliani, O Kutz, D Porello, G Righetti, N Toquard | 16 | 2020 |
On satisfiability in ATL with strategy contexts N Troquard, D Walther European Workshop on Logics in Artificial Intelligence, 398-410, 2012 | 14 | 2012 |
The Mouse and the Ball O Kutz, N Troquard, MM Hedblom, D Porello Formal Ontology in Information Systems: Proceedings of the 10th …, 2018 | 13 | 2018 |
Logical Operators for Ontological Modeling. S Borgo, D Porello, N Troquard FOIS, 23-36, 2014 | 13 | 2014 |
A dynamic logic of institutional actions A Herzig, E Lorini, N Troquard International Workshop on Computational Logic in Multi-Agent Systems, 295-311, 2011 | 12 | 2011 |
Independent agents in branching time N Troquard Univ. Toulouse 3 & Univ. degli Studi di Trento, 2007 | 12* | 2007 |
Towards a logic of agency and actions with duration N Troquard, L Vieu Frontiers in Artificial Intelligence and Applications 141, 775, 2006 | 12 | 2006 |
Coherence, similarity, and concept generalisation R Confalonieri, O Kutz, P Galliani, RP Nyssen, D Porello, M Schorlemmer, ... Proceedings of the 30th International Workshop on Description Logics 1879, 2017 | 11 | 2017 |
Non-normal modalities in variants of linear logic D Porello, N Troquard Journal of Applied Non-Classical Logics 25 (3), 229-255, 2015 | 10 | 2015 |
Grounding power on actions and mental attitudes E Lorini, N Troquard, A Herzig, J Broersen Logic Journal of IGPL 21 (3), 311-331, 2013 | 10* | 2013 |
Model checking strategic equilibria N Troquard, W Van Der Hoek, M Wooldridge Model checking and artificial intelligence, 166-188, 2009 | 10 | 2009 |
Perceptron operators that count P Galliani, O Kutz, N Troquard Proceedings of the 34th International Workshop on Description Logics (DL …, 2021 | 9 | 2021 |
A resource-sensitive logic of agency D Porello, N Troquard 21st European Conference on Artificial Intelligence (ECAI 2014), 723-728, 2014 | 9 | 2014 |
Non-normal modal description logics T Dalmonte, A Mazzullo, A Ozaki, N Troquard European Conference on Logics in Artificial Intelligence, 306-321, 2023 | 8 | 2023 |
Rational synthesis in the commons with careless and careful agents R Condurache, C Dima, Y Oualhadj, N Troquard Proceedings of the 20th International Conference on Autonomous Agents and …, 2021 | 8 | 2021 |
Repairing socially aggregated ontologies using axiom weakening D Porello, N Troquard, R Confalonieri, P Galliani, O Kutz, R Penaloza PRIMA 2017: Principles and Practice of Multi-Agent Systems: 20th …, 2017 | 8 | 2017 |
Asymmetric hybrids: Dialogues for computational concept combination G Righetti, D Porello, N Troquard, O Kutz, MM Hedblom, P Galliani Formal Ontology in Information Systems: Proceedings of the Twelfth …, 2022 | 7* | 2022 |
Action theories A Herzig, E Lorini, N Troquard Introduction to formal philosophy, 591-607, 2018 | 7 | 2018 |
The complexity of rational synthesis for concurrent games R Condurache, Y Oualhadj, N Troquard 29th International Conference on Concurrency Theory (CONCUR 2018), 2018 | 7 | 2018 |
A logic of propositional control for truthful implementations N Troquard, W Van Der Hoek, M Wooldridge Theoretical Aspects of Rationality and Knowledge (TARK XII), 237-246, 2009 | 7 | 2009 |
Alternating-time dynamic logic N Troquard, D Walther 9th International Conference on Autonomous Agents and Multiagent Systems …, 2010 | 6 | 2010 |
Towards knowledge-driven distillation and explanation of black-box models R Confalonieri, P Galliani, O Kutz, D Porello, G Righetti, N Troquard Proceedings of the Workshop on Data meets Applied Ontologies in Explainable …, 2021 | 5 | 2021 |
Concept combination in weighted logic G Righetti, C Masolo, N Troquard, O Kutz, D Porello Proceedings of the Joint Ontology Workshops 2021Episode VII: The Bolzano …, 2021 | 5 | 2021 |
Weighted description logic for classification problems G Righetti, P Galliani, O Kutz, D Porello, C Masolo, N Troquard GCAI 2019. Proceedings of the 5th Global Conference on Artificial …, 2019 | 4 | 2019 |
On help and interpersonal control E Bottazzi, N Troquard The cognitive foundations of group attitudes and social interaction, 1-23, 2015 | 4 | 2015 |
Logics of social choice and perspectives on their software implementation N Troquard Schloss Dagstuhl Seminar 11101, 2011 | 4 | 2011 |
Almost Certain Termination for Weakening R Confalonieri, P Galliani, O Kutz, D Porello, G Righetti, N Troquard EPIA Conference on Artificial Intelligence, 663-675, 2022 | 3 | 2022 |
Nash equilibria and their elimination in resource games N Troquard IJCAI'16 Proceedings of the Twenty-Fifth International Joint Conference on …, 2016 | 3 | 2016 |
Succinctness and complexity of ALC with counting perceptrons P Galliani, O Kutz, N Troquard Proceedings of the International Conference on Principles of Knowledge …, 2023 | 2 | 2023 |
Resource separation in dynamic logic of propositional assignments J Boudou, A Herzig, N Troquard Dynamic Logic. New Trends and Applications: Second International Workshop …, 2020 | 2 | 2020 |
Rich Coalitional Resource Games N Troquard AAAI 2018, 2018 | 2 | 2018 |
A resource-sensitive account of the use of artifacts D Porello, N Troquard Proceedings of the 2014 international conference on Autonomous agents and …, 2014 | 2 | 2014 |
Coalitional agency and evidence-based ability. N Troquard AAMAS, 1245-1246, 2012 | 2 | 2012 |
A computationally grounded dynamic logic of agency, with an application to legal actions A Herzig, T De Lima, E Lorini, N Troquard Deontic Logic in Computer Science: 11th International Conference, DEON 2012 …, 2012 | 2 | 2012 |
Uniform choices in logics of agency A Herzig, N Troquard IRIT: Institut de Recherche Informatique de Toulouse, 2005 | 2 | 2005 |
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning (Extended Version) N Troquard, M De Sanctis, P Inverardi, P Pelliccione, GL Scoccia arXiv preprint arXiv:2312.09699, 2023 | 1 | 2023 |
A Semantic Approach to Decidability in Epistemic Planning (Extended Version) A Burigana, P Felli, M Montali, N Troquard arXiv preprint arXiv:2307.15485, 2023 | 1 | 2023 |
Synthesis of Resource-Aware Controllers Against Rational Agents. R Condurache, C Dima, Y Oualhadj, N Troquard AAMAS, 775-783, 2023 | 1 | 2023 |
Knowledge Engineering and Knowledge Management: 23rd International Conference, EKAW 2022, Bolzano, Italy, September 26–29, 2022, Proceedings O Corcho, L Hollink, O Kutz, N Troquard, FJ Ekaputra Springer Nature, 2022 | 1 | 2022 |
Careful Autonomous Agents in Environments With Multiple Common Resources R Condurache, C Dima, M Jitaru, Y Oualhadj, N Troquard arXiv preprint arXiv:2207.09707, 2022 | 1 | 2022 |
Tracking and managing deemed abilities N Troquard Synthese 198 (6), 5027-5045, 2021 | 1 | 2021 |
Individual resource games and resource redistributions N Troquard Journal of Logic and Computation 30 (5), 1023-1062, 2020 | 1 | 2020 |
Two knowledge-driven approaches to explaining black-box models R Confalonieri, P Galliani, O Kutz, D Porello, G Righetti, N Troquard Proc. of Explainable Logic-Based Knowledge Representation (XLoKR 2020), 2020 | 1 | 2020 |
Learning Ontologies with Epistemic Reasoning: The Case A Ozaki, N Troquard European Conference on Logics in Artificial Intelligence, 418-433, 2019 | 1 | 2019 |
ATL with contexts: agency and explicit strategies N Troquard, D Walther Proceedings of LAMAS@ AAMAS 12, 2012 | 1 | 2012 |
Dynamic languages of propositional control for protocol specification A Herzig, N Troquard Logics in Security, 2010 | 1 | 2010 |
Some clarifications in logics of agency N Troquard Twelfth ESSLLI Student Session, 2007 | 1 | 2007 |
A Reading Companion to the ESSLLI Course" Logics for Agency and Multi-Agent Systems J Broersen, A Herzig, N Troquard Technical report, European Association for Logic, Language and Information, 2007 | 1 | 2007 |
Coopération entre démonstrateurs par tableaux et SAT N Troquard Master’s thesis, Université Paul Sabatier, jun 20004, 0 | 1 | |
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning N Troquard, M De Sanctis, P Inverardi, P Pelliccione, GL Scoccia Proceedings of the AAAI Conference on Artificial Intelligence 38 (20), 22385 …, 2024 | | 2024 |
Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention N Troquard Annals of Mathematics and Artificial Intelligence, 1-37, 2023 | | 2023 |
Non-Normal Modal Description Logics (Extended Version) T Dalmonte, A Mazzullo, A Ozaki, N Troquard arXiv preprint arXiv:2307.12265, 2023 | | 2023 |
Making Axiom Weakening Work in S 고 O 그 A R Bernard, O Kutz, N Troquard | | 2023 |
An Ontological Modelling of Prototype Theories D Porello, G Righetti, N Troquard, R Confalonieri, O Kutz CEUR WORKSHOP PROCEEDINGS 3500, 20-31, 2023 | | 2023 |
A semantic approach to decidability in epistemic planning A Burigana, P Felli, M Montali, N Troquard ECAI 2023, 319-326, 2023 | | 2023 |
EKAW-C 2022: Companion Proceedings of the 23rd International Conference on Knowledge Engineering and Knowledge Management, Bozen-Bolzano, Italy, September 26-29, 2022 D Symeonidou, R Yu, D Ceolin, M Poveda-Villalón, D Audrito, L Di Caro, ... EKAW-C 2022 Companion Proceedings of the 23rd International Conference on …, 2022 | | 2022 |
In a Nutshell: Perceptron Connectives in Knowledge Representation P Galliani, G Righetti, O Kutz, D Porello, N Troquard Proceedings of the 34th International Workshop on Description Logics (DL …, 2021 | | 2021 |
Two applications of concept refinement R Confalonieri, N Troquard, P Galliani, O Kutz, R Penaloza, D Porello CEUR WORKSHOP PROCEEDINGS 2071, 2018 | | 2018 |
The Complexity of Concurrent Rational Synthesis R Condurache, Y Oualhadj, N Troquard arXiv preprint arXiv:1707.06936, 2017 | | 2017 |
Rational verification in iterated electric boolean games Y Oualhadj, N Troquard arXiv preprint arXiv:1604.03773, 2016 | | 2016 |
Propositional dynamic logic N Troquard, P Balbiani The Stanford Encyclopedia of Philosophy, 2015 | | 2015 |
On Help and Interpersonal Control N Troquard, E Bottazzi The Cognitive Foundations of Group Attitudes and Social Interaction, 2015 | | 2015 |
Non-normal modalities in variants of Linear Logic N Troquard, D Porello Journal of Applied Non-Classical Logics, 2015 | | 2015 |
A formal theory for conceptualizing artefacts and tool manipulations. N Troquard FOIS, 119-132, 2014 | | 2014 |
Three traditions in the logic of action: bringing them together A Herzig, T Lima, E Lorini, N Troquard Krister Segerberg on Logic of Actions, 61-84, 2013 | | 2013 |
Reasoning about choice W van der Hoek, N Troquard, M Wooldridge Agreement Technologies: Second International Conference, AT 2013, Beijing …, 2013 | | 2013 |
A simple logic of tool manipulation N Troquard Social Coordination: Principles, Artefacts and Theories, SOCIAL. PATH 2013 …, 2013 | | 2013 |
Trois traditions en logiques d'action: vers une unification (Sixièmes Journées de l'Intelligence Artificielle Fondamentale (JIAF 2012), Toulouse, 22/05/12-24/05/12) A Herzig Sixièmes Journées de l'Intelligence Artificielle Fondamentale (JIAF 2012), 2012 | | 2012 |
Learning and Practice of the Property Specification Language N Troquard IEEE Design & Test of Computers 28 (5), 110-111, 2011 | | 2011 |
Playing equilibria: What’s the outcome function, again? N Troquard 9th Conference on Logic and the Foundations of Game and Decision Theory …, 2010 | | 2010 |
Reasoning about strategic games with hybrid logic of choice and preferences (draft) N Troquard, W van der Hoek, M Wooldridge 8th Conference on Logic and the Foundations of Game and Decision Theory, 2008 | | 2008 |
The hidden faces of Intention: using STIT to discover them A Herzig, E Lorini, N Troquard, R Trypuz Trends in Logic IV-Studia Logica International Conference: Towards …, 2006 | | 2006 |
From Coalition Logic to STIT N Troquard Electronic Notes in Theoretical Computer Science 157, 23-35, 2006 | | 2006 |
Action and Agency N Troquard, R Trypuz, L Vieu | | |