𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

Computable Models of the Law: Languages, Dialogues, Games, Ontologies (Lecture Notes in Computer Science, 4884)

✍ Scribed by Giovanni Sartor (editor), Núria Casellas (editor), Rossella Rubino (editor)


Publisher
Springer
Year
2008
Tongue
English
Leaves
351
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis


Information technology has now pervaded the legal sector, and the very modern concepts of e-law and e-justice show that automation processes are ubiquitous. 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 workshop was devoted to the discussion of the different ways of understanding and explaining contemporary law, for the purpose of building computable models of it -- especially models enabling the development of computer applications for the legal domain. During the course of the following year, several new contributions, provided by a number of ongoing (or recently finished) European projects on computation and law, were received, discussed and reviewed to complete the survey.

This book presents 20 thoroughly refereed revised papers on the hot topics under research in different EU projects: legislative XML, legal ontologies, semantic web, search and meta-search engines, web services, system architecture, dialectic systems, dialogue games, multi-agent systems (MAS), legal argumentation, legal reasoning, e-justice, and online dispute resolution. The papers are organized in topical sections on knowledge representation, ontologies and XML legislative drafting; knowledge representation, legal ontologies and information retrieval; argumentation and legal reasoning; normative and multi-agent systems; and online dispute resolution.

✦ Table of Contents


