From Coalition Logic to STIT. - Jan M. Broersen; Andreas Herzig; Nicolas Troquard (LCMAS, 2005)

Knowing how to play: uniform choices in logics of agency. - Andreas Herzig; Nicolas Troquard (AAMAS, 2006)

Towards a Logic of Agency and Actions with Duration. - Nicolas Troquard; Laure Vieu (ECAI, 2006)

Towards an ontology of agency and action From STIT to OntoSTIT+. - Nicolas Troquard; Robert Trypuz; Laure Vieu (FOIS, 2006)

A STIT-Extension of ATL. - Jan M. Broersen; Andreas Herzig; Nicolas Troquard (JELIA, 2006)

Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency. - Jan M. Broersen; Andreas Herzig; Nicolas Troquard (J. Log. Comput., 2006)

Delegation and mental states. - Emiliano Lorini; Nicolas Troquard; Andreas Herzig; Cristiano Castelfranchi (AAMAS, 2007)

A normal simulation of coalition logic and an epistemic extension. - Jan M. Broersen; Andreas Herzig; Nicolas Troquard (TARK, 2007)

Model Checking Strategic Equilibria. - Nicolas Troquard; Wiebe van der Hoek; Michael J. Wooldridge (MoChArt, 2008)

Alternative Axiomatics and Complexity of Deliberative STIT Theories. - Philippe Balbiani; Andreas Herzig; Nicolas Troquard (J. Philos. Log., 2008)

A logic of games and propositional control. - Nicolas Troquard; Wiebe van der Hoek; Michael J. Wooldridge (AAMAS (2), 2009)

A logic of propositional control for truthful implementations. - Nicolas Troquard; Wiebe van der Hoek; Michael J. Wooldridge (TARK, 2009)

What groups do, can do, and know they can do: an analysis in normal modal logics. - Jan M. Broersen; Andreas Herzig; Nicolas Troquard (J. Appl. Non Class. Logics, 2009)

Alternating-time dynamic logic. - Nicolas Troquard; Dirk Walther 002 (AAMAS, 2010)

Knowledge and control. - Wiebe van der Hoek; Nicolas Troquard; Michael J. Wooldridge (AAMAS, 2011)

A Dynamic Logic of Institutional Actions. - Andreas Herzig; Emiliano Lorini; Nicolas Troquard (CLIMA, 2011)

A Dynamic Logic of Normative Systems. - Andreas Herzig; Emiliano Lorini; Frédéric Moisan; Nicolas Troquard (IJCAI, 2011)

Learning and Practice of the Property Specification Language. - Nicolas Troquard (IEEE Des. Test Comput., 2011)

Reasoning About Social Choice Functions. - Nicolas Troquard; Wiebe van der Hoek; Michael J. Wooldridge (J. Philos. Log., 2011)

Coalitional agency and evidence-based ability. - Nicolas Troquard (AAMAS, 2012)

A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions. - Andreas Herzig; Tiago de Lima; Emiliano Lorini; Nicolas Troquard (DEON, 2012)

On Satisfiability in ATL with Strategy Contexts. - Nicolas Troquard; Dirk Walther 002 (JELIA, 2012)

Reasoning about Choice. - Wiebe van der Hoek; Nicolas Troquard; Michael J. Wooldridge (AT, 2013)

Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL. - Philippe Balbiani; Andreas Herzig; Nicolas Troquard (LICS, 2013)

Grounding power on actions and mental attitudes. - Emiliano Lorini; Nicolas Troquard; Andreas Herzig; Jan M. Broersen (Log. J. IGPL, 2013)

A resource-sensitive account of the use of artifacts. - Daniele Porello; Nicolas Troquard (AAMAS, 2014)

A resource-sensitive logic of agency. - Daniele Porello; Nicolas Troquard (ECAI, 2014)

Logical Operators for Ontological Modeling. - Stefano Borgo; Daniele Porello; Nicolas Troquard (FOIS, 2014)

A formal theory for conceptualizing artefacts and tool manipulations. - Nicolas Troquard (FOIS, 2014)

Reasoning about coalitional agency and ability in the logics of "bringing-it-about". - Nicolas Troquard (Auton. Agents Multi Agent Syst., 2014)

DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE. - Philippe Balbiani; Andreas Herzig; François Schwarzentruber; Nicolas Troquard (CoRR, 2014)

Non-normal modalities in variants of linear logic. - Daniele Porello; Nicolas Troquard (J. Appl. Non Class. Logics, 2015)

Nash Equilibria and Their Elimination in Resource Games. - Nicolas Troquard (IJCAI, 2016)

Rational verification in Iterated Electric Boolean Games. - Youssouf Oualhadj; Nicolas Troquard (SR, 2016)

