Legal Application of Logic Programming
Pre-proceedings of the Workshop
(S. Margherita Ligure, Genoa, 18 June 1994)
Carlo Biagioli, Giovanni Sartor, Daniela Tiscornia (eds.)
Florence, IDG/CNR, 1994, 150 pp.
INDEX
- R. Kowalski, An Abstract Argumentation-theoretic Framework for
Nonmonotonic Reasoning (joint work with Bondaranko, Dung, and Toni)
- L.T. McCarthy, Modalities over action, I. Model Theory
- S. Bertarello, S. Costantini, G. 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
- A. Valente and J. Breuker, A Commonsense Formalization of Normative
Systems
- A. Artosi, 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. Tojo, I.
Kokubo, T. Suzuki, Knowledge Representation of New HELlC II
- M. Weusten, The Use of Different Representation Techniques in
Validation and Verification of Legal KB-System
- C. Popa, Y. Lopatan, S. Sorin, Logic, Prolog and Legal Sentence
- H. Yoshino, Representation of Legal Knowledge by Compound Predicate
Formula
- Y. H. Tan and L. W. N. van der Torre, Deontic and Diagnostic
Reasoning