The British Nationality Act as a logic program
Communications of the ACM
Design for acquisition: principles of knowledge-system design to facilitate knowledge acquisition
International Journal of Man-Machine Studies - Knowledge acquisition for knowledge-based systems. Part 2
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
Oblog-2: A hybrid knowledge representation system for defeasible reasoning
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
Legislative knowledge base systems for public administration: some practical issues
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
Indian central civil service pension rules: a case study in logic programming applied to regulations
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
ON-LINE: an architecture for modelling legal information
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Proceedings of the 6th international conference on Artificial intelligence and law
A principled approach to developing legal knowledge systems
International Journal of Human-Computer Studies - Model—based legal knowledge engineering
POWER: using UML/OCL for modeling legislation - an application report
Proceedings of the 8th international conference on Artificial intelligence and law
Induction of defeasible logic theories in the legal domain
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
The Carneades model of argument and burden of proof
Artificial Intelligence
Automated Legal Assessment in OWL 2
Proceedings of the 2008 conference on Legal Knowledge and Information Systems: JURIX 2008: The Twenty-First Annual Conference
Argument Diagramming and Diagnostic Reliability
Proceedings of the 2009 conference on Legal Knowledge and Information Systems: JURIX 2009: The Twenty-Second Annual Conference
Traceability and change in legal requirements engineering
AICOL-I/IVR-XXIV'09 Proceedings of the 2009 international conference on AI approaches to the complexity of legal systems: complex systems, the semantic web, ontologies, argumentation, and dialogue
Temporal Dimensions in Rules Modelling
Proceedings of the 2010 conference on Legal Knowledge and Information Systems: JURIX 2010: The Twenty-Third Annual Conference
Knowledge acquisition from sources of law in public administration
EKAW'10 Proceedings of the 17th international conference on Knowledge engineering and management by the masses
Modelling temporal legal rules
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
Towards pragmatic argumentative agents within a fuzzy description logic framework
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
| Hi-index | 0.00 |
As knowledge representation tools become more sophisticated, and computer systems increase in power and ubiquity, the prospects of building practical applications based on the representation of large amounts of legislation draw closer. In this paper we reflect on our experience with developing a knowledge representation language for legal rules and an inference engine for this language in the Estrella project, in order to reconsider the principles which should guide the representation of legislation. One common demand, based largely on software engineering considerations relating to maintenance, verification and validation, is that representations should be isomorphic to their sources. We explore this notion by representing a fragment of German Family Law using our tools. We show that there are several different ways of representing even this small and simple fragment of law in an isomorphic fashion. Moreover these differences matter, in terms of where the burden of proof is allocated, in terms of the explanations produced, and in terms of the operational procedures that are reflected.