A semantical approach to nonmonotonic logics
Readings in nonmonotonic reasoning
Clausal intuitionistic logic II. Tableau proof procedures
Journal of Logic Programming
Representing and reusing explanations of legal precedents
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Representing the structure of a legal argument
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
An abductive theory of legal issues
International Journal of Man-Machine Studies - AI and legal reasoning. Part 2
Author's Argumentation Assistant (AAA): a hypertext-based authoring tool for argumentative texts
Hypertext: concepts, systems and applications
Conditional entailment: bridging two approaches to default reasoning
Artificial Intelligence
Pleadings Game: An Artificial Intelligence Model of Procedural Justice
Pleadings Game: An Artificial Intelligence Model of Procedural Justice
Modeling Legal Arguments: Reasoning with Cases and Hypotheticals
Modeling Legal Arguments: Reasoning with Cases and Hypotheticals
Levels of reasoning as the basis for a formalisation of argumentation
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Making way for intelligence in case space
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
A computational framework for dialectical reasoning
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
DiaLaw: a dialogical framework for modeling legal reasoning
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
The split-up system: integrating neural networks and rule-based reasoning in the legal domain
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Understanding Similarity: A Joint Project for Psychology,Case-Based Reasoning, and Law
Artificial Intelligence Review
Towards interest-based negotiation
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Strategic argumentation: a game theoretical investigation
Proceedings of the 11th international conference on Artificial intelligence and law
A formal model of adjudication dialogues
Artificial Intelligence and Law
Strategy acquisition on multi-issue negotiation without estimating opponent's preference
KES-AMSTA'08 Proceedings of the 2nd KES International conference on Agent and multi-agent systems: technologies and applications
A simple argumentation based contract enforcement mechanism
CIA'06 Proceedings of the 10th international conference on Cooperative Information Agents
PISA: A framework for multiagent classification using argumentation
Data & Knowledge Engineering
Open texture and argumentation: what makes an argument persuasive?
Logic Programs, Norms and Action
Some reflections on two current trends in formal argumentation
Logic Programs, Norms and Action
The process of reaching agreement in meaning negotiation
Transactions on Computational Collective Intelligence VII
Algorithms for decision problems in argument systems under preferred semantics
Artificial Intelligence
Hi-index | 0.00 |
The Pleadings Game is a normative formalization and computational model of civil pleading, founded in Robert Alexy's discourse theory of legal argumentation. The consequences of arguments and counterarguments are modelled using Geffner and Pearl's non-monotonic logic, conditional entailment. Discourse is focussed using the concepts of issue and relevance. Conflicts between arguments can be resolved by arguing about the validity and priority rules, at any level. The computational model is fully implemented and has been tested using examples from Article Nine of the Uniform Commercial Code.