The British Nationality Act as a logic program
Communications of the ACM
An artificial intelligence approach to legal reasoning
An artificial intelligence approach to legal reasoning
Reasoning with cases and hypotheticals in HYPO
International Journal of Man-Machine Studies - AI and legal reasoning. Part 1
CABARET: rule interpretation in a hybrid architecture
International Journal of Man-Machine Studies - AI and legal reasoning. Part 1
Representing teleological structure in case-based legal reasoning: the missing link
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
The Pleadings Game: an exercise in computational dialectics
Artificial Intelligence and Law
The systematization of legal meta-inference
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
An implementation of Eisner v. Macomber
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
Coherence in finite argument systems
Artificial Intelligence
A model of legal reasoning with cases incorporating theories and values
Artificial Intelligence - Special issue on AI and law
Predicting outcomes of case based legal arguments
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Towards a formal account of reasoning about evidence: argumentation schemes and generalisations
Artificial Intelligence and Law - Law, logic and defeasibility
Dialectical argumentation with argumentation schemes: an approach to legal logic
Artificial Intelligence and Law - Law, logic and defeasibility
Formal systems for persuasion dialogue
The Knowledge Engineering Review
Legal case-based reasoning as practical reasoning
Artificial Intelligence and Law - Argumentation in artificial intelligence and law
Persuasion and Value in Legal Argument
Journal of Logic and Computation
Computing ideal sceptical argumentation
Artificial Intelligence
The Carneades model of argument and burden of proof
Artificial Intelligence
Introducing the Logic and Law Corner
Journal of Logic and Computation
About the logical relations between cases and rules
Proceedings of the 2008 conference on Legal Knowledge and Information Systems: JURIX 2008: The Twenty-First Annual Conference
Modular Argumentation For Modelling Legal Doctrines in Common Law of Contract
Proceedings of the 2008 conference on Legal Knowledge and Information Systems: JURIX 2008: The Twenty-First Annual Conference
Modular argumentation for modelling legal doctrines of performance relief
Proceedings of the 12th International Conference on Artificial Intelligence and Law
Dialectic proof procedures for assumption-based, admissible argumentation
Artificial Intelligence
A logical model of private international law
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
25 years of applications of logic programming in Italy
A 25-year perspective on logic programming
A lightweight formal model of two-phase democratic deliberation
Proceedings of the 2010 conference on Legal Knowledge and Information Systems: JURIX 2010: The Twenty-Third Annual Conference
Argument schemes for two-phase democratic deliberation
Proceedings of the 13th International Conference on Artificial Intelligence and Law
The modular logic of private international law
Artificial Intelligence and Law - Special issue on Deontic Logic and Normative Systems
ABA: argumentation based agents
ArgMAS'11 Proceedings of the 8th international conference on Argumentation in Multi-Agent Systems
Hi-index | 0.00 |
To create a programming environment for contract dispute resolution, we propose an extension of assumption-based argumentation into modular assumption-based argumentation in which different modules of argumentation representing different knowledge bases for reasoning about beliefs and facts and for representation and reasoning with the legal doctrines could be built and assembled together. A distinct novel feature of modular argumentation in compare with other modular logic-based systems like Prolog is that it allows references to different semantics in the same module at the same time, a feature critically important for application of argumentation in legal domains like contract dispute resolution where the outcomes of court cases often depend on whether credulous or skeptical modes of reasoning were applied by the contract parties. We apply the new framework to model the doctrines of contract breach and mutual mistake.