Nicolas Troquard

From MaRDI portal
Person:652735

Available identifiers

zbMath Open troquard.nicolasMaRDI QIDQ652735

List of research outcomes





PublicationDate of PublicationType
Non-normal Modal description logics2024-05-29Paper
Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention2024-05-03Paper
Tracking and managing deemed abilities2023-03-31Paper
Repairing socially aggregated ontologies using axiom weakening2022-11-02Paper
Individual resource games and resource redistributions2022-02-08Paper
https://portal.mardi4nfdi.de/entity/Q50094562021-08-04Paper
Resource separation in dynamic logic of propositional assignments2021-08-03Paper
Resource separation in dynamic logic of propositional assignments2020-07-08Paper
Learning ontologies with epistemic reasoning: the \(\mathcal{EL}\) case2020-02-18Paper
Non-normal modalities in variants of linear logic2018-09-12Paper
https://portal.mardi4nfdi.de/entity/Q52830322017-07-18Paper
Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL2017-07-03Paper
Three Traditions in the Logic of Action: Bringing them Together2015-04-10Paper
From coalition logic to STIT2013-10-07Paper
Grounding power on actions and mental attitudes2013-06-11Paper
A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions2012-11-02Paper
On Satisfiability in ATL with Strategy Contexts2012-09-21Paper
Reasoning about social choice functions2011-12-15Paper
A dynamic logic of institutional actions2011-09-16Paper
Coalition games over Kripke semantics: expressiveness and complexity2011-05-31Paper
What groups \textit{do}, \textit{can} do, and \textit{know} they can do: an analysis in normal modal logics2010-02-05Paper
Model Checking Strategic Equilibria2009-03-17Paper
A STIT-Extension of ATL2008-10-30Paper
Alternative axiomatics and complexity of deliberative STIT theories2008-08-20Paper
Embedding Alternating-time Temporal Logic in Strategic Logic of Agency2007-04-13Paper

Research outcomes over time

This page was built for person: Nicolas Troquard