Nicolas Troquard @ GSSI

I am an assistant professor (RTDb) at the Gran Sasso Science Institute.

As a computer scientist, my research interests include logic, artificial intelligence, multiagent systems, ontologies, games and computational social choice, and formal philosophy.

In the past, I worked at the Free University of Bozen-Bolzano, the Université Paris-Est Créteil, the Institute of Cognitive Sciences and Technologies (LOA-ISTC-CNR, Trento), the University of Essex, the University of Liverpool, and the Institut de Recherche en Informatique de Toulouse (IRIT-CNRS). I obtained my PhD in Artificial Intelligence in 2007 from the University of Toulouse and the University of Trento.

I serve on the editorial board of Applied Ontology and Artificial Intelligence.

Abilitazione Scientifica Nazionale Prima Fascia: 01/B1 (informatica), 11/C2 (logica, storia, e filosofia della scienza).
Abilitazione Scientifica Nazionale Seconda Fascia: 09/H1 (sistemi di elaborazione delle informazioni), 01/A1 (logica matematica e matematiche complementari).

• Together with Marco Sälzer and François Schwarzentruber we are organising Workshop on Logical Methods for Neural Network Analysis (LOGICNN) at the Federated Logic Conference (FLoC 2026). Contact us if you're interested and would like to receive the latest updates.
• Program Committee member AAMAS 2026.
• Program Committee member AAAI-26 Student Abstract and Poster Program.
• Area Chair for AAAI 2026.
• Program Committee member for AAAI 2026 Demonstration Program.
• Our paper Verifying Quantized Graph Neural Networks is PSPACE-complete was accepted at IJCAI 2025.
• Program Committee member KR 2025.
• Program Committee member KRR@EPIA 2025.
• Program Committee member DL 2025.
• Program Committee member IJCAI 2025 Special Track on AI4Tech.
• Program Committee member FOIS 2025.
• Invited talk Strategizing in environments with common-pool resources at the workshop SPIRIT @ AIxIA 2024. The slides are here.
• Our paper Building an Ontology of Computational Complexity received the Best Paper Award at JOWO 2024. (In unibz news.)
• Program Committee member AAAI-25 Student Abstract and Poster Program.
• Program Committee member EKAW 2024.
• Program Committee member OVERLAY 2024.
• Area Chair for AAAI 2025.
• Our paper A Logic for Reasoning About Aggregate-Combine Graph Neural Networks was accepted at IJCAI 2024.
• Our paper Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning was accepted at AAAI 2024.
• My paper Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention was published in Annals of Mathematics and Artificial Intelligence.
• Program Committee member IJCAI 2024.
• Program Committee member ECAI 2024.
• Program Committee member DL 2024.
• Senior Program Committee member FOIS 2024.
• Area Chair for AAMAS 2024, area Markets, Auctions, and Non-Cooperative Game Theory.
• Program Committee member AAAI-24 Student Abstract and Poster Program.
• Area Chair for AAAI 2024.
• Past news