| Publication | Date of Publication | Type |
|---|
Deontic meta-rules
Journal Of Logic And Computation | 2024-11-12 | Paper |
Avoiding pragmatic oddity: a bottom-up defeasible deontic logic
Journal Of Logic And Computation | 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 |
| Finding factors in legal case-based reasoning | 2024-03-22 | Paper |
| Inference to the stable explanations | 2023-04-04 | Paper |
| A defeasible deontic logic for pragmatic oddity | 2023-02-21 | Paper |
scientific article; zbMATH DE number 7655711 (Why is no real title available?)
(available as arXiv preprint) | 2023-02-21 | Paper |
| Time, defeasible logic and belief revision: pathways to legal dynamics | 2022-10-12 | Paper |
| A deontic argumentation framework towards doctrine reification | 2022-09-28 | Paper |
| Time and compensation mechanisms in checking legal compliance | 2022-09-28 | Paper |
| Norms in MAS: definitions and related concepts | 2021-06-15 | Paper |
Labelled proofs for quantified modal logic
Logics in Artificial Intelligence | 2019-10-08 | Paper |
| Sequence semantics for norms and obligations | 2019-07-24 | Paper |
| Dialogues on moral theories | 2019-07-24 | Paper |
Variants of multi-relational semantics for propositional non-normal modal logics
Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
A labelling framework for probabilistic argumentation
Annals of Mathematics and Artificial Intelligence | 2018-07-20 | Paper |
A labelling framework for probabilistic argumentation
Annals of Mathematics and Artificial Intelligence | 2018-07-20 | Paper |
Sequence Semantics for Normative Agents
PRIMA 2016: Princiles and Practice of Multi-Agent Systems | 2018-07-06 | Paper |
Sequence Semantics for Modelling Reason-based Preferences
Fundamenta Informaticae | 2018-05-03 | Paper |
Quantification in some non-normal modal logics
Journal of Philosophical Logic | 2017-12-13 | Paper |
The rationale behind the concept of goal
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
| scientific article; zbMATH DE number 6747923 (Why is no real title available?) | 2017-07-18 | Paper |
scientific article; zbMATH DE number 6747923 (Why is no real title available?)
(available as arXiv preprint) | 2017-07-18 | Paper |
A Preference-Based Semantics for CTD Reasoning
Deontic Logic and Normative Systems | 2014-09-08 | Paper |
Computing strong and weak permissions in defeasible logic
Journal of Philosophical Logic | 2014-03-24 | Paper |
Computing strong and weak permissions in defeasible logic
Journal of Philosophical Logic | 2014-03-24 | Paper |
| Logic in law: a concise overview | 2013-10-04 | Paper |
Norms and learning in probabilistic logic-based agents
Lecture Notes in Computer Science | 2012-11-02 | Paper |
Possible world semantics for defeasible deontic logic
Lecture Notes in Computer Science | 2012-11-02 | Paper |
Time and defeasibility in FIPA ACL semantics
Journal of Applied Logic | 2012-10-16 | Paper |
Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance
Lecture Notes in Computer Science | 2011-09-16 | Paper |
Retroactive legal changes and revision theory in defeasible logic
Lecture Notes in Computer Science | 2010-09-29 | Paper |
Changing legal systems: legal abrogations and annulments in Defeasible Logic
Logic Journal of the IGPL | 2010-04-08 | Paper |
Collective trust and normative agents
Logic Journal of the IGPL | 2010-04-08 | Paper |
A defeasible logic for modelling policy-based intentions and motivational attitudes
Logic Journal of the IGPL | 2009-06-29 | Paper |
Deontic Logic in Computer Science
Lecture Notes in Computer Science | 2009-04-30 | Paper |
Temporal Deontic Defeasible Logic: An Analytical Approach
Lecture Notes in Computer Science | 2009-01-27 | Paper |
Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories
Lecture Notes in Computer Science | 2008-08-28 | Paper |
Programming Cognitive Agents in Defeasible Logic
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
| Logic of violations: a Gentzen system for reasoning with contrary-to-duty obligations | 2007-07-16 | Paper |
AI 2005: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2006-11-14 | Paper |
On the axiomatisation of Elgesem's logic of agency and ability
Journal of Philosophical Logic | 2006-02-08 | Paper |
Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations
Journal Of Logic And Computation | 2003-03-24 | Paper |
| scientific article; zbMATH DE number 1612544 (Why is no real title available?) | 2001-07-01 | Paper |
| scientific article; zbMATH DE number 1215459 (Why is no real title available?) | 1998-12-03 | Paper |
