Nicolas Troquard
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
36
Venues
17
Active years
2006–2026
Best venue rank
A*
Where they publish
Papers
36 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | KR | Verifying Quantized GNNs With Readout Is Decidable But Highly Intractable. | Artem Chernobrovkin, Marco Slzer, Franois Schwarzentruber, Nicolas Troquard |
| 2026 | TACAS | Extending FRET with SLEEC Rules: Formalization, Obligation Inference, and Monitoring. | Mahrokh Mirani, Paola Inverardi, Patrizio Pelliccione, Franco Raimondi, Nicolas Troquard |
| 2025 | IJCAI | Verifying Quantized Graph Neural Networks is PSPACE-complete. | Marco Slzer, Franois Schwarzentruber, Nicolas Troquard |
| 2024 | AAAI | Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning. | Nicolas Troquard, Martina De Sanctis, Paola Inverardi, Patrizio Pelliccione, Gian Luca Scoccia |
| 2024 | EKAW | Modelling and Mining Knowledge About Computational Complexity. | Anton R. Gnatenko, Oliver Kutz, Nicolas Troquard |
| 2024 | IJCAI | A Logic for Reasoning about Aggregate-Combine Graph Neural Networks. | Pierre Nunn, Marco Slzer, Franois Schwarzentruber, Nicolas Troquard |
| 2023 | ECAI | A Semantic Approach to Decidability in Epistemic Planning. | Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard |
| 2023 | JELIA | Non-Normal Modal Description Logics. | Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, Nicolas Troquard |
| 2023 | KI | An Ontological Modelling of Prototype Theories. | Daniele Porello, Guendalina Righetti, Nicolas Troquard, Roberto Confalonieri, Oliver Kutz |
| 2023 | KR | Succinctness and Complexity of ALC with Counting Perceptrons. | Pietro Galliani, Oliver Kutz, Nicolas Troquard |
| 2022 | EPIA | Almost Certain Termination for | Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard |
| 2022 | IJCAI | Asymmetric Hybrids: Dialogues for Computational Concept Combination (Extended Abstract). | Guendalina Righetti, Daniele Porello, Nicolas Troquard, Oliver Kutz, Maria M. Hedblom, Pietro Galliani |
| 2021 | FOIS | Asymmetric Hybrids: Dialogues for Computational Concept Combination. | Guendalina Righetti, Daniele Porello, Nicolas Troquard, Oliver Kutz, Maria M. Hedblom, Pietro Galliani |
| 2021 | ICANN | Towards Knowledge-driven Distillation and Explanation of Black-box Models. | Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard |
| 2020 | EKAW | Perceptron Connectives in Knowledge Representation. | Pietro Galliani, Guendalina Righetti, Oliver Kutz, Daniele Porello, Nicolas Troquard |
| 2019 | JELIA | Learning Ontologies with Epistemic Reasoning: The | Ana Ozaki, Nicolas Troquard |
| 2019 | TAP | Resource Separation in Dynamic Logic of Propositional Assignments. | Joseph Boudou, Andreas Herzig, Nicolas Troquard |
| 2018 | AAAI | Repairing Ontologies via Axiom Weakening. | Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Pealoza, Daniele Porello, Oliver Kutz |
| 2018 | AAAI | Rich Coalitional Resource Games. | Nicolas Troquard |
| 2018 | CONCUR | The Complexity of Rational Synthesis for Concurrent Games. | Rodica Condurache, Youssouf Oualhadj, Nicolas Troquard |
| 2018 | FOIS | The Mouse and the Ball - Towards a Cognitively-Based and Ontologically-Grounded Logic of Agency. | Oliver Kutz, Nicolas Troquard, Maria M. Hedblom, Daniele Porello |
| 2018 | IJCAI | Two Approaches to Ontology Aggregation Based on Axiom Weakening. | Daniele Porello, Nicolas Troquard, Rafael Pealoza, Roberto Confalonieri, Pietro Galliani, Oliver Kutz |
| 2017 | PRIMA | Repairing Socially Aggregated Ontologies Using Axiom Weakening. | Daniele Porello, Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Rafael Pealoza |
| 2016 | IJCAI | Nash Equilibria and Their Elimination in Resource Games. | Nicolas Troquard |
| 2014 | ECAI | A resource-sensitive logic of agency. | Daniele Porello, Nicolas Troquard |
| 2014 | FOIS | Logical Operators for Ontological Modeling. | Stefano Borgo, Daniele Porello, Nicolas Troquard |
| 2014 | FOIS | A formal theory for conceptualizing artefacts and tool manipulations. | Nicolas Troquard |
| 2013 | LICS | Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL. | Philippe Balbiani, Andreas Herzig, Nicolas Troquard |
| 2012 | AAMAS | Coalitional agency and evidence-based ability. | Nicolas Troquard |
| 2012 | JELIA | On Satisfiability in ATL with Strategy Contexts. | Nicolas Troquard, Dirk Walther |
| 2011 | IJCAI | A Dynamic Logic of Normative Systems. | Andreas Herzig, Emiliano Lorini, Frdric Moisan, Nicolas Troquard |
| 2009 | TARK | A logic of propositional control for truthful implementations. | Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge |
| 2007 | TARK | A normal simulation of coalition logic and an epistemic extension. | Jan M. Broersen, Andreas Herzig, Nicolas Troquard |
| 2006 | ECAI | Towards a Logic of Agency and Actions with Duration. | Nicolas Troquard, Laure Vieu |
| 2006 | FOIS | Towards an ontology of agency and action From STIT to OntoSTIT+. | Nicolas Troquard, Robert Trypuz, Laure Vieu |
| 2006 | JELIA | A STIT-Extension of ATL. | Jan M. Broersen, Andreas Herzig, Nicolas Troquard |