Two Applications of Concept Refinement. - Roberto Confalonieri 001; Nicolas Troquard; Pietro Galliani; Oliver Kutz; Rafael Peñaloza; Daniele Porello (CEx@AI*IA, 2017)

Coherence, Similarity, and Concept Generalisation. - Roberto Confalonieri 001; Oliver Kutz; Pietro Galliani; Rafael Peñaloza; Daniele Porello; Marco Schorlemmer; Nicolas Troquard (Description Logics, 2017)

Repairing Socially Aggregated Ontologies Using Axiom Weakening. - Daniele Porello; Nicolas Troquard; Roberto Confalonieri 001; Pietro Galliani; Oliver Kutz; Rafael Peñaloza (PRIMA, 2017)

Repairing Ontologies via Axiom Weakening. - Nicolas Troquard; Roberto Confalonieri 001; Pietro Galliani; Rafael Peñaloza; Daniele Porello; Oliver Kutz (AAAI, 2018)

Rich Coalitional Resource Games. - Nicolas Troquard (AAAI, 2018)

The Complexity of Rational Synthesis for Concurrent Games. - Rodica Condurache; Youssouf Oualhadj; Nicolas Troquard (CONCUR, 2018)

The Mouse and the Ball - Towards a Cognitively-Based and Ontologically-Grounded Logic of Agency. - Oliver Kutz; Nicolas Troquard; Maria M. Hedblom; Daniele Porello (FOIS, 2018)

Modeling Manufacturing Resources: An Ontological Approach. - Emilio M. Sanfilippo; Sergio Benavent; Stefano Borgo; Nicola Guarino; Nicolas Troquard; Fernando Romero 001; Pedro Rosado; Lorenzo Solano; Farouk Belkadi; Alain Bernard (PLM, 2018)

Two Approaches to Ontology Aggregation Based on Axiom Weakening. - Daniele Porello; Nicolas Troquard; Rafael Peñaloza; Roberto Confalonieri 001; Pietro Galliani; Oliver Kutz (IJCAI, 2018)

Pink panthers and toothless tigers: three problems in classification. - Guendalina Righetti; Daniele Porello; Oliver Kutz; Nicolas Troquard; Claudio Masolo (AIC, 2019)

Learning Ontologies with Epistemic Reasoning: The EL Case (Extended Abstract). - Ana Ozaki; Nicolas Troquard (Description Logics, 2019)

A Toothful of Concepts: Towards a Theory of Weighted Concept Combination. - Daniele Porello; Oliver Kutz; Guendalina Righetti; Nicolas Troquard; Pietro Galliani; Claudio Masolo (Description Logics, 2019)

On Knowledge Dependence in Weighted Description Logic. - Pietro Galliani; Oliver Kutz; Daniele Porello; Guendalina Righetti; Nicolas Troquard (GCAI, 2019)

Weighted Description Logic for Classification Problems. - Guendalina Righetti; Pietro Galliani; Oliver Kutz; Daniele Porello; Claudio Masolo; Nicolas Troquard (GCAI, 2019)

Learning Ontologies with Epistemic Reasoning: The E !L Case. - Ana Ozaki; Nicolas Troquard (JELIA, 2019)

Learning Ontologies with Epistemic Reasoning: The EL Case. - Ana Ozaki; Nicolas Troquard (CoRR, 2019)

Towards Even More Irresistible Axiom Weakening. - Roberto Confalonieri 001; Pietro Galliani; Oliver Kutz; Daniele Porello; Guendalina Righetti; Nicolas Troquard (Description Logics, 2020)

Perceptron Connectives in Knowledge Representation. - Pietro Galliani; Guendalina Righetti; Oliver Kutz; Daniele Porello; Nicolas Troquard (EKAW, 2020)

Individual resource games and resource redistributions. - Nicolas Troquard (J. Log. Comput., 2020)

Rational Synthesis in the Commons with Careless and Careful Agents. - Rodica Condurache; Catalin Dima; Youssouf Oualhadj; Nicolas Troquard (AAMAS, 2021)

Perceptron Operators That Count. - Pietro Galliani; Oliver Kutz; Nicolas Troquard (Description Logics, 2021)

In a Nutshell: Perceptron Connectives in Knowledge Representation (Extended Abstract). - Pietro Galliani; Guendalina Righetti; Oliver Kutz; Daniele Porello; Nicolas Troquard (Description Logics, 2021)

Asymmetric Hybrids: Dialogues for Computational Concept Combination. - Guendalina Righetti; Daniele Porello; Nicolas Troquard; Oliver Kutz; Maria M. Hedblom; Pietro Galliani (FOIS, 2021)

