11. ICLP 1994, Workshop W12: Legal Application of Logic Programming

Organizers

• Carlo Biagioli, IDG Firenze, Italy
• Giovanni Sartor, IDG Firenze, Italy
• Daniela Tiscornia, IDG Firenze, Italy

Contacts

Daniela Tiscornia
IDG, Via Panciatichi 56/16,
50127 Firenze, Italy.
daniela@idg.cnr.fi.it

The workshop is dedicated to the use of logic programming methodologies in modelling legal knowledge and legal reasoning. Main topics are: legal knowledge represention, abductive model of legal reasoning, metalevel legal reasoning, default reasoning, deontic logic, arguments construction; beliefs revision; analogical reasoning; case-based reasoning.

Invited Lectures

• Bob Kowalski: An abstract argumentation-theoretic framework for non-monotonic reasoning (joint work with Bondaranko, Dung, and Toni).
• Marek Sergot: (title not yet received).

Paper Presentations

• T. McCarty: Modalities over Action, I. Model Theory.
• S. Bertarello, S. Costantino, G. A. Lanzarone: Explanation-Based Learning of Open Textured Predicates in Logic Programming Models of Law.
• S. Toyo, K. Nitta: Automatic Generation of Temporal Relations in a Legal Case.
• J. Breuker, A. Valente: A Commonsense Formalization of Normative Systems.
• A. Artosi, A., P. Cattabriga, G. Governatori: KED: A Deontic Theorem Prover.
• M. Montazeri, M. Brown, A. E. Adam: Cross Structural Similarity for Retrieval of Legal Cases.
• K. Nitta, M. Shibasaki, T. Sakata, T. Yamaji, H. Ohsaki, S. Tojp, I. Kokubo, T. Suzuki: Knowledge Representation of New HELIC II.
• Weusten Marnix: The Use of Different Representation Technique in Validation & Verification of Legal KB-System.
• Cornell Popa, Yonut Lopatan, Stratulat Sorin: Logic, Prolog, and Legal Sentence.
• H. Yoshino: Representation of Legal Knowledge by Compound Predicate Formula.
• Tan Yao-Hua and Leendert W.N. van der Torre: Deontic and Diagnostic Reasoning.

Last update Mon May 20 14:59:49 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page