Tag Archives: Modeling legal logic

Stanford Symposium on Law and Rationality: Legal Trial, With and Without Mathematics, 30 May 2014: Links and resources

The 2014 Stanford Symposium on Law and Rationality, on the theme: Trial With and Without Mathematics: Legal, Philosophical, and Computational Perspectives, is scheduled to be held 30 May 2014, at Stanford Law School, in Stanford, California, USA. The conference is … Continue reading

Posted in Applications, Articles and papers, Conference papers, Conference resources, Technology developments, Technology tools | Tagged , , , , , , , , , , , , , , , | Leave a comment

Francesconi: A description logic framework for accessing and reasoning over normative provisions

Dr. Enrico Francesconi of ITTIG-CNR has published A description logic framework for advanced accessing and reasoning over normative provisions, forthcoming in Artificial Intelligence and Law. Here is the abstract: A model of normative provisions and related axioms represented by using … Continue reading

Posted in Applications, Articles and papers, Technology developments, Technology tools | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Trypuz and Kulicki: On deontic action logics based on Boolean algebra

Professor Dr. Robert Trypuz and Dr. Piotr Kulicki, of Catholic University of Lublin, have published On deontic action logics based on Boolean algebra, forthcoming in Journal of Logic and Computation. Here is the abstract: The aim of this article is … Continue reading

Posted in Articles and papers | Tagged , , , , , , , , , , , , | Leave a comment

Applications Invited: Summer School on Law and Logic

Applications, with a submission deadline of 31 March 2013, are invited for the Summer School on Law and Logic to be held 15-26 July 2013 at European University Institute in Florence. Here is background information: Basic course: Logic, argumentation, and … Continue reading

Posted in Training sessions, Workshop | Tagged , , , , , , , , , , , , , , , | Leave a comment

Bench-Capon et al.: A History of AI and Law in 50 Papers: 25 Years of ICAIL

Professor Dr. Trevor Bench-Capon the University of Liverpool Department of Computer Science, and colleagues, have published A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law, forthcoming in Artificial Intelligence and … Continue reading

Posted in Articles and papers, Conference papers | Tagged , , , , , , , , , , , , , , , , , , , | Leave a comment

Call for Papers: ICAIL 2013: International Conference on Artificial Intelligence and Law

A call for papers — with paper submission deadline of 18 January 2013 — has been issued for ICAIL 2013: 14th International Conference on Artificial Intelligence and Law, to be held 10-14 June 2013 in Rome, Italy. The Twitter account … Continue reading

Posted in Calls for papers, Conference Announcements | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Wyner on Logic Programming, Case Law Knowledge Bases, and Legal Case-Based Reasoning and Information Retrieval

Dr. Adam Wyner of the University of Liverpool Department of Computer Science has posted comments on three papers presented at the first ICAIL conference, the International Conference on Artificial Intelligence and Law (1987). These comments are to be published in … Continue reading

Posted in Articles and papers | Tagged , , , , , , , , , , | Leave a comment

Horty and Bench-Capon on A Factor-based Definition of Precedential Constraint

Professor Dr. John F. Horty of the University of Maryland Institute for Advanced Computer Studies, and Professor Dr. Trevor J. M. Bench-Capon of the University of Liverpool Department of Computer Science, have published A factor-based definition of precedential constraint, Artificial … Continue reading

Posted in Applications, Articles and papers | Tagged , , , , , , , , , , , , , , , | Leave a comment