9:45-10:00 Opening Remark
Katsumi Nitta, Tokyo Institute of Technology
10:00-10:30 Towards Translation of Legal Sentences into Logical Forms
Makoto Nakamura, Shunsuke Nobuoka and Akira Shimazu
10:30-11:00 Automatic Consolidation of Japanese Statutes based on Formalization of Amendment Sentences
Yasuhiro Ogawa, Shintaro Inagaki and Katsuhiko Toyama
11:00-11:10 short break
11:10-11:40 Characterized Argument Agent for Training Partner
Takahiro Tanaka, Norio Maeda, Daisuke Katagami and Katsumi Nitta
11:40-12:10 Occam's Razor by Minimal Negation
Satoshi Tojo and Ken Satoh
12:10-13:30 lunch
13:30-14:20 Invited Talk
Legal Engineering - An Engineering Approach to Laws in e-Society Age -
Takuya Katayama, Japan Advanced Institute of Science and Technology
14:20-14:30 short break
14:30-15:00 Resolving Inconsistency in Two Ontologies with Channel Theory
Yoshitaka Suzuki
15:00-15:30 Business Process Compliance: Techniques for Design-time Auditing and Resolution
Aditya Ghose and George Koliadis
15:30-15:45 coffee break
15:45-16:15 Assumption-based Argumentation for Closed and Consistent Defeasible Reasoning
Francesca Toni
16:15-16:45 Formalizing a Switch of Burden of Proof by Logic Programming
Ken Satoh, Satoshi Tojo and Yoshitaka Suzuki
16:45-17:00 Closing Remark
Satoshi Tojo, Japan Advanced Institute of Science and Technology
|