In this paper we describe HARNESS, a legal knowledge-based system that is developed in the context of ESTRELLA. This system is primarily aimed at the task of legal assessment, i.e. determining whether some case violates and/or complies with legal norms. We explain how the sound and complete reasoning provided by OWL-DL reasoners is exploited by a careful representation of norms, using examples from law on taxation of gifts. We describe a plugin for Protégé 4 that enables easy experimentation for this system, powered by Pellet.

Automated handling of tutoring and training functions in educational systems requires the availability of articulate domain models. In this article we further develop the application of qualitative models for this purpose. A framework is presented that defines a key role for qualitative models as interactive simulations of the subject matter. Within this framework our research focuses on automating the diagnosis of learner behaviour. We show how a qualitative simulation model of the subject matter can be reformulated to fit the requirements of general diagnostic engines such as GDE. It turns out that, due to the specific characteristics of such models, additional structuring is required to produce useful diagnostic results. A set of procedures is presented that automatically maps detailed simulation models into a hierarchy of aggregated models by hiding non-essential details and chunking chains of causal dependencies. The result is a highly structured subject matter model that enables the diagnosis of learner behaviour by means of an adapted version of the GDE algorithm. An experiment has been conducted that shows the viability of the approach taken, i.e., given the output of a qualitative simulator the procedures we have developed automatically generate a structured subject matter model and subsequently use this model to successfully diagnoses learner behaviour.

Article ON-LINE: an architecture for modelling legal information Share on Authors: André Valente Department of Computer Science and Law, University of Amsterdam, Kloveniersburgwal 72, 1012 CZ, Amsterdam, The Netherlands Department of Computer Science and Law, University of Amsterdam, Kloveniersburgwal 72, 1012 CZ, Amsterdam, The NetherlandsView Profile , Joost Breuker Department of Computer Science and Law, University of Amsterdam, Kloveniersburgwal 72, 1012 CZ, Amsterdam, The Netherlands Department of Computer Science and Law, University of Amsterdam, Kloveniersburgwal 72, 1012 CZ, Amsterdam, The NetherlandsView Profile Authors Info & Claims ICAIL '95: Proceedings of the 5th international conference on Artificial intelligence and lawMay 1995 Pages 307–315https://doi.org/10.1145/222092.222265Online:24 May 1995Publication History 12citation403DownloadsMetricsTotal Citations12Total Downloads403Last 12 Months9Last 6 weeks4 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access

Article Free Access Share on Separating world and regulation knowledge: where is the logic Authors: Joost Breuker Department of Computer Science and Law, Faculty of Law, University of Amsterdam, Kloveniersburgwal 72, 1012 CZ Amsterdam Department of Computer Science and Law, Faculty of Law, University of Amsterdam, Kloveniersburgwal 72, 1012 CZ AmsterdamView Profile , Nienke den Haan Department of Computer Science and Law, Faculty of Law, University of Amsterdam, Kloveniersburgwal 72, 1012 CZ Amsterdam Department of Computer Science and Law, Faculty of Law, University of Amsterdam, Kloveniersburgwal 72, 1012 CZ AmsterdamView Profile Authors Info & Claims ICAIL '91: Proceedings of the 3rd international conference on Artificial intelligence and lawMay 1991 Pages 92–97https://doi.org/10.1145/112646.112658Published:01 May 1991Publication History 18citation311DownloadsMetricsTotal Citations18Total Downloads311Last 12 Months17Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF