Nicolas Troquard

Assistant Professor, Gran Sasso Science Institute

Joined

July 2019

Names

Nicolas Troquard

Emails

****@gssi.it (Confirmed)

Personal Links

Career & Education History

Assistant Professor

Gran Sasso Science Institute (gssi.it)

2023 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

Verifying GNNs with Readout is Intractable
Artem Chernobrovkin, Marco Sälzer, François Schwarzentruber, Nicolas Troquard
- Submitted to ICLR 2026
- Readers: Everyone
On the Complexity of Verifying Quantized GNNs with Readout
Artem Chernobrovkin, Marco Sälzer, François Schwarzentruber, Nicolas Troquard
- Submitted to NeurIPS 2025
- Readers: Everyone
Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention
Nicolas Troquard
- Ann. Math. Artif. Intell. 2024
- Readers: Everyone
A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
Pierre Nunn, Marco Sälzer, François Schwarzentruber, Nicolas Troquard
- CoRR 2024
- Readers: Everyone
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning
Nicolas Troquard, Martina De Sanctis, Paola Inverardi, Patrizio Pelliccione, Gian Luca Scoccia
- AAAI 2024
- Readers: Everyone
Succinctness and Complexity of ALC with Counting Perceptrons
Pietro Galliani, Oliver Kutz, Nicolas Troquard
- KR 2023
- Readers: Everyone
A Semantic Approach to Decidability in Epistemic Planning
Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard
- ECAI 2023
- Readers: Everyone
Synthesis of Resource-Aware Controllers Against Rational Agents
Rodica Condurache, Catalin Dima, Youssouf Oualhadj, Nicolas Troquard
- AAMAS 2023
- Readers: Everyone
Asymmetric Hybrids: Dialogues for Computational Concept Combination (Extended Abstract)
Guendalina Righetti, Daniele Porello, Nicolas Troquard, Oliver Kutz, Maria M. Hedblom, Pietro Galliani
- IJCAI 2022
- Readers: Everyone
Resource separation in dynamic logic of propositional assignments
Joseph Boudou, Andreas Herzig, Nicolas Troquard
- J. Log. Algebraic Methods Program. 2021
- Readers: Everyone

View all 28 publications

Co-Authors

View all 30 co-authors