ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Pleadings Game: An Artificial Intelligence Model of Procedural Justice
Pleadings Game: An Artificial Intelligence Model of Procedural Justice
Dialectical argumentation with argumentation schemes: an approach to legal logic
Artificial Intelligence and Law - Law, logic and defeasibility
The Carneades model of argument and burden of proof
Artificial Intelligence
MetaLex XML and the Legal Knowledge Interchange Format
Computable Models of the Law
Constructing Legal Arguments with Rules in the Legal Knowledge Interchange Format (LKIF)
Computable Models of the Law
Rulebase Technology and Legal Knowledge Representation
Computable Models of the Law
Source Norms and Self-regulated Institutions
Computable Models of the Law
LKIF Core: Principled Ontology Development for the Legal Domain
Proceedings of the 2009 conference on Law, Ontologies and the Semantic Web: Channelling the Legal Information Flood
Proposed XML Standards for Law: MetaLex and LKIF
Proceedings of the 2007 conference on Legal Knowledge and Information Systems: JURIX 2007: The Twentieth Annual Conference
Perseus. Software for Analyzing Persuasion Process
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Ontology RepresentationDesign Patterns and Ontologies that Make Sense
Proceedings of the 2009 conference on Ontology Representation: Design Patterns and Ontologies that Make Sense
Analyzing open source license compatibility issues with Carneades
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Modeling authority commitments in two search and seizure cases
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Araucaria-PL: software for teaching argumentation theory
TICTTL'11 Proceedings of the Third international congress conference on Tools for teaching logic
Perseus. Software for Analyzing Persuasion Process
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
| Hi-index | 0.00 |
A knowledge representation language for defeasible legal rules is defined, whose semantics is purely procedural, based on Walton's theory of argumentation and Loui's break with the relational tradition in 'Process and Policy'. Legal rules are interpreted as reasoning policies, by mapping them in the semantics to argumentation schemes. The reasoning process is regulated by argumentation protocols. Reasoning with legal rules is viewed as applying schemes for arguments from rules to construct arguments to be put forward in dialogues.