Title Page
Preface
Table of Contents
Computable Models of the Law and ICT: State of the Art and Trends in European Research
Introduction
The Diffusion of ICT in the Legal World
Legal Information Search
Electronic Data Discovery
Web-Based Communications
Collaborative Tools
Metadata and XML Technologies
Technologies in Courtrooms and Judicial Offices
The Development of Computational Models of the Law
Models of Legal Documents
Models of Legal Norms
Models of Legal Concepts
Models of Legal Cases
Models of Legal Interaction
The European Projects on Technology and Law Included in This Book
ALIS - Automated Legal Intelligent System
ARGUGRID - Argumentation as a Foundation for the Semantic Grid
ASPIC - Argumentation Service Platform with Integrated Components
BEST - BATNA Establishment Using Semantic Web Technology
DALOS - Drafting Legislation with Ontology-Based Support
ESTRELLA - European Project for Standardized Transparent Representations in Order to Extend LegaL Accessibility
OPENKNOWLEDGE
METASEARCH - Semantic Legal Metasearch Project
SEAL - Smart Environment for Assisting Legislative Drafting
SEKT- Semantically Enabled Knowledge Technologies
Content of This Book
Knowledge Representation, Ontologies and XML Legislative Drafting
Knowledge Representation, Legal Ontologies and Information Retrieval
Argumentation and Legal Reasoning
Normative and Multi-agent Systems (MAS)
Online Dispute Resolution
References
MetaLex XML and the Legal Knowledge Interchange Format
Introduction
MetaLex
Scope of the Standard
MetaLex Content Models
Conformance of Elements
Metadata
Citation and Reference
The Legal Knowledge Interchange Format
Interface between LKIF and MetaLex
The LKIF Ontology
LKIF Rules
Rules Versus Ontology
Integrated LKIF Semantics
Future Developments
References
MetaVex: Regulation Drafting Meets the Semantic Web
Introduction
Requirements
Syntax and Semantics: MetaLex
MetaVex
Discussion and Future Work
References
Building Semantic Resources for Legislative Drafting: The DALOS Project
Introduction
The Legislative Process as a Place for β€˜e-participation’
Knowing the Law
Law and Language
The Ontology-Based Approach
A Semantic Lexicon for Law: The LOIS Database
DALOS Knowledge Organization and Features
Implementation of the DALOS Resource
The Lexical Layer Implementation: The Italian Case
Ontological Layer Implementation
Conclusions
References
Moving in the Time: An Ontology for Identifying Legal Resources
Introduction
FRBR$_ER$
CIDOC CRM and FRBR$_OO$
FRBR$_OO$ – Harmonization of Work Entity
FRBR$_OO$ – Harmonization of Expression Entity
FRBR$_OO$ – Harmonization of Manifestation Entity
FRBR$_OO$ and Legal Resources
From Signed Document to Official Publication
Legal Norm and Time
From Norms to Legal and Normative Systems
Annexes
Legal Norm and Languages
Conclusion
References
An Ontology for Spatial Regulations
Introduction
Linking Texts and Maps
Spatial Aspects of Law
Standards for Spatial Regulations
MetaLex
GML
IMRO2006
Links
Ontologies
LegalAtlas
RDF Repository
SPARQL Queries
Conclusion
References
Supporting the Construction of Spanish Legal Ontologies with Text2Onto
Introduction
Text2Onto
Linguistic Preprocessing
Concepts and Instances
SubclassOf Relations
InstanceOf Relations
Non-taxonomic Relations
Lessons Learned and Conclusion
References
Dynamic Aspects of OPJK Legal Ontology
Introduction
MORE: A Multi-version Ontology Reasoning System
Ontology Versioning and Effect Space
OPJKVersioning
Analysis of OPJK
Ontology Change Measure on the Version Level
Ontology Change Measure on the Concept Level
Ontology Change Measure in the Logical Property Level
Discussion and Conclusions
References
Improvements in Recall and Precision in WoltersKluwer Spain Legal Search Engine
Introduction
User’s Search Behaviour
Users Have Difficulty Formulating Queries
Full Text Search and Boolean Operators
The Semantic Legal Search Engine
Natural Language: Semantic Indexation
Relevance Review of the Result List
Keyword-in-Context
Performance
Other Functionalities
Conclusions
Future Works
References
Three Senses of β€œArgument”
Introduction
Arguments
Critical Questions
Argumentation Frameworks and Debates
Another Argument Scheme
Cases
Evaluation of Arguments
Conclusion
References
Constructing Legal Arguments with Rules in the Legal Knowledge Interchange Format (LKIF)
Introduction
InformalOverview
Syntax
Semantics
A German Family Law Example
XMLSyntax
Reasoning with LKIF Rules Using Carneades
Discussion
References
Assumption-Based Argumentation for Epistemic and Practical Reasoning
Introduction
Abstract and Assumption-Based Argumentation
Epistemic Reasoning
Epistemic Frameworks without Preference Rules
Epistemic Frameworks with Preferences
Practical Reasoning
Example
Conclusions
References
Computing Argumentation for Decision Making in Legal Disputes
Introduction
Walk-through Example
The Object Language
Priority
Arguments
Interactions between Arguments
Semantics
Procedure
Related Works
Conclusions
References
Deterrence and Defeasibility in Argumentation Process for ALIS Project
Introduction
ALIS Project Core Features with Regard to Argumentation
Games of Deterrence: An Introduction
Bounded Rationality
Playability and Deterrence: Non Formal Definitions
Playability System
Graphs of Deterrence
Games of Deterrence for Argumentation
The Classical Approach of Argumentation
From Deterrence to Statement Defeasibility
Deterrence, Rebutting, Undercutting
Decidability
Consistency Condition
Game of Deterrence Representation and Processing of an Argumentation Issue
Consequences on the Argumentation Process
Conclusions
References
Temporal Deontic Defeasible Logic: An Analytical Approach
Introduction
Temporal Model
The Logic Layer
The Language
Proof Theory
The Argument Layer
The Dialectical Layer
The Argumentation Semantics
Conclusion
References
Rulebase Technology and Legal Knowledge Representation
Introduction
The Application Domain and Requirements
Knowledge Representation
Conclusions
References
Source Norms and Self-regulated Institutions
Source-Norms
A Taxonomy of Source-Norms
A Formal Model of Source-Norms
Norms in Agent Societies
Self-regulated Institutions
Conclusions and Future Work
References
Distributed Norm Enforcement: Ostracism in Open Multi-Agent Systems
Introduction
Related Work
The Scenario
Simulations
Future Work
References
Retrieval of Case Law to Provide Layman with Information about Liability: Preliminary Results of the BEST-Project
Introduction
Concept-Based Search
Applied Technique
Experimental Set-Up
Results
Additional Experiments
Discussion
Search Documents
Concept-Based Search Documents: Technique Enabling Visualization in a Later Stage
Open Textured and Clear Concepts
Creation of Search Documents
Experimental Set-Up
Visualizing Overlap between Concepts
Motivation
Procedure
Visualization Experiments
Examples
Results
Presenting Relevant Court Decision
Motivation
Technical Implementation
Results
User Satisfaction Research
Future Work
References
ICT-Supported Dispute Resolution
Introduction
ICT Support for Judicial Dispute Resolution
The Italian On-Line Civil Trial
The Use of Information and Communication Technologies in Arbitration
On-Line Mediation
Intelligent Technology in Dispute Resolution: The ALIS Project
Conclusions
References
Concepts and Fields of Relational Justice
Introduction
Concepts and Fields
From Empirical to Philosophical Approaches
Natural Conflict Resolution, Aggression and Conciliation Patterns
The Role of Culture and Language in Interaction Patterns
Context, Negotiation and Dialogue Processes in Conflict, Violence and Reconciliation Patterns
Theory and Practice of Mediation in Law and Legal Systems
Discussion and Future Research Trends
References
Author Index


πŸ“œ SIMILAR VOLUMES


Computable Models of the Law - Languages
✍ Pompeu Casanovas, Giovanni Sartor, NΓΊria Casellas, Rossella Rubino πŸ“‚ Library πŸ“… 2008 πŸ› Springer 🌐 English

Information technology has now pervaded the legal sector, and the very modern concepts of e-law and e-justice show that automation processes are ubiquitous. European policies on transparency and information society, in particular, require the use of technology and its steady improvement.Some of the

Coordination Models and Languages (Lectu
✍ Maurice H. ter Beek (editor), Marjan Sirjani (editor) πŸ“‚ Library πŸ“… 2022 πŸ› Springer 🌐 English

<p><span>This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 20

Coordination Models and Languages (Lectu
✍ Sung-Shik Jongmans (editor), AntΓ³nia Lopes (editor) πŸ“‚ Library πŸ“… 2023 πŸ› Springer 🌐 English

<p><span>This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTe