Titlebook: Computable Models of the Law; Languages, Dialogues Pompeu Casanovas,Giovanni Sartor,Rossella Rubino Conference proceedings 2008 Springer-Ve

Engulf

Dynamic Aspects of OPJK Legal OntologyE, a multi-version ontologies reasoning System. MORE is based on a temporal logic approach. We show how the temporal logic approach can be used to obtain a better understanding of dynamic and temporal evolution of legal ontologies.

外来

Constructing Legal Arguments with Rules in the Legal Knowledge Interchange Format (LKIF)d illustrated with an example based on German family law. This example is then applied to show how LKIF rules can be used with the Carneades argumentation system to construct, evaluate and visualize arguments about a legal case.

制定法律

博识

Source Norms and Self-regulated Institutionsmically and autonomously new norms in their normative systems. After describing these concepts, we shall present a formal model of source-norms built by exploiting the PRATOR system for defeasible argumentation and we shall try to apply it to electronic institutions.

难理解

Self-Help-Group

过去分词

必死

Improvements in Recall and Precision in Wolters Kluwer Spain Legal Search Engineating a mixed document indexing schema of terms and concepts as well as a proprietary ranking algorithm trained by a hybrid genetic algorithm. These calculations also improve the quality of keyword-in-context.

Inkling

Calibrate

Conference proceedings 2008uitous. European policies on transparency and information society, in particular, require the use of technology and its steady improvement...Some of the revised papers presented in this book originate from a workshop held at the European University Institute of Florence, Italy, in December 2006. The