Publications of Nicolas Troquard
DBLP | ORCID | SCOPUS | Web Of Science | Google Scholar | Semantic Scholar
2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | Theses | Other communications
2023
Daniele Porello, Guendalina Righetti, Nicolas Troquard, Roberto Confalonieri, and Oliver Kutz.
An Ontological Modelling of Prototype Theories
In Proceedings of the 9th Workshop on Formal and Cognitive Reasoning (FCR 2023), CEUR-WS, 3500, 2023
[ ceur ]
Alessandro Burigana, Paolo Felli, Marco Montali, and Nicolas Troquard.
A Semantic Approach to Decidability in Epistemic Planning.
In 26th European Conference on Artificial Intelligence (ECAI 2023), IOS Press, 2023, pages 319-326.
[ arxiv | ios press ]
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, and Nicolas Troquard.
Non-Normal Modal Description Logics.
In 18th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2023), volume 14281 of Lecture Notes in Computer Science, pages 306-321. Springer, 2023.
[ arxiv | springer ]
Roland Bernard, Oliver Kutz, and Nicolas Troquard.
Making Axiom Weakening Work in SROIQ.
In Proceedings of 36th International Workshop on Description Logics (Description Logics 2023), CEUR-WS, 3515, 2023.
[ ceur ]
Pietro Galliani, Oliver Kutz, and Nicolas Troquard.
Succinctness and Complexity of ALC with Counting Perceptrons.
In 20th International Conference on Principles of Knowledge Representation and Reasoning (KR2023), IJCAI Organization, 2023, pages 291-300.
[ kr | .pdf ]
Rodica Condurache, Catalin Dima, Youssouf Oualhadj, and Nicolas Troquard.
Synthesis of Resource-Aware Controllers Against Rational Agents.
In 22nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'23). IFAAMAS, 2023, pages 775-783.
[ .pdf | acm ]
Alessandro Burigana, Paolo Felli, Marco Montali, and Nicolas Troquard.
A Semantic Approach to Decidability in Epistemic Planning (Extended Abstract).
In 22nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'23). IFAAMAS, 2023, pages 2361-2363.
[ .pdf | acm ]
Nicolas Troquard, and Philippe Balbiani.
Propositional Dynamic Logic.
In The Stanford Encyclopedia of Philosophy. Spring 2023.
[ .html ]
2022
Danai Symeonidou, Ran Yu, Davide Ceolin, María Poveda-Villalón, Davide Audrito, Luigi Di Caro, Francesca Grasso, Roberto Nai, Emilio Sulis, Fajar J. Ekaputra, Oliver Kutz, and Nicolas Troquard (editors).
Companion Proceedings of the 23rd International Conference on Knowledge Engineering and Knowledge Management, Bozen-Bolzano, Italy, September 26-29, 2022.
CEUR Workshop Proceedings 3256, CEURWS, 2022.
[ CEUR ]
Oscar Corcho, Laura Hollink, Oliver Kutz, Nicolas Troquard, and Fajar J. Ekaputra (editors).
Knowledge Engineering and Knowledge Management. 23rd International Conference, EKAW 2022, Bolzano, Italy, September 26–29, 2022, Proceedings.
Lecture Notes in Computer Science (LNCS, volume 13514), Springer, 2022.
[ springer ]
Guendalina Righetti, Daniele Porello, Nicolas Troquard, Oliver Kutz, Maria M. Hedblom, and Pietro Galliani.
Asymmetric Hybrids: Dialogues for Computational Concept Combination (Extended Abstract).
In Proceedings of the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), pages 5329-5333, 2022.
[ .pdf | ijcai ]
Rodica Condurache, Catalin Dima, Madalina Jitaru, Youssouf Oualhadj, and Nicolas Troquard.
Careful Autonomous Agents in Environments With Multiple Common Resources.
In Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, EPTCS 362, pages 3-14, 2022.
[ .pdf | arxiv ]
Guendalina Righetti, Oliver Kutz, Daniele Porello, and Nicolas Troquard.
A Game of Essence and Serendipity: Superb Owls vs. Whisking Woodpeckers.
In Proceedings of the 13th International Conference on Computational Creativity (ICCC'22), Association for Computational Creativity, pages 300-309, 2022.
[ .pdf ]
Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, and Nicolas Troquard.
Almost certain termination for ALC weakening.
In Proceedings of the 21st EPIA Conference on Artificial Intelligence, Volume 13566, LNCS, pages 663-674. Springer, 2022. (Best paper award).
[ .pdf | springer ]
2021
Emilio M. Sanfilippo, Oliver Kutz, Nicolas Troquard, Torsten Hahmann, Claudio Masolo, Robert Hoehndorf, and Randi Vita.
Proceedings of the Joint Ontology Workshops 2021, Episode VII: The Bolzano Summer of Knowledge 2.0, co-located with FOIS 2021 and ICBO 2021, Virtual & Bozen-Bolzano, Italy, September 10–18, 2021.
CEUR Workshop Proceedings Vol. 2969, CEUR-WS.org, 2021.
[ CEUR ]
Joseph Boudou, Andreas Herzig, and Nicolas Troquard.
Resource separation in dynamic logic of propositional assignments.
In Journal of Logical and Algebraic Methods in Programming, 121(?):?-?. Elsevier, 2021.
doi: 10.1016/j.jlamp.2021.100683
[ arxiv | elsevier ]
Nicolas Troquard.
Tracking and managing deemed abilities.
In Synthese, 198(6):5027-5045, Open Access, Springer.
doi: 10.1007/s11229-019-02387-3
[ arxiv | .pdf | springer ]
Rodica Condurache, Catalin Dima, Youssouf Oualhadj, and Nicolas Troquard.
Rational Synthesis in the Commons with Careless and Careful Agents.
In 20th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'21). IFAAMAS, 2021, pages 368-376.
[ .pdf | ifaamas & video ]
Guendalina Righetti, Daniele Porello, Nicolas Troquard, Oliver Kutz, Maria M. Hedblom, and Pietro Galliani.
Asymmetric Hybrids: Dialogues for Computational Concept Combination.
In 12th International Conference on Formal Ontology in Information Systems (FOIS 2021). IOS Press, 2021, pages 81-96. (Best paper award).
[ .pdf | ios press ]
Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard.
Towards Knowledge-driven Distillation and Explanation of Black-box Models.
In Proceedings of the Workshop on Data meets Applied Ontologies in Explainable AI (DAO-XAI 2021), CEUR-WS, 2998, 2021.
[ ceur ]
Guendalina Righetti, Claudio Masolo, Nicolas Troquard, Oliver Kutz, and Daniele Porello.
Concept Combination in Weighted Logic.
In Proceedings of The Joint Ontology Workshops (JOWO 2021), CEUR-WS, 2969, 2021.
[ ceur ]
Pietro Galliani, Oliver Kutz, and Nicolas Troquard.
Perceptron Operators That Count.
In Proceedings of 34th International Workshop on Description Logics (Description Logics 2021), CEUR-WS, 2954, 2021.
[ ceur ]
Pietro Galliani, Guendalina Righetti, Oliver Kutz, Daniele Porello and Nicolas Troquard.
In a Nutshell: Perceptron Connectives in Knowledge Representation.
In Proceedings of 34th International Workshop on Description Logics (Description Logics 2021), CEUR-WS, 2954, 2021.
[ ceur ]
2020
Nicolas Troquard.
Individual resource games and resource redistributions.
In Journal of Logic and Computation, 30(5):1023-1062. Oxford University Press, 2020.
doi: 10.1093/logcom/exaa031
[ arxiv | OUP ]
Pietro Galliani, Guendalina Righetti, Oliver Kutz, Daniele Porello, and Nicolas Troquard.
Perceptron Connectives in Knowledge Representation.
In Proceedings of 22nd International Conference on Knowledge Engineering and Knowledge Management (EKAW 2020), volume 12387 of Lecture Notes in Computer Science, pages 183-193. Springer, 2020.
[ springer ]
Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, and Nicolas Troquard.
Towards Even More Irresistible Axiom Weakening.
In Proceedings of 33rd International Workshop on Description Logics (Description Logics 2020), CEUR-WS, 2663, 2021.
[ ceur ]
Joseph Boudou, Andreas Herzig, and Nicolas Troquard.
Resource separation in dynamic logic of propositional assignments.
In 2nd DaLí Workshop --- Dynamic Logic: New Trends and Applications, volume 12005 of Lecture Notes in Computer Science, pages 155-170. Springer, 2020.
[ springer ]
2019
Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, and Nicolas Troquard.
On Knowledge Dependence in Weighted Description Logic.
In 5th Global Conference on Artificial Intelligence (GCAI 2019), EPiC Series in Computing, volume 65, pages 68-80, 2019.
[ .pdf | easychair ]
Guendalina Righetti, Pietro Galliani, Oliver Kutz, Claudio Masolo, Daniele Porello, and Nicolas Troquard.
Weighted Description Logic for Classification Problems.
In 5th Global Conference on Artificial Intelligence (GCAI 2019), EPiC Series in Computing, volume 65, pages 108-112, 2019.
[ .pdf | easychair ]
Guendalina Righetti, Daniele Porello, Oliver Kutz, Nicolas Troquard, and Claudio Masolo.
Pink Panthers and Toothless Tigers: Three Problems in Classification.
In 7th International Workshop on Artificial Intelligence and Cognition (AIC 2019), pages 39-53, 2019.
[ .pdf | ceur ]
Daniele Porello, Oliver Kutz, Guendalina Righetti, Nicolas Troquard, Pietro Galliani, and Claudio Masolo.
A Toothful of Concepts: Towards a Theory of Weighted Concept Combination.
In Proceedings of the 32nd International Workshop on Description Logics (Description Logics 2019), CEUR-WS 2373, 2019.
[ ceur ]
Ana Ozaki, and Nicolas Troquard.
Learning Ontologies with Epistemic Reasoning: The EL Case (Extended Abstract).
In Proceedings of the 32nd International Workshop on Description Logics (Description Logics 2019), CEUR-WS 2373, 2019.
[ ceur ]
Ana Ozaki, and Nicolas Troquard.
Learning Ontologies with Epistemic Reasoning: The EL Case.
In European Conference on Logics in Artificial Intelligence (JELIA 2019), volume 11468 of Lecture Notes in Computer Science, pages 418-433. Springer, 2019.
[ arxiv | springer ]
Nicolas Troquard, and Philippe Balbiani.
Propositional Dynamic Logic.
In The Stanford Encyclopedia of Philosophy. Spring 2019.
[ .html ]
2018
Rodica Condurache, Youssouf Oualhadj, and Nicolas Troquard.
The complexity of rational synthesis for concurrent games.
In 29th International Conference on Concurrency Theory (CONCUR 2018).
Leibniz International Proceedings in Informatics, 2018, Volume 118, pages 38:1-38:15.
[ arxiv | LIPIcs ]
Oliver Kutz, Nicolas Troquard, Maria Hedblom, and Daniele Porello.
The Mouse and the Ball: Towards a cognitively-based and ontologically-grounded logic of agency.
In 10th International Conference on Formal Ontology in Information Systems (FOIS 2018). IOS Press, 2018, pages 141-148.
[ ios press ]
Daniele Porello, Nicolas Troquard, Rafael Peñaloza, Roberto Confalonieri, Pietro Galliani, and Oliver Kutz.
Two Approaches to Ontology Aggregation Based on Axiom Weakening.
In 27th International Joint Conference on Artificial Intelligence and 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018).
International Joint Conferences on Artificial Intelligence Organization, 2018, pages 1942-1948.
[ .pdf | ijcai ]
Nicolas Troquard.
Rich Coalitional Resource Games.
In Thirty-Second AAAI Conference on Artificial Intelligence (AAAI 2018). AAAI Press, 2018, pages 1242-1249.
[ .pdf | aaai ]
Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello, and Oliver Kutz.
Repairing Ontologies via Axiom Weakening.
In Thirty-Second AAAI Conference on Artificial Intelligence (AAAI 2018). AAAI Press, 2018, pages 1981-1988.
[ arxiv | aaai ]
Andreas Herzig, Emiliano Lorini, and Nicolas Troquard.
Action Theories.
In Introduction to Formal Philosophy, pages 591-607, Springer, 2018.
[ .pdf (preprint) | springer ]
Emilio Sanfilippo, Sergio Benavent, Stefano Borgo, Nicola Guarino, Nicolas Troquard, Fernando Romero, Pedro Rosado, Lorenzo Solano, Farouk Belkadi, and Alain Bernard.
Modeling manufacturing resources: An ontological approach.
In Product Lifecycle Management to Support Industry 4.0 -- IFIP 15th International Conference on Product Lifecycle Management (PLM 2018) Proceedings,
Series: IFIP Advances in Information and Communication Technology, Volume 540, Springer, 2018, pages 304-313.
[ springer ]
Roberto Confalonieri, Nicolas Troquard, Pietro Galliani, Oliver Kutz, Rafael Peñaloza, and Daniele Porello.
Two Applications of Concept Refinement.
In Comprehensibility and Explanation in AI and ML 2017 (CEX 2017). CEUR-WS 2071, 2018.
[ ceur ]
2017
Daniele Porello, Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Oliver Kutz, and Rafael Peñaloza.
Repairing Socially Aggregated Ontologies Using Axiom Weakening.
In 20th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2017). Volume 10621, LNCS, pages 441-449. Springer, 2017.
[ .pdf | springer ]
Roberto Confalonieri, Oliver Kutz, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Marco Schorlemmer, and Nicolas Troquard
Coherence, Similarity, and Concept Generalisation.
In 30th International Workshop on Description Logics (Description Logics 2017). CEUR-WS 1879, 2017.
[ ceur ]
2016
Nicolas Troquard.
Nash equilibria and their elimination in resource games.
In 25th International Joint Conference on Artificial Intelligence (IJCAI 2016). AAAI Press, 2016, pages 503-509.
[ .pdf | ijcai ]
Youssouf Oualhadj, and Nicolas Troquard.
Rational verification in Iterated Electric Boolean Games.
In International Workshop on Strategic Reasoning SR2016 @ LICS, EPTCS 218, pages 41-51.
[ arxiv ]
2015
Daniele Porello, and Nicolas Troquard.
Non-normal modalities in variants of Linear Logic.
In Journal of Applied Non-Classical Logics (JANCL), 25(3):229-255. Taylor & Francis, 2015.
doi: 10.1080/11663081.2015.1080422
[ arxiv | taylor & francis ]
Emanuele Bottazzi, and Nicolas Troquard.
On Help and Interpersonal Control.
In The Cognitive Foundations of Group Attitudes and Social Interaction. Volume in the series Studies in the Philosophy of Sociality. Springer, 2015, pages 1-25.
[ .pdf | springer ]
Nicolas Troquard, and Philippe Balbiani.
Propositional Dynamic Logic.
In The Stanford Encyclopedia of Philosophy. Spring 2015.
[ .html ]
2014
Nicolas Troquard.
A formal theory for conceptualizing artefacts and tool manipulations.
In 8th International Conference on Formal Ontology in Information Systems (FOIS 2014). IOS Press, 2014, pages 119-132.
[ .pdf | ios press]
Stefano Borgo, Daniele Porello, and Nicolas Troquard.
Logical Operators for Ontological Modeling.
In 8th International Conference on Formal Ontology in Information Systems (FOIS 2014). IOS Press, 2014, pages 23-36.
[ .pdf | ios press ]
Daniele Porello, and Nicolas Troquard.
A resource-sensitive logic of agency.
In 21st European Conference on Artificial Intelligence (ECAI'14), Prague, Czech Republic. IOS Press, 2014, pages 723-728.
[ .pdf | ios press ]
Daniele Porello, and Nicolas Troquard.
A resource-sensitive account of the use of artifacts.
In 13th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'14), Paris, France. IFAAMAS, 2014, pages 1549-1550. (Short paper, submitted as such).
[ .pdf | acm ]
Nicolas Troquard.
Reasoning about coalitional agency and ability in the logics of "bringing-it-about".
In Autonomous Agents and Multi-Agent Systems, 28(3):381-407, Springer, 2014.
doi: 10.1007/s10458-013-9229-x
[ .pdf (preprint) | springer ]
Andreas Herzig, Tiago de Lima, Emiliano Lorini, and Nicolas Troquard.
Three traditions in the logic of action: bringing them together.
In Robert Trypuz, editor, Krister Segerberg on Logic of Actions, pages 61-84, Series: Outstanding Contributions to Logic, Vol. 1, Springer, 2014.
[ springer ]
2013
Wiebe van der Hoek, Nicolas Troquard, and Michael Wooldridge.
Reasoning about Choice.
In 2nd Int. Conf. on Agreement Technologies (AT-2013), LNCS 8068, Springer, 2013.
[ .pdf | springer ]
Philippe Balbiani, Andreas Herzig, and Nicolas Troquard.
Dynamic logic of propositional assignments: a well-behaved variant of PDL.
In 28th ACM/IEEE Symposium on Logic in Computer Science (LICS 2013), New Orleans, USA., pages 143-152. IEEE Computer Society, 2013.
[ .pdf | ieee | erratum ]
Emiliano Lorini, Nicolas Troquard, Andreas Herzig and Jan Broersen.
Grounding power on actions and mental attitudes.
In Logic Journal of the IGPL, 21(3):311-331. Oxford University Press, 2013.
doi: 10.1093/jigpal/jzr039
[ .pdf (preprint) | OUP ]
Nicolas Troquard.
A simple logic of tool manipulation.
In AISB Convention 2013, Symposium the SOCIAL.PATH, Exeter, UK, pages 80-82. The Society for the Study of Artificial Intelligence and the Simulation of Behaviour, 2013.
[ .pdf ]
2012
Nicolas Troquard, and Dirk Walther.
On satisfiability in ATL with strategy contexts.
In European Conference on Logics in Artificial Intelligence (JELIA 2012), volume 7519 of Lecture Notes in Computer Science, pages 398-410. Springer, 2012.
[ .pdf | springer ]
Andreas Herzig, Tiago de Lima, Emiliano Lorini, and Nicolas Troquard.
A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions.
In DEON 2012, LNAI 7393, pages 170-183, Springer 2012.
[ .pdf | springer ]
Nicolas Troquard, and Dirk Walther.
ATL with contexts: agency and explicit strategies.
In 5th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS@AAMAS'12).
[ .pdf ]
Nicolas Troquard.
Coalitional Agency and Evidence-Based Ability.
In 11th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'12), Valencia, Spain, pages 1245-1246. IFAAMAS, 2012. (Short paper).
[ .pdf | acm ]
2011
Nicolas Troquard.
Learning and Practice of the Property Specification Language.
In IEEE Design and Test of Computers, 28(5):110-111, IEEE Computer Society Press, Sep./Oct. 2011.
doi: 10.1109/MDT.2011.111
[ ieee ]
Andreas Herzig, Emiliano Lorini, and Nicolas Troquard.
A dynamic logic of institutional actions.
In 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII @IJCAI'11), Barcelona, Spain. Volume 6814 of Lecture Notes in Computer Science (LNCS), pages 295-311. Springer, 2011.
[ .pdf | springer ]
Nicolas Troquard, Wiebe van der Hoek, and Michael Wooldridge.
Reasoning About Social Choice Functions.
In Journal of Philosophical Logic, 40(4):473-498. Springer, 2011.
doi: 10.1007/s10992-011-9189-z
[ .pdf (preprint) | springer ]
Andreas Herzig, Emiliano Lorini, Frédéric Moisan, and Nicolas Troquard.
A dynamic logic of normative systems.
In 22nd International Joint Conference on Artificial Intelligence (IJCAI'11), Barcelona, Spain, pages 228-233. Morgan Kaufmanm, 2011.
[ .pdf | ijcai ]
Wiebe van der Hoek, Nicolas Troquard, and Michael Wooldridge.
Knowledge and Control.
In 10th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'11), Taipei, Taiwan, pages 719-726. IFAAMAS, 2011.
[ .pdf | acm ]
2010
Nicolas Troquard and Dirk Walther.
Alternating-time Dynamic Logic.
In 9th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'10), Toronto, Canada, pages 473-480. IFAAMAS, 2010.
[ .pdf | acm ]
2009
Jan Broersen, Andreas Herzig, and Nicolas Troquard.
What groups do, can do, and know they can do: an analysis in normal modal logics.
In Journal of Applied Non-Classical Logics (JANCL), 19(3):261-290. Taylor & Francis, 2009.
doi: 10.3166/jancl.19.261289
[ .pdf (preprint) | taylor & francis ]
Nicolas Troquard, Wiebe van der Hoek, and Michael Wooldridge.
A logic of propositional control for truthful implementations.
In Theoretical Aspects of Rationality and Knowledge (TARK XII), Stanford, CA, pages 237-246. ACM DL, 2009.
[ .pdf | acm ]
Nicolas Troquard, Wiebe van der Hoek, and Michael Wooldridge.
A Logic of Games and Propositional Control.
In 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'09), Budapest, Hungary, pages 961-968. IFAAMAS, 2009.
[ .pdf | acm ]
Nicolas Troquard, Wiebe van der Hoek, and Michael Wooldridge.
Model checking strategic equilibria.
In Model Checking and Artificial Intelligence. Volume 5348 of Lecture Notes in Artificial Intelligence (LNAI), pages 166-188. Springer, 2009.
[ .pdf | springer ]
2008
Philippe Balbiani, Andreas Herzig, and Nicolas Troquard.
Alternative axiomatics and complexity of deliberative STIT theories.
In Journal of Philosophical Logic (JPL), 37(4):387-406. Springer, 2008.
doi: 10.1007/s10992-007-9078-7
[ .pdf (preprint) | springer ]
Philippe Balbiani, Olivier Gasquet, Andreas Herzig, François Schwarzentruber, and Nicolas Troquard.
Coalition games over Kripke semantics: expressiveness and complexity.
In Cédric Dégremont, Laurent Keiff, and Helge Rückert, editors, Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman, pages 5-26. Tributes, College Publications, London, 2008.
[ .pdf ]
2007
Jan Broersen, Andreas Herzig, and Nicolas Troquard.
A Normal Simulation of Coalition Logic and an Epistemic Extension.
In Theoretical Aspects of Rationality and Knowledge (TARK XI), Brussels, Belgium, pages 91-101. ACM DL, 2007.
[ .pdf | acm ]
Emiliano Lorini, Nicolas Troquard, Andreas Herzig, and Cristiano Castelfranchi.
Delegation and mental states.
In 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'07), Honolulu, Hawaii, USA, pages 622-624. ACM Press, 2007. (Short paper).
[ .pdf | acm ]
Emiliano Lorini, Andreas Herzig, Jan Broersen and Nicolas Troquard.
Grounding power on actions and mental attitudes.
In Formal Approaches to Multi-Agent Systems (FAMAS'007), Durham, pages 19-37. Durham University Press, 2007.
[ .pdf ] [superseded by J. of IGPL 2013]
2006
Jan Broersen, Andreas Herzig, and Nicolas Troquard.
Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency.
In Journal of Logic and Computation, 16(5):559-578. Oxford University Press, 2006.
doi: 10.1093/logcom/exl025
[ .pdf (preprint) | OUP ]
Nicolas Troquard, Robert Trypuz, and Laure Vieu.
Towards an ontology of agency and action: From STIT to OntoSTIT+.
In Brandon Bennett and Christiane Fellbaum, editors, International Conference on Formal Ontology in Information Systems (FOIS), Baltimore, Maryland, USA. Volume 150 of Frontiers in Artificial Intelligence and Applications, pages 179-190. IOS Press, 2006. (Best paper award).
[ .pdf | acm ]
Jan Broersen, Andreas Herzig, and Nicolas Troquard.
A STIT-extension of ATL.
In European Conference on Logics in Artificial Intelligence (JELIA 2007), volume 4160 of Lecture Notes in Computer Science, pages 69-81. Springer, 2006.
[ .pdf | springer ]
Nicolas Troquard and Laure Vieu.
Towards a logic of agency and actions with duration.
In European Conference on Artificial Intelligence (ECAI), Riva del Garda, Italy, pages 775-776. IOS Press, 2006. (Short paper).
[ .pdf | acm ]
Andreas Herzig and Nicolas Troquard.
Knowing How to Play: Uniform Choices in Logics of Agency.
In 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06), Hakodate, Japan, pages 209-216. ACM Press, 2006.
[ .pdf | acm ]
Jan Broersen, Andreas Herzig, and Nicolas Troquard.
From Coalition Logic to STIT.
In Wiebe van der Hoek, Alessio Lomuscio, Erik de Vink, and Mike Wooldridge, editors, International Workshop on Logic and Communication in Multi-Agent Systems (LCMAS @IJCAI'05), Edinburgh, Scotland, UK, volume 157 of Electronic Notes in Theoretical Computer Science (ENTCS), pages 23-35. Elsevier, 2006.
[ .pdf | ScienceDirect ]
Theses
Nicolas Troquard.
Independent agents in branching time.
PhD thesis. Université Paul Sabatier, Toulouse, France and Università degli studi di Trento, Italy, July 2007.
[ .pdf ]
Nicolas Troquard.
Coopération entre démonstrateurs par tableaux et SAT.
MA thesis. Université Paul Sabatier, Toulouse, France, 2004.
[ .pdf | English abstract ]
Other communications with reading committee
Rodica Condurache, Catalin Dima, Madalina Jitaru, Youssouf Oualhadj, and Nicolas Troquard.
Careful rational synthesis in games with multiple common resources.
In International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning (LAMAS@AiML 2022), 2022.
[ .pdf ]
Diego Calvanese, Francesco Corcoglioniti, Julien Corman, Davide Lanti, Marco Montali, Alessandro Mosca, Nicolas Troquard, and Guohui Xiao.
Semantic Technologies in the Public Administration: Data and Process Management at unibz.
In Ital-IA 2022 - secondo Convegno Nazionale CINI sull'Intelligenza Artificiale, 2022.
[ .pdf ]
Alessandro Artale, Diego Calvanese, Roberto Confalonieri, Francesco Corcoglioniti, Julien Corman, Johann Gamper, Oliver Kutz, Davide Lanti, Antonio Liotta, David Massimo, Alessandro Mosca, Youssouf Oualhadj, Francesco Ricci, Nicolas Troquard, and Markus Zanker.
AI’s many roads to a more sustainable future: Sustainable AI at unibz.
In Ital-IA 2022 - secondo Convegno Nazionale CINI sull'Intelligenza Artificiale, 2022.
[ .pdf ]
Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Marco Montali, Guendalina Righetti, Nicolas Troquard, and Markus Zanker.
Knowledge-driven and Human-understandable Explanations of Black Box Models and Process Mining.
In Ital-IA 2022 - secondo Convegno Nazionale CINI sull'Intelligenza Artificiale, 2022.
[ .pdf ]
Martina De Sanctis, Maria Teresa Rossi, and Nicolas Troquard.
LiScambio: literacy and city-center revitalization.
In 5th Italian Conference on ICT for Smart Cities And Communities (I-Cities 2019), 2019.
Rodica Condurache, Cătălin Dima, Youssouf Oualhadj, and Nicolas Troquard.
Energy Sensitive Rational Synthesis.
In Third Symposium on Working Formal Methods (FROM 2019), 2019.
[ .pdf ]
Daniele Porello, Nicolas Troquard, Rafael Peñaloza, Roberto Confalonieri, Pietro Galliani, and Oliver Kutz.
Social Mechanisms for the Collective Engineering of Ontologies.
In 7th International Workshop on Computational Social Choice (COMSOC 2018), 2018.
Daniele Porello, and Nicolas Troquard.
A logical modeling of artifacts' behaviour.
Symposium Italian Society for Logic and Philosophy of Science (SILFS 2014)
Daniele Porello, and Nicolas Troquard.
Non-normal modal Linear Logic with an application to resource-sensitive agency.
In 7th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS@AAMAS'14).
Emanuele Bottazzi, and Nicolas Troquard.
Help as a form of control.
Collective Intentionality IX (COLLINT 2014)
Emanuele Bottazzi, and Nicolas Troquard
A Logical and Philosophical Analysis of Helping.
5th Joint Action Meeting (JAM 2013)
Emanuele Bottazzi, and Nicolas Troquard
Preliminaries on the logic of cooperative impulses.
Collective Intentionality VIII (COLLINT 2012)
Andreas Herzig, Tiago De Lima, Emiliano Lorini, and Nicolas Troquard.
Trois traditions en logiques d'action: vers une unification.
Sixièmes Journées de l'Intelligence Artificielle Fondamentale (JIAF 2012)
Andreas Herzig and Nicolas Troquard.
Dynamic languages of propositional control for protocol specification.
Workshop Logics in Security (LIS@ESSLLI'10).
[ .pdf ]
Nicolas Troquard.
Playing equilibria: What's the outcome function, again?
In 9th Conference on Logic and the Foundations of Game and Decision Theory (LOFT'10).
[ .pdf ]
Andreas Herzig, and Nicolas Troquard.
The Dynamic Logic of Propositional Control.
In 3rd Workshop on Logical Aspects of Multi-Agent Systems (LAMAS@AAMAS'10).
Nicolas Troquard, Wiebe van der Hoek, and Michael Wooldridge.
Reasoning about strategic games with hybrid logic of choice and preferences.
Plenary session at LOFT'08 (July, Amsterdam, The Netherlands) and long presentation EUMAS'08 (December, Bath, UK). [superseded by LNAI Vol. 5348, 2009]
Nicolas Troquard.
Some clarifications in logics of agency.
In 12th ESSLLI Student Session, Dublin, Ireland, Ville Nurmi and Dmitry Sustretov, editors, 2007.
[ .pdf ]
Nicolas Troquard, Robert Trypuz, and Laure Vieu.
Ontology of Agency, from modal logics to first-order theories.
In Studia Logica International Conference, Towards Mathematical Philosophy, Trends in Logic IV, Toruñ, Poland, 2006. [superseded by FOIS 2006]
Andreas Herzig, Emiliano Lorini, Nicolas Troquard, and Robert Trypuz.
The hidden faces of Intention: using STIT to discover them.
In Studia Logica International Conference, Towards Mathematical Philosophy, Trends in Logic IV, Toruñ, Poland, 2006. [superseded by AAMAS 2007]
Jan Broersen, Andreas Herzig, and Nicolas Troquard.
From Coalition Logic to STIT.
In Wiebe van der Hoek, Alessio Lomuscio, Erik de Vink, and Mike Wooldridge, editors, 3rd Int. Workshop on Logic and Communication in Multiagent Systems (LCMAS 2005), Edinburgh, 2005. Workshop at IJCAI 2005. [superseded by ENTCS 2006]