11. ICLP 1994, Workshop W12:
Legal Application of Logic Programming
- Carlo Biagioli, IDG Firenze, Italy
- Giovanni Sartor, IDG Firenze, Italy
- Daniela Tiscornia, IDG Firenze, Italy
IDG, Via Panciatichi 56/16,
50127 Firenze, Italy.
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.
- Bob Kowalski: An abstract argumentation-theoretic framework for non-monotonic
reasoning (joint work with Bondaranko, Dung, and Toni).
- Marek Sergot: (title not yet received).
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
- 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.