Improving legal quality: An application report

Proceedings of the International Conference on Artificial Intelligence and Law

Volumn , Issue , 2003, Pages 284-292

  Van Engers, Tom M ^a   Boekenoogen, Margherita R ^a  

^a Centrum Voor Proces en Productontwikkeling   (Netherlands)

Author keywords

AI and law; knowledge engineering; knowledge modeling; knowledge representation; legal quality; verification and validation

Indexed keywords

AI AND LAW; COMPUTER PROGRAM; EXPERT KNOWLEDGE; KNOWLEDGE MODELING; KNOWLEDGE MODELLING; KNOWLEDGE SOURCES; LEGAL EXPERTS; LEGAL QUALITY; REGULATING POWER; REPRESENTATION TECHNIQUES; SUPPORTING TOOL; TIME-TO-MARKET; TRANSLATION PROCESS; VERIFICATION AND VALIDATION;

ARTIFICIAL INTELLIGENCE; LAWS AND LEGISLATION; PROGRAM TRANSLATORS;

KNOWLEDGE REPRESENTATION;

EID: 77957758574     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1047788.1047844     Document Type: Conference Paper

References (23)

1. Bench-Capon, T.J.M., Robinson, G. O. Routen, T. W. and M. J. Sergot,, 1987, Logic Programming for Large Scale Applications in Law, First International Conference on AI and Law, Boston
2. Coenen, F., Bench-Capon, T.J.M., 1993, Maintenance of Knowledge-Based Systems: Theory, Techniques and Tools (Apic Series, number 40), Academic Press.
3. van Engers, T. M., Kordelaar, P., 1999, POWER: Programme for an Ontology based Working Environment for modeling and use of Regulations and legislation. Proceedings of the ISMICK'99.
4. van Engers, T. M., Kordelaar, P.J.M., den Hartog, J., Glasse, E., 2000, POWER: Programme for an Ontology based Working Environment for modeling and use of Regulations and legislation. In Proceeding of the 11th workshop on Database and Expert Systems Applications (IEEE) Eds. Tjoa, Wagner and Al-Zobaidie, Greenwich London, ISBN 0-7695-0680-1, pp. 327-334.
5. van Engers, T. M., Gerrits, G., Boekenoogen, M. R., Glasse E., Kordelaar, P., 2001, POWER: Using UML/OCL for Modeling Legislation - an application report. Proceedings of the ICAIL 2001, St. Louis.
6. van Engers, T. M., Glasse, E., 2001, Facilitating the Legislation Process using a shared Conceptual Model. In: IEEE Intelligent Systems January 2001, p. 50-57.
7. van Engers, T. M., Van Driel, L., Boekenoogen, M., 2002, The effect of formal representations formats on the quality of legal decision-making, in Legal Knowledge and Information Systems (Bench-Capon, Daskalopulu, Winkels eds.), IOS Press Amsterdam, ISBN 1 58603 299 2, p 63-71.
8. Gerrits, R., Spreeuwenberg, S., 1999, A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base, Validation and Verification of Knowledge Based Systems, Theory, Tools and Practice, 67-78
9. Gerrits,,R., Spreeuwenberg, S., Boekenoogen, M., 2000, VALENS: A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base, Proceedings 14th European Conference on Artificial Intelligence, 731-735
10. Glasse, E., Van Engers, T. M., Jacobs, A., 2003 POWER: An Integrated Method for Legislation and Regulations from their Design to their Use in E-government Services and Law Enforcement, in Digital Legislation (ed Moens), die Keure, Brugge, ISBN 90 5958 039 7, p175-204
11. van Gog, R., Van Engers, T. M., 2001, Modeling legislation using natural language processing, in: 2001 IEEE International Conference on Systems, Man & Cybernetics, Tucson, Arizona, ISBN 0-7803-7089-9.
12. den Haan, N, Automated Legal Reasoning, University of Amsterdam, Amsterdam, 1996 (diss.)
13. Kordelaar, P.J.M., 1996, Betere wetten met kennissystemen, Phd-Thesis Twente University, ISBN 90-365-0865-7.
14. Luccardi, G. L., 1994, Functional Object-Types as a Foundation of Complex Knowledge-Based Systems, Phd-Thesis, Technical University Eindhoven, ISBN 90-6743-350-0
15. Nieuwenhuis, M. A., Tessec: een expertsysteem voor de Algemene Bijstandswet, Universiteit Twente, Enschede, 1989 (diss.)
16. Preece, Shingal, 1994, Foundation and Application of Knowledge Base Verification, International Journal of Intelligent Systems, 9 683-701
17. D'Souza D. F. and Wills A. C., 1999, Objects, components and frameworks with UML: the Catalysis approach, Addison-Wesley, ISBN 0-201-31012-0.
18. Spreeuwenberg, S., Van Enger, T. M., Gerrits, R., 2001, The Role of Verification in Improving the Quality of Legal Decision-Making, in Legal Knowledge and Information Systems, IOS press, ISSN 0922-6389.
19. Svensson, J. S., Kennisgebaseerde micro simulatie, Universiteit Twente, Enschede, 1993 (diss.)
20. Vanthienen, J., Mues C., Wets, G., 1997, Inter-Tabular Verification in an Interactive Environment, Proceedings Eurovav 97, 155-165
21. Voermans, W., 1995 Sturen in de mist...., maar dan met radar; een onderzoek naar praktisch haalbare vormen van computerondersteuning bij het ontwerpen van regelingen, dissertatie KUB, Tjeenk Willink, ISBN 90 271 4269 6
22. Voermans, W., 2000, Computer-assisted legislative drafting in the Netherlands: the LEDA-system, A National Conference on Legislative Drafting in the Global Village
23. Waterman, D. A, 1986, A guide to Expert Systems, Addison-Wesley Publishing Company, Reading.