JURISIN 2009 Program

Nov. 19, 2009

9:45-9:50 Opening Remark

Seiichiro Sakurai (Meiji Gakuin University)

9:50-10:50 Invited Talk I

Modular Argumentation for Modeling Legal Doctrines of Performance Relief

Phan Minh Dung (AIT)

10:50-11:20 Coffee Break

11:20-11:50 Reflection of the Agreement Quality in Mediation

Yoshiharu Maeno, Katsumi Nitta and Yukio Ohsawa

11:50-12:20 Scenario Extraction Support System using Word Clustering and Data Crystallization

Katsumi Nitta, Kana Zeze, Takashi Miura, Daisuke Katagami, Yoshiharu Maeno and Yukio Ohsawa

12:20-14:00 Lunch Time

14:00-14:30 Mining Impact on Argument Learning Environment and Arguing Agents

Safia Abbas and Sawamura Hajime

14:30-15:00 Syncretic Argumentation by means of Lattice Fusion

Taichi Hasegawa and Hajime Sawamura

15:00-15:30 Coffee Break

15:30-16:00 A Formalization for Burden of Production in Logic Programming

Ken Satoh

16:30-17:00 Implementing Temporal Defeasible Logic for Modeling Legal Reasoning

Guido Governatori, Rossella Rubino and Antonino Rotolo

Nov. 20, 2009

9:50-10:50 Invited Talk II

Legal Reasoning and AI Approach

Shozo Ota (Graduate Schools for Law & Politics, University of Tokyo)

10:50-11:20 Coffee Break

11:20-11:50 Semantic Analysis of National Pension Law

Makoto Nakamura and Akira Shimazu

11:50-12:20 Thai Succession Law Ontology Building Using Ant Colony Algorithm

Vi-sit Boonchom and Nuanwan Soonthornphisaj

12:20-14:00 Lunch Time

14:00-14:30 Using BATNAs and WATNAs in Online Dispute Resolution

Francisco Andrade, Paulo Novais, Davide Carneiro, John Zeleznikow and Jose Neves

14:30-15:00 Using XACML for Law-aware Access Control

Michael Stieghahn and Thomas Engel

15:00-15:30 Evaluating Legal Disputes as Rival Theories

Jason Jingshi Li and Pontus Stenetorp

15:30-15:35 Closing Remark

Ken Satoh (National Institute of Informatics and Sokendai)