Towards Knowledge-driven Distillation and Explanation of Black-box Models. - Roberto Confalonieri 001; Pietro Galliani; Oliver Kutz; Daniele Porello; Guendalina Righetti; Nicolas Troquard (DAO-XAI, 2021)

Concept Combination in Weighted Logic. - Guendalina Righetti; Claudio Masolo; Nicolas Troquard; Oliver Kutz; Daniele Porello (JOWO, 2021)

Resource separation in dynamic logic of propositional assignments. - Joseph Boudou; Andreas Herzig; Nicolas Troquard (J. Log. Algebraic Methods Program., 2021)

Tracking and managing deemed abilities. - Nicolas Troquard (Synth., 2021)

Almost Certain Termination for ALC Weakening. - Roberto Confalonieri 001; Pietro Galliani; Oliver Kutz; Daniele Porello; Guendalina Righetti; Nicolas Troquard (EPIA, 2022)

A Game of Essence and Serendipity: Superb Owls vs. Cooking-Woodpeckers. - Guendalina Righetti; Oliver Kutz; Daniele Porello; Nicolas Troquard (ICCC, 2022)

Asymmetric Hybrids: Dialogues for Computational Concept Combination (Extended Abstract). - Guendalina Righetti; Daniele Porello; Nicolas Troquard; Oliver Kutz; Maria M. Hedblom; Pietro Galliani (IJCAI, 2022)

Careful Autonomous Agents in Environments With Multiple Common Resources. - Rodica Condurache; Catalin Dima; Madalina Jitaru; Youssouf Oualhadj; Nicolas Troquard (AREA@IJCAI-ECAI, 2022)

Synthesis of Resource-Aware Controllers Against Rational Agents. - Rodica Condurache; Catalin Dima; Youssouf Oualhadj; Nicolas Troquard (AAMAS, 2023)

Making Axiom Weakening Work in SROIQ. - Roland Bernard; Oliver Kutz; Nicolas Troquard (Description Logics, 2023)

A Semantic Approach to Decidability in Epistemic Planning. - Alessandro Burigana; Paolo Felli; Marco Montali; Nicolas Troquard (ECAI, 2023)

Non-Normal Modal Description Logics. - Tiziano Dalmonte; Andrea Mazzullo; Ana Ozaki; Nicolas Troquard (JELIA, 2023)

An Ontological Modelling of Prototype Theories. - Daniele Porello; Guendalina Righetti; Nicolas Troquard; Roberto Confalonieri 001; Oliver Kutz (FCR@KI, 2023)

Succinctness and Complexity of ALC with Counting Perceptrons. - Pietro Galliani; Oliver Kutz; Nicolas Troquard (KR, 2023)

Non-Normal Modal Description Logics (Extended Version). - Tiziano Dalmonte; Andrea Mazzullo; Ana Ozaki; Nicolas Troquard (CoRR, 2023)

A Semantic Approach to Decidability in Epistemic Planning (Extended Version). - Alessandro Burigana; Paolo Felli; Marco Montali; Nicolas Troquard (CoRR, 2023)

Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning (Extended Version). - Nicolas Troquard; Martina De Sanctis; Paola Inverardi; Patrizio Pelliccione; Gian Luca Scoccia (CoRR, 2023)

Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning. - Nicolas Troquard; Martina De Sanctis; Paola Inverardi; Patrizio Pelliccione; Gian Luca Scoccia (AAAI, 2024)

Towards Efficient Norm-Aware Robots' Decision Making Using Datalog (Short Paper). - Mahrokh Mirani; Franco Raimondi; Nicolas Troquard (BEWARE@AI*IA, 2024)

Modelling and Mining Knowledge About Computational Complexity. - Anton R. Gnatenko; Oliver Kutz; Nicolas Troquard (EKAW, 2024)

A Logic for Reasoning about Aggregate-Combine Graph Neural Networks. - Pierre Nunn; Marco Sälzer; François Schwarzentruber; Nicolas Troquard (IJCAI, 2024)

On Representing Humans' Soft-Ethics Preferences As Dispositions. - Donatella Donati; Ziba Assadi; Simone Gozzano; Paola Inverardi; Nicolas Troquard (Ital-IA, 2024)

Building an ontology of computational complexity. - Anton R. Gnatenko; Oliver Kutz; Nicolas Troquard (JOWO, 2024)

Improving the accuracy of black-box language models with ontologies: A preliminary roadmap. - Marco Monti; Oliver Kutz; Nicolas Troquard; Guendalina Righetti (JOWO, 2024)

Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention. - Nicolas Troquard (Ann. Math. Artif. Intell., 2024)

Verifying Quantized Graph Neural Networks is PSPACE-complete. - Marco Sälzer; François Schwarzentruber; Nicolas Troquard (CoRR, 2025)