Nicolas Troquard

102 papers A* 11A 12B 11C 6Misc 1Journal 30Unranked 29
YearRankTypeTitle / Venue / Authors
2026 — conf
Extending FRET with SLEEC Rules: Formalization, Obligation Inference, and Monitoring.
TACAS (2)
Mahrokh Mirani, Paola Inverardi, Patrizio Pelliccione, Franco Raimondi, Nicolas Troquard
2025 J jnl
A Simple Logic of Cohesive Group Agency.
CoRR
Nicolas Troquard
2025 J jnl
Verifying Graph Neural Networks with Readout is Intractable.
CoRR
Artem Chernobrovkin, Marco Sälzer, François Schwarzentruber, Nicolas Troquard
2025 A* conf
Verifying Quantized Graph Neural Networks is PSPACE-complete.
IJCAI
Marco Sälzer, François Schwarzentruber, Nicolas Troquard
2025 J jnl
Verifying Quantized Graph Neural Networks is PSPACE-complete.
CoRR
Marco Sälzer, François Schwarzentruber, Nicolas Troquard
2024 J jnl
A Logic for Reasoning About Aggregate-Combine Graph Neural Networks.
CoRR
Pierre Nunn, Marco Sälzer, François Schwarzentruber, Nicolas Troquard
2024 A* conf
A Logic for Reasoning about Aggregate-Combine Graph Neural Networks.
IJCAI
Pierre Nunn, Marco Sälzer, François Schwarzentruber, Nicolas Troquard
2024 — conf
Building an ontology of computational complexity.
JOWO
Anton R. Gnatenko, Oliver Kutz, Nicolas Troquard
2024 J jnl
Existence and Verification of Nash Equilibria in Non-Cooperative Contribution Games with Resource Contention.
CoRR
Nicolas Troquard
2024 J jnl
Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention.
Ann. Math. Artif. Intell.
Nicolas Troquard
2024 — conf
Improving the accuracy of black-box language models with ontologies: A preliminary roadmap.
JOWO
Marco Monti, Oliver Kutz, Nicolas Troquard, Guendalina Righetti
2024 B conf
Modelling and Mining Knowledge About Computational Complexity.
EKAW
Anton R. Gnatenko, Oliver Kutz, Nicolas Troquard
2024 — conf
On Representing Humans' Soft-Ethics Preferences As Dispositions.
Ital-IA
Donatella Donati, Ziba Assadi, Simone Gozzano, Paola Inverardi, Nicolas Troquard
2024 J jnl
On Representing Humans' Soft-Ethics Preferences As Dispositions.
CoRR
Donatella Donati, Ziba Assadi, Simone Gozzano, Paola Inverardi, Nicolas Troquard
2024 A* conf
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning.
AAAI
Nicolas Troquard, Martina De Sanctis, Paola Inverardi, Patrizio Pelliccione, Gian Luca Scoccia
2024 — conf
Towards Efficient Norm-Aware Robots' Decision Making Using Datalog (Short Paper).
BEWARE@AI*IA
Mahrokh Mirani, Franco Raimondi, Nicolas Troquard
2023 J jnl
A Semantic Approach to Decidability in Epistemic Planning (Extended Version).
CoRR
Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard
2023 A conf
A Semantic Approach to Decidability in Epistemic Planning.
AAMAS
Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard
2023 A conf
A Semantic Approach to Decidability in Epistemic Planning.
ECAI
Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard
2023 — conf
An Ontological Modelling of Prototype Theories.
FCR@KI
Daniele Porello, Guendalina Righetti, Nicolas Troquard, Roberto Confalonieri, Oliver Kutz
2023 — conf
Making Axiom Weakening Work in SROIQ.
Description Logics
Roland Bernard, Oliver Kutz, Nicolas Troquard
2023 J jnl
Non-Normal Modal Description Logics (Extended Version).
CoRR
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, Nicolas Troquard
2023 B conf
Non-Normal Modal Description Logics.
JELIA
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, Nicolas Troquard
2023 J jnl
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning (Extended Version).
CoRR
Nicolas Troquard, Martina De Sanctis, Paola Inverardi, Patrizio Pelliccione, Gian Luca Scoccia
2023 A* conf
Succinctness and Complexity of ALC with Counting Perceptrons.
KR
Pietro Galliani, Oliver Kutz, Nicolas Troquard
2023 A conf
Synthesis of Resource-Aware Controllers Against Rational Agents.
AAMAS
Rodica Condurache, Catalin Dima, Youssouf Oualhadj, Nicolas Troquard
2022 C conf
A Game of Essence and Serendipity: Superb Owls vs. Cooking-Woodpeckers.
ICCC
Guendalina Righetti, Oliver Kutz, Daniele Porello, Nicolas Troquard
2022 Misc conf
Almost Certain Termination for
EPIA
Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard
2022 A* conf
Asymmetric Hybrids: Dialogues for Computational Concept Combination (Extended Abstract).
IJCAI
Guendalina Righetti, Daniele Porello, Nicolas Troquard, Oliver Kutz, Maria M. Hedblom, Pietro Galliani
2022 — conf
Careful Autonomous Agents in Environments With Multiple Common Resources.
AREA@IJCAI-ECAI
Rodica Condurache, Catalin Dima, Madalina Jitaru, Youssouf Oualhadj, Nicolas Troquard
2022 — ed.
Companion Proceedings of the 23rd International Conference on Knowledge Engineering and Knowledge Management, Bozen-Bolzano, Italy, September 26-29, 2022.
EKAW (Companion)
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, Nicolas Troquard
2022 B ed.
Knowledge Engineering and Knowledge Management - 23rd International Conference, EKAW 2022, Bolzano, Italy, September 26-29, 2022, Proceedings
EKAW
Óscar Corcho, Laura Hollink, Oliver Kutz, Nicolas Troquard, Fajar J. Ekaputra
2021 C conf
Asymmetric Hybrids: Dialogues for Computational Concept Combination.
FOIS
Guendalina Righetti, Daniele Porello, Nicolas Troquard, Oliver Kutz, Maria M. Hedblom, Pietro Galliani
2021 — conf
Concept Combination in Weighted Logic.
JOWO
Guendalina Righetti, Claudio Masolo, Nicolas Troquard, Oliver Kutz, Daniele Porello
2021 — conf
In a Nutshell: Perceptron Connectives in Knowledge Representation (Extended Abstract).
Description Logics
Pietro Galliani, Guendalina Righetti, Oliver Kutz, Daniele Porello, Nicolas Troquard
2021 — conf
Perceptron Operators That Count.
Description Logics
Pietro Galliani, Oliver Kutz, Nicolas Troquard
2021 — ed.
Proceedings of the Joint Ontology Workshops 2021 Episode VII: The Bolzano Summer of Knowledge co-located with the 12th International Conference on Formal Ontology in Information Systems (FOIS 2021), and the 12th International Conference on Biomedical Ontologies (ICBO 2021), Bolzano, Italy, September 11-18, 2021.
JOWO
Emilio M. Sanfilippo, Oliver Kutz, Nicolas Troquard, Torsten Hahmann, Claudio Masolo, Robert Hoehndorf, Randi Vita, Maria M. Hedblom, Guendalina Righetti, Dusan Sormaz, Walter Terkaj, Tiago Prince Sales, Sergio de Cesare, Frederik Gailly, Giancarlo Guizzardi, Mark Lycett, Chris Partridge, Oscar Pastor, Daniel Beßler, Stefano Borgo, Mohammed Diab, Aldo Gangemi, Alberto Olivares Alarcos, Mihai Pomarlan, Robert Porzel, Ludger Jansen, Mathias Brochhausen, Daniele Porello, Pawel Garbacz, Selja Seppälä, Michael Grüninger, Amanda Vizedom, Damion M. Dooley, Robert Warren, Hande Küçük-McGinty, Matthew Lange, Alsayed Algergawy, Naouel Karam, Friederike Klan, Franck Michel, Ilaria Rosati
2021 A conf
Rational Synthesis in the Commons with Careless and Careful Agents.
AAMAS
Rodica Condurache, Catalin Dima, Youssouf Oualhadj, Nicolas Troquard
2021 J jnl
Resource separation in dynamic logic of propositional assignments.
CoRR
Joseph Boudou, Andreas Herzig, Nicolas Troquard
2021 J jnl
Resource separation in dynamic logic of propositional assignments.
J. Log. Algebraic Methods Program.
Joseph Boudou, Andreas Herzig, Nicolas Troquard
2021 — conf
Towards Knowledge-driven Distillation and Explanation of Black-box Models.
DAO-XAI
Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard
2021 J jnl
Tracking and managing deemed abilities.
CoRR
Nicolas Troquard
2021 J jnl
Tracking and managing deemed abilities.
Synth.
Nicolas Troquard
2020 J jnl
Individual resource games and resource redistributions.
J. Log. Comput.
Nicolas Troquard
2020 B conf
Perceptron Connectives in Knowledge Representation.
EKAW
Pietro Galliani, Guendalina Righetti, Oliver Kutz, Daniele Porello, Nicolas Troquard
2020 — conf
Towards Even More Irresistible Axiom Weakening.
Description Logics
Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard
2019 — conf
A Toothful of Concepts: Towards a Theory of Weighted Concept Combination.
Description Logics
Daniele Porello, Oliver Kutz, Guendalina Righetti, Nicolas Troquard, Pietro Galliani, Claudio Masolo
2019 B conf
Learning Ontologies with Epistemic Reasoning: The
JELIA
Ana Ozaki, Nicolas Troquard
2019 — conf
Learning Ontologies with Epistemic Reasoning: The EL Case (Extended Abstract).
Description Logics
Ana Ozaki, Nicolas Troquard
2019 J jnl
Learning Ontologies with Epistemic Reasoning: The EL Case.
CoRR
Ana Ozaki, Nicolas Troquard
2019 — conf
On Knowledge Dependence in Weighted Description Logic.
GCAI
Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard
2019 — conf
Pink panthers and toothless tigers: three problems in classification.
AIC
Guendalina Righetti, Daniele Porello, Oliver Kutz, Nicolas Troquard, Claudio Masolo
2019 — conf
Resource Separation in Dynamic Logic of Propositional Assignments.
DaLí
Joseph Boudou, Andreas Herzig, Nicolas Troquard
2019 — conf
Weighted Description Logic for Classification Problems.
GCAI
Guendalina Righetti, Pietro Galliani, Oliver Kutz, Daniele Porello, Claudio Masolo, Nicolas Troquard
2018 J jnl
Individual Resource Games and Resource Redistributions.
CoRR
Nicolas Troquard
2018 — conf
Modeling Manufacturing Resources: An Ontological Approach.
PLM
Emilio M. Sanfilippo, Sergio Benavent, Stefano Borgo, Nicola Guarino, Nicolas Troquard, Fernando Romero, Pedro Rosado, Lorenzo Solano, Farouk Belkadi, Alain Bernard
2018 A* conf
Repairing Ontologies via Axiom Weakening.
AAAI
Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Oliver Kutz
2018 A* conf
Rich Coalitional Resource Games.
AAAI
Nicolas Troquard
2018 B conf
The Complexity of Rational Synthesis for Concurrent Games.
CONCUR
Rodica Condurache, Youssouf Oualhadj, Nicolas Troquard
2018 C conf
The Mouse and the Ball - Towards a Cognitively-Based and Ontologically-Grounded Logic of Agency.
FOIS
Oliver Kutz, Nicolas Troquard, Maria M. Hedblom, Daniele Porello
2018 A* conf
Two Approaches to Ontology Aggregation Based on Axiom Weakening.
IJCAI
Daniele Porello, Nicolas Troquard, Rafael Peñaloza, Roberto Confalonieri, Pietro Galliani, Oliver Kutz
2017 — conf
Coherence, Similarity, and Concept Generalisation.
Description Logics
Roberto Confalonieri, Oliver Kutz, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Marco Schorlemmer, Nicolas Troquard
2017 J jnl
Repairing Ontologies via Axiom Weakening.
CoRR
Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Oliver Kutz
2017 B conf
Repairing Socially Aggregated Ontologies Using Axiom Weakening.
PRIMA
Daniele Porello, Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Rafael Peñaloza
2017 — conf
Two Applications of Concept Refinement.
CEx@AI*IA
Roberto Confalonieri, Nicolas Troquard, Pietro Galliani, Oliver Kutz, Rafael Peñaloza, Daniele Porello
2016 A* conf
Nash Equilibria and Their Elimination in Resource Games.
IJCAI
Nicolas Troquard
2016 — conf
Rational verification in Iterated Electric Boolean Games.
SR
Youssouf Oualhadj, Nicolas Troquard
2015 J jnl
Non-normal modalities in variants of Linear Logic.
CoRR
Daniele Porello, Nicolas Troquard
2015 J jnl
Non-normal modalities in variants of linear logic.
J. Appl. Non Class. Logics
Daniele Porello, Nicolas Troquard
2014 C conf
A formal theory for conceptualizing artefacts and tool manipulations.
FOIS
Nicolas Troquard
2014 A conf
A resource-sensitive account of the use of artifacts.
AAMAS
Daniele Porello, Nicolas Troquard
2014 A conf
A resource-sensitive logic of agency.
ECAI
Daniele Porello, Nicolas Troquard
2014 J jnl
DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE.
CoRR
Philippe Balbiani, Andreas Herzig, François Schwarzentruber, Nicolas Troquard
2014 C conf
Logical Operators for Ontological Modeling.
FOIS
Stefano Borgo, Daniele Porello, Nicolas Troquard
2014 J jnl
Reasoning about coalitional agency and ability in the logics of "bringing-it-about".
Auton. Agents Multi Agent Syst.
Nicolas Troquard
2013 A* conf
Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL.
LICS
Philippe Balbiani, Andreas Herzig, Nicolas Troquard
2013 J jnl
Grounding power on actions and mental attitudes.
Log. J. IGPL
Emiliano Lorini, Nicolas Troquard, Andreas Herzig, Jan M. Broersen
2013 — conf
Reasoning about Choice.
AT
Wiebe van der Hoek, Nicolas Troquard, Michael J. Wooldridge
2012 — conf
A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions.
DEON
Andreas Herzig, Tiago de Lima, Emiliano Lorini, Nicolas Troquard
2012 A conf
Coalitional agency and evidence-based ability.
AAMAS
Nicolas Troquard
2012 B conf
On Satisfiability in ATL with Strategy Contexts.
JELIA
Nicolas Troquard, Dirk Walther
2011 — conf
A Dynamic Logic of Institutional Actions.
CLIMA
Andreas Herzig, Emiliano Lorini, Nicolas Troquard
2011 A* conf
A Dynamic Logic of Normative Systems.
IJCAI
Andreas Herzig, Emiliano Lorini, Frédéric Moisan, Nicolas Troquard
2011 A conf
Knowledge and control.
AAMAS
Wiebe van der Hoek, Nicolas Troquard, Michael J. Wooldridge
2011 J jnl
Learning and Practice of the Property Specification Language.
IEEE Des. Test Comput.
Nicolas Troquard
2011 J jnl
Reasoning About Social Choice Functions.
J. Philos. Log.
Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge
2011 J jnl
Reasoning about Social Choice Functions
CoRR
Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge
2010 A conf
Alternating-time dynamic logic.
AAMAS
Nicolas Troquard, Dirk Walther
2009 — conf
A logic of games and propositional control.
AAMAS (2)
Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge
2009 B conf
A logic of propositional control for truthful implementations.
TARK
Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge
2009 J jnl
What groups do, can do, and know they can do: an analysis in normal modal logics.
J. Appl. Non Class. Logics
Jan M. Broersen, Andreas Herzig, Nicolas Troquard
2008 J jnl
Alternative Axiomatics and Complexity of Deliberative STIT Theories.
J. Philos. Log.
Philippe Balbiani, Andreas Herzig, Nicolas Troquard
2008 — conf
Model Checking Strategic Equilibria.
MoChArt
Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge
2007 B conf
A normal simulation of coalition logic and an epistemic extension.
TARK
Jan M. Broersen, Andreas Herzig, Nicolas Troquard
2007 J jnl
Alternative axiomatics and complexity of deliberative STIT theories
CoRR
Philippe Balbiani, Andreas Herzig, Nicolas Troquard
2007 A conf
Delegation and mental states.
AAMAS
Emiliano Lorini, Nicolas Troquard, Andreas Herzig, Cristiano Castelfranchi
2006 B conf
A STIT-Extension of ATL.
JELIA
Jan M. Broersen, Andreas Herzig, Nicolas Troquard
2006 J jnl
Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency.
J. Log. Comput.
Jan M. Broersen, Andreas Herzig, Nicolas Troquard
2006 A conf
Knowing how to play: uniform choices in logics of agency.
AAMAS
Andreas Herzig, Nicolas Troquard
2006 A conf
Towards a Logic of Agency and Actions with Duration.
ECAI
Nicolas Troquard, Laure Vieu
2006 C conf
Towards an ontology of agency and action From STIT to OntoSTIT+.
FOIS
Nicolas Troquard, Robert Trypuz, Laure Vieu
2005 — conf
From Coalition Logic to STIT.
LCMAS
Jan M. Broersen, Andreas Herzig, Nicolas Troquard