Nicolas Troquard

Available identifiers

zbMath Open troquard.nicolasMaRDI QIDQ652735

List of research outcomes

Publication	Date of Publication	Type
Non-normal Modal description logics	2024-05-29	Paper
Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention	2024-05-03	Paper
Tracking and managing deemed abilities	2023-03-31	Paper
Repairing socially aggregated ontologies using axiom weakening	2022-11-02	Paper
Individual resource games and resource redistributions	2022-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q5009456	2021-08-04	Paper
Resource separation in dynamic logic of propositional assignments	2021-08-03	Paper
Resource separation in dynamic logic of propositional assignments	2020-07-08	Paper
Learning ontologies with epistemic reasoning: the \(\mathcal{EL}\) case	2020-02-18	Paper
Non-normal modalities in variants of linear logic	2018-09-12	Paper
https://portal.mardi4nfdi.de/entity/Q5283032	2017-07-18	Paper
Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL	2017-07-03	Paper
Three Traditions in the Logic of Action: Bringing them Together	2015-04-10	Paper
From coalition logic to STIT	2013-10-07	Paper
Grounding power on actions and mental attitudes	2013-06-11	Paper
A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions	2012-11-02	Paper
On Satisfiability in ATL with Strategy Contexts	2012-09-21	Paper
Reasoning about social choice functions	2011-12-15	Paper
A dynamic logic of institutional actions	2011-09-16	Paper
Coalition games over Kripke semantics: expressiveness and complexity	2011-05-31	Paper
What groups \textit{do}, \textit{can} do, and \textit{know} they can do: an analysis in normal modal logics	2010-02-05	Paper
Model Checking Strategic Equilibria	2009-03-17	Paper
A STIT-Extension of ATL	2008-10-30	Paper
Alternative axiomatics and complexity of deliberative STIT theories	2008-08-20	Paper
Embedding Alternating-time Temporal Logic in Strategic Logic of Agency	2007-04-13	Paper

Research outcomes over time

This page was built for person: Nicolas Troquard