Publication | Date of Publication | Type |
---|
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 |
https://portal.mardi4nfdi.de/entity/Q2843911 | 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 |
https://portal.mardi4nfdi.de/entity/Q2701984 | 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 |