| 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
Annals of Mathematics and Artificial Intelligence | 2024-05-03 | Paper |
Tracking and managing deemed abilities
Synthese | 2023-03-31 | Paper |
| Repairing socially aggregated ontologies using axiom weakening | 2022-11-02 | Paper |
Individual resource games and resource redistributions
Journal Of Logic And Computation | 2022-02-08 | Paper |
| The complexity of rational synthesis for concurrent games | 2021-08-04 | Paper |
Resource separation in dynamic logic of propositional assignments
Journal of Logical and Algebraic Methods in Programming | 2021-08-03 | Paper |
Resource separation in dynamic logic of propositional assignments
Lecture Notes in Computer Science | 2020-07-08 | Paper |
Resource separation in dynamic logic of propositional assignments
Lecture Notes in Computer Science | 2020-07-08 | Paper |
Learning ontologies with epistemic reasoning: the \(\mathcal{EL}\) case
(available as arXiv preprint) | 2020-02-18 | Paper |
Non-normal modalities in variants of linear logic
Journal of Applied Non-Classical Logics | 2018-09-12 | Paper |
| A resource-sensitive logic of agency | 2017-07-18 | Paper |
Dynamic logic of propositional assignments: a well-behaved variant of PDL
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
Three traditions in the logic of action: bringing them together
Outstanding Contributions to Logic | 2015-04-10 | Paper |
| From coalition logic to STIT | 2013-10-07 | Paper |
Grounding power on actions and mental attitudes
Logic Journal of the IGPL | 2013-06-11 | Paper |
A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions
Lecture Notes in Computer Science | 2012-11-02 | Paper |
On satisfiability in ATL with strategy contexts
Logics in Artificial Intelligence | 2012-09-21 | Paper |
Reasoning about social choice functions
Journal of Philosophical Logic | 2011-12-15 | Paper |
A dynamic logic of institutional actions
Lecture Notes in Computer Science | 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
Model Checking and Artificial Intelligence | 2009-03-17 | Paper |
A STIT-Extension of ATL
Logics in Artificial Intelligence | 2008-10-30 | Paper |
Alternative axiomatics and complexity of deliberative STIT theories
Journal of Philosophical Logic | 2008-08-20 | Paper |
Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
Journal Of Logic And Computation | 2007-04-13 | Paper |
