ICLP Workshop: Legal Application of Logic Programming

Keyphrases

Publications

1994

Marnix C. M. Weusten
The Use of Different Representation Technique in Validation & Verification of Legal KB-System. ICLP Workshop: Legal Application of Logic Programming (1994)
L. Thorne McCarty
Modalities over Action, I. Model Theory. ICLP Workshop: Legal Application of Logic Programming (1994)
ICLP 1994 Workshop W12: Legal Application of Logic Programming, Santa Margherita Ligure, Italy, June 1994 ICLP Workshop: Legal Application of Logic Programming (1994)
Katsumi Nitta, Masato Shibasaki, Tsuyoshi Sakata, Takahiro Yamaji, Hiroshi Ohsaki, Satoshi Tojo, Iwao Kokubo, T. Anu Suzuki
Knowledge Representation of New HELIC II. ICLP Workshop: Legal Application of Logic Programming (1994)
Alberto Artosi, Paola Cattabriga, Guido Governatori
KED: A Deontic Theorem Prover. ICLP Workshop: Legal Application of Logic Programming (1994)
Marek J. Sergot
(title not yet received). ICLP Workshop: Legal Application of Logic Programming (1994)
Joost Breuker, André Valente
A Commonsense Formalization of Normative Systems. ICLP Workshop: Legal Application of Logic Programming (1994)
Satoshi Tojo, Katsumi Nitta
Automatic Generation of Temporal Relations in a Legal Case. ICLP Workshop: Legal Application of Logic Programming (1994)
Mohammad Ali Montazeri, Mike Brown, Alison E. Adam
Cross Structural Similarity for Retrieval of Legal Cases. ICLP Workshop: Legal Application of Logic Programming (1994)
Yao-Hua Tan, Leendert W. N. van der Torre
Deontic and Diagnostic Reasoning. ICLP Workshop: Legal Application of Logic Programming (1994)
S. Bertarello, Stefania Costantini, Gaetano Aurelio Lanzarone
Explanation-Based Learning of Open Textured Predicates in Logic Programming Models of Law. ICLP Workshop: Legal Application of Logic Programming (1994)
Hajime Yoshino
Representation of Legal Knowledge by Compound Predicate Formula. ICLP Workshop: Legal Application of Logic Programming (1994)
Bob Kowalski
An abstract argumentation-theoretic framework for non-monotonic reasoning (joint work with Bondaranko, Dung, and Toni). ICLP Workshop: Legal Application of Logic Programming (1994)
Cornell Popa, Yonut Lopatan, Sorin Stratulat
Logic, Prolog, and Legal Sentence. ICLP Workshop: Legal Application of Logic Programming (1994)