Nicolas Troquard

Identifiers

• name variant Nicolas Troquard 0.60 · backfill

Papers (8)

1. Verifying Quantized GNNs With Readout Is Decidable But Highly Intractable cs.LO · 2025 · author #4
2. Learning Ontologies with Epistemic Reasoning: The EL Case cs.AI · 2019 · author #2
3. Repairing Ontologies via Axiom Weakening cs.AI · 2017 · author #1
4. The Complexity of Concurrent Rational Synthesis cs.LO · 2017 · author #3
5. Non-normal modalities in variants of Linear Logic cs.LO · 2015 · author #2
6. DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE cs.LO · 2014 · author #4
7. Reasoning about Social Choice Functions cs.MA · 2011 · author #1
8. Alternative axiomatics and complexity of deliberative STIT theories cs.LO · 2007 · author #3

Mentions

• 1503.04193 #2 · backfill · confidence 0.70 Nicolas Troquard
• 1411.7825 #4 · backfill · confidence 0.70 Nicolas Troquard
• 1102.3341 #1 · backfill · confidence 0.70 Nicolas Troquard
• 0704.3238 #3 · backfill · confidence 0.70 Nicolas Troquard

Frequent Coauthors

• Andreas Herzig 2 shared papers
• Daniele Porello 2 shared papers
• Fran\c{c}ois Schwarzentruber 2 shared papers
• Philippe Balbiani 2 shared papers
• Ana Ozaki 1 shared papers
• Artem Chernobrovkin 1 shared papers
• Marco S\"alzer 1 shared papers
• Michael Wooldridge 1 shared papers
• Oliver Kutz 1 shared papers
• Pietro Galliani 1 shared papers
• Rafael Penaloza 1 shared papers
• Roberto Confalonieri 1 shared papers
• Rodica Condurache 1 shared papers
• Wiebe van der Hoek 1 shared papers
• Youssouf Oualhadj 1 shared papers