Computable Models of the Law

Computable Models of the Law.- Computable Models of the Law and ICT: State of the Art and Trends in European Research.- I Knowledge Representation, Ontologies and XML Legislative Drafting.- MetaLex XML and the Legal Knowledge Interchange Format.- MetaVex: Regulation Drafting Meets the Semantic Web.- Building Semantic Resources for Legislative Drafting: The DALOS Project.- II Knowledge Representation, Legal Ontologies and Information Retrieval.- Moving in the Time: An Ontology for Identifying Legal Resources.- An Ontology for Spatial Regulations.- Supporting the Construction of Spanish Legal Ontologies with Text2Onto.- Dynamic Aspects of OPJK Legal Ontology.- Improvements in Recall and Precision in Wolters Kluwer Spain Legal Search Engine.- III Argumentation and Legal Reasoning.- Three Senses of "Argument".- Constructing Legal Arguments with Rules in the Legal Knowledge Interchange Format (LKIF).- Assumption-Based Argumentation for Epistemic and Practical Reasoning.- Computing Argumentation for Decision Making in Legal Disputes.- Deterrence and Defeasibility in Argumentation Process for ALIS Project.- Temporal Deontic Defeasible Logic: An Analytical Approach.- Rulebase Technology and Legal Knowledge Representation.- IV Normative and Multi-agent Systems.- Source Norms and Self-regulated Institutions.- Distributed Norm Enforcement: Ostracism in Open Multi-Agent Systems.- V Online Dispute Resolution.- Retrieval of Case Law to Provide Layman with Information about Liability: Preliminary Results of the BEST-Project.- ICT-Supported Dispute Resolution.- Concepts and Fields of Relational Justice.

Giovanni Sartor is Marie-Curie Professor of Legal Informatics and Legal Theory at the European University Institute of Florence and Professor of Computer and Law at the University of Bologna (Italy), after obtaining a PhD at the European University Institute (Florence), working at the Court of Justice of the European Union (Luxembourg), being a researcher at the Italian National Council of Research (ITTIG, Florence), and holding the chair in Jurisprudence at Queen s University of Belfast (where he now is honorary professor). He is author of ten books and has published widely in legal philosophy and legal theory, legal informatics (artificial intelligence and law), computational logic, legislation technique, and computer law.