Abstract is missing.
- Representation of Legal Knowledge by Compound Predicate FormulaHajime Yoshino.
- An abstract argumentation-theoretic framework for non-monotonic reasoning (joint work with Bondaranko, Dung, and Toni)Bob Kowalski.
- Cross Structural Similarity for Retrieval of Legal CasesMohammad Ali Montazeri, Mike Brown, Alison E. Adam.
- Knowledge Representation of New HELIC IIKatsumi Nitta, Masato Shibasaki, Tsuyoshi Sakata, Takahiro Yamaji, Hiroshi Ohsaki, Satoshi Tojo, Iwao Kokubo, T. Anu Suzuki.
- The Use of Different Representation Technique in Validation & Verification of Legal KB-SystemMarnix C. M. Weusten.
- Deontic and Diagnostic ReasoningYao-Hua Tan, Leendert W. N. van der Torre.
- KED: A Deontic Theorem ProverAlberto Artosi, Paola Cattabriga, Guido Governatori.
- (title not yet received)Marek J. Sergot.
- Logic, Prolog, and Legal SentenceCornell Popa, Yonut Lopatan, stratulat sorin.
- Explanation-Based Learning of Open Textured Predicates in Logic Programming Models of LawS. Bertarello, Stefania Costantini, Gaetano Aurelio Lanzarone.
- Automatic Generation of Temporal Relations in a Legal CaseSatoshi Tojo, Katsumi Nitta.
- A Commonsense Formalization of Normative SystemsJoost Breuker, André Valente.
- Modalities over Action, I. Model TheoryL. Thorne McCarty.