| Publication | Date of Publication | Type |
|---|
| A deontic stit logic based on beliefs and expected utility | 2024-11-24 | Paper |
| On floating conclusions | 2024-08-05 | Paper |
| A stit logic of intentionality | 2024-06-05 | Paper |
| DOING WITHOUT ACTION TYPES | 2024-03-16 | Paper |
| On elitist lifting and consistency in structured argumentation | 2022-09-28 | Paper |
| Stit semantics for epistemic notions based on information disclosure in interactive settings | 2021-11-03 | Paper |
| Normative reasoning and consequence | 2021-06-15 | Paper |
| Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity | 2021-01-19 | Paper |
| Stit semantics for epistemic notions based on information disclosure in interactive settings | 2020-07-08 | Paper |
| A logic of objective and subjective oughts | 2020-02-18 | Paper |
| Arguments, responsibilities and moral dilemmas in abductive default logic | 2019-07-24 | Paper |
| Knowledge and subjective oughts in STIT logic | 2019-07-24 | Paper |
| A Logic of Objective and Subjective Oughts (full paper with proofs) | 2019-03-25 | Paper |
| Regulating competing coalitions: a logic for socially optimal group choices | 2018-08-28 | Paper |
| Using STIT theory to talk about strategies | 2016-08-30 | Paper |
| On the reconciliation of logics of agency and logics of event types | 2015-04-10 | Paper |
| Forbidding undesirable agreements | 2015-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5417799 | 2014-05-22 | Paper |
| From coalition logic to STIT | 2013-10-07 | Paper |
| Grounding power on actions and mental attitudes | 2013-06-11 | Paper |
| Probabilistic stit logic and its decomposition | 2013-06-04 | Paper |
| Discussion paper: Changing norms is changing obligation change | 2012-11-02 | Paper |
| Ten problems of deontic logic and normative reasoning in computer science | 2012-11-01 | Paper |
| Making a start with the stit logic analysis of intentional action | 2011-12-15 | Paper |
| Probabilistic stit logic | 2011-06-29 | Paper |
| Deontic epistemic stit logic distinguishing modes of mens rea | 2011-06-22 | Paper |
| Forbidding undesirable agreements: a dependence-based approach to the regulation of multi-agent systems | 2010-09-29 | Paper |
| What groups \textit{do}, \textit{can} do, and \textit{know} they can do: an analysis in normal modal logics | 2010-02-05 | Paper |
| An Update Operator for Strategic Ability | 2010-01-07 | Paper |
| Determining the environment: a modal logic for closed interaction | 2009-11-04 | Paper |
| Deontic Logic in Computer Science | 2009-04-30 | Paper |
| Deontic Logic in Computer Science | 2009-04-30 | Paper |
| A Complete STIT Logic for Knowledge and Action, and Some of Its Applications | 2009-02-12 | Paper |
| ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations | 2009-02-12 | Paper |
| A STIT-Extension of ATL | 2008-10-30 | Paper |
| A Logic for Closed-World Interaction | 2008-10-27 | Paper |
| Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm’s Scenario | 2008-10-09 | Paper |
| A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’ | 2008-08-28 | Paper |
| A Deontic Logic for Socially Optimal Norms | 2008-08-28 | Paper |
| Embedding Alternating-time Temporal Logic in Strategic Logic of Agency | 2007-04-13 | Paper |
| Logics in Artificial Intelligence | 2006-10-25 | Paper |
| Beliefs, obligations, intentions, and desires as components in an agent architecture | 2005-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5465435 | 2005-08-22 | Paper |
| Action negation and alternative reductions for dynamic deontic logics | 2004-08-06 | Paper |
| Realistic desires | 2004-03-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4427243 | 2003-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4784864 | 2002-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329182 | 2002-10-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767116 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251119 | 1999-06-17 | Paper |
