| Publication | Date of Publication | Type |
|---|
| Argument schemes for factor ascription | 2025-08-26 | Paper |
Computational models of legal argument
Journal of Applied Logics - IfCoLog Journal of Logics and their Applications | 2025-05-19 | Paper |
Explainable AI tools for legal reasoning about cases: a study on the European court of human rights
Artificial Intelligence | 2023-06-19 | Paper |
| Value-based argumentation | 2022-10-12 | Paper |
Explanation in AI and law: past, present and future
Artificial Intelligence | 2021-08-16 | Paper |
Taking account of the actions of others in value-based reasoning
Artificial Intelligence | 2018-01-12 | Paper |
Dilemmas and paradoxes: cycles in argumentation frameworks
Journal Of Logic And Computation | 2017-01-31 | Paper |
A formalization of argumentation schemes for legal case-based reasoning in ASPIC+
Journal Of Logic And Computation | 2015-11-03 | Paper |
On the instantiation of knowledge bases in abstract argumentation frameworks
Lecture Notes in Computer Science | 2013-10-04 | Paper |
Marek Sergot: A Memoir
Logic Programs, Norms and Action | 2012-07-23 | Paper |
Open Texture and Argumentation: What Makes an Argument Persuasive?
Logic Programs, Norms and Action | 2012-07-23 | Paper |
Metalevel argumentation
Journal Of Logic And Computation | 2011-12-19 | Paper |
| Computation in extended argumentation frameworks | 2011-05-11 | Paper |
Modelling judicial context in argumentation frameworks
Journal Of Logic And Computation | 2010-01-14 | Paper |
Argumentation in artificial intelligence
Artificial Intelligence | 2009-07-09 | Paper |
Practical reasoning as presumptive argumentation using action based alternating transition systems
Artificial Intelligence | 2009-07-09 | Paper |
Audiences in argumentation frameworks
Artificial Intelligence | 2009-07-09 | Paper |
Towards Dynamic Assignment of Rights and Responsibilities to Agents (Short Version)
Communications in Computer and Information Science | 2009-05-20 | Paper |
Addressing Moral Problems Through Practical Reasoning
Deontic Logic and Artificial Normative Systems | 2008-10-09 | Paper |
PADUA Protocol: Strategies and Tactics
Lecture Notes in Computer Science | 2008-09-16 | Paper |
Towards an Extensible Argumentation System
Lecture Notes in Computer Science | 2008-09-16 | Paper |
Addressing moral problems through practical reasoning
Journal of Applied Logic | 2008-06-26 | Paper |
Introducing the Logic and Law Corner
Journal Of Logic And Computation | 2008-03-12 | Paper |
Computational representation of practical argument
Synthese | 2006-12-20 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
AI*IA 2005: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2006-06-27 | Paper |
Persuasion and Value in Legal Argument
Journal Of Logic And Computation | 2006-02-21 | Paper |
Two party immediate response disputes: Properties and efficiency
Artificial Intelligence | 2006-02-07 | Paper |
A model of legal reasoning with cases incorporating theories and values
Artificial Intelligence | 2006-02-07 | Paper |
Argumentation in Multi-Agent Systems
Lecture Notes in Computer Science | 2005-09-14 | Paper |
Persuasion in Practical Argument Using Value-based Argumentation Frameworks
Journal Of Logic And Computation | 2004-01-28 | Paper |
The maximum length of prime implicates for instances of 3-SAT
Artificial Intelligence | 2003-08-28 | Paper |
| scientific article; zbMATH DE number 1948217 (Why is no real title available?) | 2003-07-10 | Paper |
| scientific article; zbMATH DE number 1884358 (Why is no real title available?) | 2003-03-18 | Paper |
Coherence in finite argument systems.
Artificial Intelligence | 2003-01-21 | Paper |
| A model of the development of distinctions in case law | 2003-01-20 | Paper |
| Using values and theories to resolve disagreement in law | 2002-04-28 | Paper |
A sharp threshold for the phase transition of a restricted satisfiability problem for Horn clauses
The Journal of Logic and Algebraic Programming | 2001-10-10 | Paper |
The role of ontologies in the verification and validation of knowledge-based systems
International Journal of Intelligent Systems | 2001-09-09 | Paper |
Spatial reasoning using the quad tesseral representation
Artificial Intelligence Review | 1998-09-29 | Paper |
| scientific article; zbMATH DE number 54102 (Why is no real title available?) | 1993-01-23 | Paper |
