| 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 |
| https://portal.mardi4nfdi.de/entity/Q5869536 | 2022-09-28 | Paper |
| Stit semantics for epistemic notions based on information disclosure in interactive settings | 2021-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4993609 | 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 |
| https://portal.mardi4nfdi.de/entity/Q5224798 | 2019-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224902 | 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 |
| https://portal.mardi4nfdi.de/entity/Q3400789 | 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 |
