| Publication | Date of Publication | Type |
|---|
| Deontic meta-rules | 2024-11-12 | Paper |
| Avoiding pragmatic oddity: a bottom-up defeasible deontic logic | 2024-11-12 | Paper |
| A logic for the interpretation of private international law | 2024-10-14 | Paper |
| Stable normative explanations: from argumentation to deontic logic | 2024-05-29 | Paper |
| Practical Normative Reasoning with Defeasible Deontic Logic | 2023-06-30 | Paper |
| Modal Rules: Extending Defeasible Logic with Modal Operators | 2023-06-28 | Paper |
| Inference to the stable explanations | 2023-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5880833 | 2023-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5880835 | 2023-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5878375 | 2023-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5878376 | 2023-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5039121 | 2022-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5039122 | 2022-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5039145 | 2022-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869636 | 2022-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869642 | 2022-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5037679 | 2022-03-03 | Paper |
| Computing defeasible meta-logic | 2021-12-01 | Paper |
| A normative supervisor for reinforcement learning agents | 2021-12-01 | Paper |
| The Uses of Norms | 2021-06-15 | Paper |
| Advancements in resource-driven substructural defeasible logic | 2020-02-18 | Paper |
| Labelled proofs for quantified modal logic | 2019-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224800 | 2019-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224909 | 2019-07-24 | Paper |
| Labelling ideality and subideality | 2019-04-29 | Paper |
| Revision of defeasible preferences | 2019-02-20 | Paper |
| Algorithms for tractable compliance problems | 2018-12-19 | Paper |
| A labelling framework for probabilistic argumentation | 2018-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4576188 | 2018-07-12 | Paper |
| Sequence Semantics for Normative Agents | 2018-07-06 | Paper |
| Sequence Semantics for Modelling Reason-based Preferences | 2018-05-03 | Paper |
| The rationale behind the concept of goal | 2017-11-09 | Paper |
| Annotated defeasible logic | 2017-11-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5283000 | 2017-07-18 | Paper |
| An inclusion theorem for defeasible logics | 2015-09-17 | Paper |
| A Preference-Based Semantics for CTD Reasoning | 2014-09-08 | Paper |
| Detecting Deontic Conflicts in Dynamic Settings | 2014-09-08 | Paper |
| Computing strong and weak permissions in defeasible logic | 2014-03-24 | Paper |
| On the relative complexity of labelled modal tableaux | 2013-08-27 | Paper |
| Possible World Semantics for Defeasible Deontic Logic | 2012-11-02 | Paper |
| Levels of modality for BDI logic | 2012-10-16 | Paper |
| Time and defeasibility in FIPA ACL semantics | 2012-10-16 | Paper |
| Distributed Defeasible Speculative Reasoning in Ambient Environment | 2012-09-21 | Paper |
| Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance | 2011-09-16 | Paper |
| What Are the Necessity Rules in Defeasible Reasoning? | 2011-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3086941 | 2011-03-30 | Paper |
| Changing legal systems: legal abrogations and annulments in Defeasible Logic | 2010-04-08 | Paper |
| Representation results for defeasible logic | 2009-10-21 | Paper |
| AI 2003: Advances in Artificial Intelligence | 2009-08-07 | Paper |
| AI 2003: Advances in Artificial Intelligence | 2009-08-07 | Paper |
| A defeasible logic for modelling policy-based intentions and motivational attitudes | 2009-06-29 | Paper |
| Deontic Logic in Computer Science | 2009-04-30 | Paper |
| Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories | 2008-08-28 | Paper |
| Programming Cognitive Agents in Defeasible Logic | 2008-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5296763 | 2007-07-16 | Paper |
| Embedding defeasible logic into logic programming | 2007-02-13 | Paper |
| AI 2005: Advances in Artificial Intelligence | 2006-11-14 | Paper |
| On the axiomatisation of Elgesem's logic of agency and ability | 2006-02-08 | Paper |
| Probabilistic automated bidding in multiple auctions | 2005-11-16 | Paper |
| Argumentation Semantics for Defeasible Logic | 2005-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4475172 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4415231 | 2003-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708918 | 2003-06-20 | Paper |
| Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations | 2003-03-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2721189 | 2001-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4494321 | 2001-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4494325 | 2001-03-22 | Paper |
| Fibred modal tableaux | 2001-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518916 | 2000-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955346 | 2000-10-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938885 | 2000-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4215591 | 1998-12-03 | Paper |
