Tag Archives: Modeling legal logic

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

Franklin: How Much of Legal Reasoning Is Formalizable?

Professor Dr. James Franklin of the University of New South Wales School of Mathematics and Statistics, has published Discussion paper: how much of commonsense and legal reasoning is formalizable? A review of conceptual obstacles, forthcoming in Law, Probability, and Risk. … Continue reading

Posted in Articles and papers | Tagged , , , , , , | 1 Comment

Boer and van Engers: Wetsanalyse met ontologieën en regels

Dr. Alexander Boer and Professor Dr. Tom van Engers have posted Wetsanalyse met ontologieën en regels, slides of a presentation given at the workshop Wetsanalyse met ontologie en regels, held in Spring 2012 at the Leibniz Center for Law at … Continue reading

Posted in Applications, Presentations | Tagged , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment