Nicolas Troquard

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 52

Top Topics

Nash Equilibria

Description Logics

Extended Abstract

Top Venues

Description Logics

Publications

Pierre Nunn, Marco Sälzer, François Schwarzentruber, Nicolas Troquard
A Logic for Reasoning About Aggregate-Combine Graph Neural Networks. CoRR (2024)
Nicolas Troquard
Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention. Ann. Math. Artif. Intell. 92 (2) (2024)
Nicolas Troquard, Martina De Sanctis, Paola Inverardi, Patrizio Pelliccione, Gian Luca Scoccia
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning. AAAI (2024)
Nicolas Troquard
Existence and Verification of Nash Equilibria in Non-Cooperative Contribution Games with Resource Contention. CoRR (2024)
Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard
A Semantic Approach to Decidability in Epistemic Planning. ECAI (2023)
Rodica Condurache, Catalin Dima, Youssouf Oualhadj, Nicolas Troquard
Synthesis of Resource-Aware Controllers Against Rational Agents. AAMAS (2023)
Daniele Porello, Guendalina Righetti, Nicolas Troquard, Roberto Confalonieri, Oliver Kutz
An Ontological Modelling of Prototype Theories. FCR@KI (2023)
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, Nicolas Troquard
Non-Normal Modal Description Logics (Extended Version). CoRR (2023)
Pietro Galliani, Oliver Kutz, Nicolas Troquard
Succinctness and Complexity of ALC with Counting Perceptrons. KR (2023)
Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard
A Semantic Approach to Decidability in Epistemic Planning (Extended Version). CoRR (2023)
Nicolas Troquard, Martina De Sanctis, Paola Inverardi, Patrizio Pelliccione, Gian Luca Scoccia
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning (Extended Version). CoRR (2023)
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, Nicolas Troquard
Non-Normal Modal Description Logics. JELIA (2023)
Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard
A Semantic Approach to Decidability in Epistemic Planning. AAMAS (2023)
Roland Bernard, Oliver Kutz, Nicolas Troquard
Making Axiom Weakening Work in SROIQ. Description Logics (2023)
Rodica Condurache, Catalin Dima, Madalina Jitaru, Youssouf Oualhadj, Nicolas Troquard
Careful Autonomous Agents in Environments With Multiple Common Resources. AREA@IJCAI-ECAI (2022)
Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard
Weakening. EPIA (2022)
Guendalina Righetti, Daniele Porello, Nicolas Troquard, Oliver Kutz, Maria M. Hedblom, Pietro Galliani
Asymmetric Hybrids: Dialogues for Computational Concept Combination (Extended Abstract). IJCAI (2022)
Guendalina Righetti, Oliver Kutz, Daniele Porello, Nicolas Troquard
A Game of Essence and Serendipity: Superb Owls vs. Cooking-Woodpeckers. ICCC (2022)
Rodica Condurache, Catalin Dima, Youssouf Oualhadj, Nicolas Troquard
Rational Synthesis in the Commons with Careless and Careful Agents. AAMAS (2021)
Nicolas Troquard
Tracking and managing deemed abilities. Synth. 198 (6) (2021)
Joseph Boudou, Andreas Herzig, Nicolas Troquard
Resource separation in dynamic logic of propositional assignments. CoRR (2021)
Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard
Towards Knowledge-driven Distillation and Explanation of Black-box Models. DAO-XAI (2021)
Pietro Galliani, Guendalina Righetti, Oliver Kutz, Daniele Porello, Nicolas Troquard
In a Nutshell: Perceptron Connectives in Knowledge Representation (Extended Abstract). Description Logics (2021)
Guendalina Righetti, Claudio Masolo, Nicolas Troquard, Oliver Kutz, Daniele Porello
Concept Combination in Weighted Logic. JOWO (2021)
Guendalina Righetti, Daniele Porello, Nicolas Troquard, Oliver Kutz, Maria M. Hedblom, Pietro Galliani
Asymmetric Hybrids: Dialogues for Computational Concept Combination. FOIS (2021)
Pietro Galliani, Oliver Kutz, Nicolas Troquard
Perceptron Operators That Count. Description Logics (2021)
Nicolas Troquard
Tracking and managing deemed abilities. CoRR (2021)
Joseph Boudou, Andreas Herzig, Nicolas Troquard
Resource separation in dynamic logic of propositional assignments. J. Log. Algebraic Methods Program. 121 (2021)
Nicolas Troquard
Individual resource games and resource redistributions. J. Log. Comput. 30 (5) (2020)
Pietro Galliani, Guendalina Righetti, Oliver Kutz, Daniele Porello, Nicolas Troquard
Perceptron Connectives in Knowledge Representation. EKAW (2020)
Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard
Towards Even More Irresistible Axiom Weakening. Description Logics (2020)
Guendalina Righetti, Pietro Galliani, Oliver Kutz, Daniele Porello, Claudio Masolo, Nicolas Troquard
Weighted Description Logic for Classification Problems. GCAI (2019)
Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard
On Knowledge Dependence in Weighted Description Logic. GCAI (2019)
Daniele Porello, Oliver Kutz, Guendalina Righetti, Nicolas Troquard, Pietro Galliani, Claudio Masolo
A Toothful of Concepts: Towards a Theory of Weighted Concept Combination. Description Logics (2019)
Joseph Boudou, Andreas Herzig, Nicolas Troquard
Resource Separation in Dynamic Logic of Propositional Assignments. DaLí (2019)
Ana Ozaki, Nicolas Troquard
Case. JELIA (2019)
Guendalina Righetti, Daniele Porello, Oliver Kutz, Nicolas Troquard, Claudio Masolo
Pink panthers and toothless tigers: three problems in classification. AIC (2019)
Ana Ozaki, Nicolas Troquard
Learning Ontologies with Epistemic Reasoning: The EL Case (Extended Abstract). Description Logics (2019)
Ana Ozaki, Nicolas Troquard
Learning Ontologies with Epistemic Reasoning: The EL Case. CoRR (2019)
Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Oliver Kutz
Repairing Ontologies via Axiom Weakening. AAAI (2018)
Emilio M. Sanfilippo, Sergio Benavent, Stefano Borgo, Nicola Guarino, Nicolas Troquard, Fernando Romero, Pedro Rosado, Lorenzo Solano, Farouk Belkadi, Alain Bernard
Modeling Manufacturing Resources: An Ontological Approach. PLM (2018)
Nicolas Troquard
Individual Resource Games and Resource Redistributions. CoRR (2018)
Nicolas Troquard
Rich Coalitional Resource Games. AAAI (2018)
Daniele Porello, Nicolas Troquard, Rafael Peñaloza, Roberto Confalonieri, Pietro Galliani, Oliver Kutz
Two Approaches to Ontology Aggregation Based on Axiom Weakening. IJCAI (2018)
Oliver Kutz, Nicolas Troquard, Maria M. Hedblom, Daniele Porello
The Mouse and the Ball - Towards a Cognitively-Based and Ontologically-Grounded Logic of Agency. FOIS (2018)
Rodica Condurache, Youssouf Oualhadj, Nicolas Troquard
The Complexity of Rational Synthesis for Concurrent Games. CONCUR (2018)
Roberto Confalonieri, Oliver Kutz, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Marco Schorlemmer, Nicolas Troquard
Coherence, Similarity, and Concept Generalisation. Description Logics (2017)
Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Oliver Kutz
Repairing Ontologies via Axiom Weakening. CoRR (2017)
Roberto Confalonieri, Nicolas Troquard, Pietro Galliani, Oliver Kutz, Rafael Peñaloza, Daniele Porello
Two Applications of Concept Refinement. CEx@AI*IA (2017)
Daniele Porello, Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Rafael Peñaloza
Repairing Socially Aggregated Ontologies Using Axiom Weakening. PRIMA (2017)
Youssouf Oualhadj, Nicolas Troquard
Rational verification in Iterated Electric Boolean Games. SR (2016)
Nicolas Troquard
Nash Equilibria and Their Elimination in Resource Games. IJCAI (2016)
Daniele Porello, Nicolas Troquard
Non-normal modalities in variants of linear logic. J. Appl. Non Class. Logics 25 (3) (2015)
Daniele Porello, Nicolas Troquard
Non-normal modalities in variants of Linear Logic. CoRR (2015)
Nicolas Troquard
A formal theory for conceptualizing artefacts and tool manipulations. FOIS (2014)
Stefano Borgo, Daniele Porello, Nicolas Troquard
Logical Operators for Ontological Modeling. FOIS (2014)
Philippe Balbiani, Andreas Herzig, François Schwarzentruber, Nicolas Troquard
DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE. CoRR (2014)
Daniele Porello, Nicolas Troquard
A resource-sensitive account of the use of artifacts. AAMAS (2014)
Nicolas Troquard
Reasoning about coalitional agency and ability in the logics of "bringing-it-about". Auton. Agents Multi Agent Syst. 28 (3) (2014)
Daniele Porello, Nicolas Troquard
A resource-sensitive logic of agency. ECAI (2014)
Wiebe van der Hoek, Nicolas Troquard, Michael J. Wooldridge
Reasoning about Choice. AT (2013)
Emiliano Lorini, Nicolas Troquard, Andreas Herzig, Jan M. Broersen
Grounding power on actions and mental attitudes. Log. J. IGPL 21 (3) (2013)
Philippe Balbiani, Andreas Herzig, Nicolas Troquard
Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL. LICS (2013)
Nicolas Troquard, Dirk Walther
On Satisfiability in ATL with Strategy Contexts. JELIA (2012)
Nicolas Troquard
Coalitional agency and evidence-based ability. AAMAS (2012)
Andreas Herzig, Tiago de Lima, Emiliano Lorini, Nicolas Troquard
A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions. DEON (2012)
Andreas Herzig, Emiliano Lorini, Frédéric Moisan, Nicolas Troquard
A Dynamic Logic of Normative Systems. IJCAI (2011)
Andreas Herzig, Emiliano Lorini, Nicolas Troquard
A Dynamic Logic of Institutional Actions. CLIMA (2011)
Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge
Reasoning about Social Choice Functions CoRR (2011)
Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge
Reasoning About Social Choice Functions. J. Philos. Log. 40 (4) (2011)
Wiebe van der Hoek, Nicolas Troquard, Michael J. Wooldridge
Knowledge and control. AAMAS (2011)
Nicolas Troquard
Learning and Practice of the Property Specification Language. IEEE Des. Test Comput. 28 (5) (2011)
Nicolas Troquard, Dirk Walther
Alternating-time dynamic logic. AAMAS (2010)
Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge
A logic of games and propositional control. AAMAS (2) (2009)
Jan M. Broersen, Andreas Herzig, Nicolas Troquard
What groups do, can do, and know they can do: an analysis in normal modal logics. J. Appl. Non Class. Logics 19 (3) (2009)
Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge
A logic of propositional control for truthful implementations. TARK (2009)
Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge
Model Checking Strategic Equilibria. MoChArt (2008)
Philippe Balbiani, Andreas Herzig, Nicolas Troquard
Alternative Axiomatics and Complexity of Deliberative STIT Theories. J. Philos. Log. 37 (4) (2008)
Emiliano Lorini, Nicolas Troquard, Andreas Herzig, Cristiano Castelfranchi
Delegation and mental states. AAMAS (2007)
Jan M. Broersen, Andreas Herzig, Nicolas Troquard
A normal simulation of coalition logic and an epistemic extension. TARK (2007)
Philippe Balbiani, Andreas Herzig, Nicolas Troquard
Alternative axiomatics and complexity of deliberative STIT theories CoRR (2007)
Nicolas Troquard, Robert Trypuz, Laure Vieu
Towards an ontology of agency and action From STIT to OntoSTIT+. FOIS (2006)
Jan M. Broersen, Andreas Herzig, Nicolas Troquard
From Coalition Logic to STIT. Electron. Notes Theor. Comput. Sci. 157 (4) (2006)
Nicolas Troquard, Laure Vieu
Towards a Logic of Agency and Actions with Duration. ECAI (2006)
Jan M. Broersen, Andreas Herzig, Nicolas Troquard
Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency. J. Log. Comput. 16 (5) (2006)
Andreas Herzig, Nicolas Troquard
Knowing how to play: uniform choices in logics of agency. AAMAS (2006)
Jan M. Broersen, Andreas Herzig, Nicolas Troquard
A STIT-Extension of ATL. JELIA (2006)