o

Seventeenth International Workshop on Juris-informatics
(JURISIN 2023)
associated with JSAI International Symposia on AI 2023 (IsAI-2023)


June 5-6, 2023 (Hybrid Format)

Venue: Kumamoto-Jo Hall, Kumamoto, Japan

New Information

We put the proceedings of JURISIN 2023 here (http://research.nii.ac.jp/~ksatoh/jurisin2023/jurisin2023_proceedings.pdf)

Aims and Scope

Juris-informatics is a new research area which studies legal issues from the perspective of informatics. The purpose of this workshop is to discuss both the fundamental and practical issues among people from the various backgrounds such as law, social science, information and intelligent technology, logic and philosophy, including the conventional "AI and law" area. We solicit unpublished papers on theories, technologies and applications on juris-informatics.

Important Dates

Workshop: June 5-6, 2023

Submission Deadline: April 17, 2023 ( AOE ) ( extended!!)
Notification: May 14, 2023 (extended!!)
Camera-ready due: May 21, 2023 ( AOE ) ( extended!!)

Registration

Please register the workshop at registration page of JSAI International Symposia on AI 2023.

Topics

Relevant topics include, but are not limited to, the following:

  • Model of legal reasoning
  • Argumentation / Negotiation / Argumentation agent
  • Legal term ontology
  • Formal legal knowledge-base / Intelligent management of legal knowledge-base
  • Translation of legal documents
  • Computer-aided legal education
  • Use of informatics and AI in law
  • Legal/Ethical issues on applications of robotics and AI to society
  • Social implications of use of informatics and AI in law
  • AI and intellectual property
  • Legal/Ethical Compliance check of AI Systems
  • Natural language processing for legal knowledge
  • Translating law into formal representation
  • Legal data mining
  • Legal document analysis
  • Legal information retrieval
  • Legal information extraction
  • Verification and validation of legal knowledge systems
  • Online dispute resolution
  • Evidential reasoning
  • Application of Bayesian Network to law
  • AI application to forensics
  • AI application to smart contracts and blockchain
  • Legislation support by AI/IT techniques
  • Any theories and technologies which is not directly related with juris-informatics but has a potential to contribute to this domain

Invited Speakers

Satoshi Tojo, Asia University, Japan

Title: Awareness and Reliability in Legal Reasoning -- from the viewpoint of modal logic --
Abstract: Modality appears in various forms in legal reasoning; one conspicuous example is knowledge/ belief of agents, e.g., that of plaintiff and defendant, and another well-known one is what concerns deonticity. In this lecture, we introduce our efforts to develop such modal logics as epistemic/ doxastic/ deontic logic, to include such issues as awareness and reliability. The awareness concerns how the defendant is conscious of the fact mentioned in court, and the reliability discusses how the information witnessed by each agent is persuasive to other agents. Thus far, these issues have mainly been formalized with multiple (different kinds of) accessibility among possible worlds, however, we show we could formalize them with the notion of distance among possible worlds, regarding neighborhood semantics and topology.

Denis Merigoux, INRIA, France (online)

Title: Rules, Computation and Politics: Scrutinizing Unnoticed Programming Choices in French Housing Benefits
Abstract: Social benefits and taxes are computed by machines in almost all developed countries. The size and complexity of the programs implementing these computations is big enough that serious questions can be raised about their safety, correctness and faithfulness to the law. In this presentation, we will share our experience translating the rules for the French housing benefits computation into executable code with the Catala domain-specific language. This formalization effort cast light on several ambiguities and non-neutral choices that had to be made in order to produce the code. Overall, we call for more transparency and accountability of the administration regarding the software they operate whose task is to massively apply the law. Link to supporting research: https://hal.inria.fr/hal-03712130

Submissions

We welcome and encourage the submission of high quality, original papers, which are not simultaneously submitted for publication elsewhere.

Papers should be written in English, formatted according to the Springer Verlag LNCS style in a pdf form, which can be obtained from https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines and not exceed 14 pages including figures, references, etc. If you use a word file, please follow the instruction of the format, and then convert it into a pdf form and submit it at the paper submission page.

If a paper is accepted, at least one author of the paper must register the workshop at registration page before submitting a camera-read copy, and present the paper on site if an on-site workshop is held, or present the paper on line if any authors cannot attend the session on site or if on-line workshop is held. Without fulfilling this condition, the paper will not be in the proceedings.

Post Proceedings

Currently we are negotiating with Springer Verlag to publish post-proceedings in LNAI series as the previous arrangements.

The selected papers of the previous workshops were published as volumes of LNAI4914(JURISIN 2007), LNAI5447(JURISIN 2008), LNAI6284(JURISIN 2009) , LNAI6797(JURISIN2010), LNAI7258(JURISIN2011), LNAI7856(JURISIN2012), LNAI8417(JURISIN2013), LNAI9067(JURISIN2014), LNAI10091(JURISIN2015), LNAI10247(JURISIN2016), LNAI10838(JURISIN2017), LNAI11717(JURISIN2018), LNAI12331(JURISIN2019), and LNAI12758(JURISIN2020).

JURISIN2023 Programme (June 5, 2023)

09:00-09:15 Opening Remark

09:15-10:15 Invited Talk
Satoshi Tojo, Asia University, Japan
Title: Awareness and Reliability in Legal Reasoning -- from the viewpoint of modal logic --

10:15-10:30 Break

10:30-11:00 Exploring the Explainability and Legal Implications of Regression Models in Transportation Domain
Gayane Grigoryan, Livio Robaldo, Ariel Pinto and Andrew Collins

11:00-11:30 LexGPT 0.1: pre-trained GPT-J models with Pile of Law
Jieh-Sheng Lee

11:30-12:00 Classifying norms via pre-trained language models: experiments on the DAPRECO-KB
Davide Liga and Livio Robaldo

12:00-12:30 OntoVAT, an ontology for knowledge extraction in VAT-related judgments
Davide Liga, Alessia Fidelangeli and Réka Markovich

12:30-14:00 Lunch Break

14:00-14:30 Using WikiData for Handling Legal Rule Exceptions: Proof of Concept
Wachara Fungwacharakorn, Hideaki Takeda and Ken Satoh

14:30-15:00 PaTrOnto, an Ontology for Patents and Trademarks
Davide Liga, Daniele Amitrano and Réka Markovich

15:00-15:15 Cofee Break

15:15-15:45 Modeling Medical Data Access with Prova
Theodoros Mitsikas, Ralph Schäfermeier and Adrian Paschke

15:45-16:15 Danish Asylum Adjudication using Deep Neural Networks and Natural Language Processing
Satya M. Muddamsetty, Mohammad N. S. Jahromi, Thomas B. Moeslund and Thomas Gammeltoft Hansen

16:15-16:45 Encoding Defeasible Deontic Logic via Answer Set Programming
Guido Governatori

16:45-17:45 Invited Talk
Denis Merigoux, INRIA, France (online)
Title: Rules, Computation and Politics: Scrutinizing Unnoticed Programming Choices in French Housing Benefits

17:45-18:15 Compliance checking in the energy domain via W3C standards
Joseph K. Anim, Livio Robaldo and Adam Z. Wyner

18:15-18:45 Legitimacy Detection System based on Interpretation Schemes for AI Vehicles Design
Yiwei Lu, Zhe Yu, Yuhui Lin, Burkhard Schafer, Andrew Ireland and Lachlan Urquhart

19:30 Informal Workshop Dinner

JURISIN2023 Programme (June 6, 2023)

09:15-09:45 Constructing and Explaining Case Models: A Case-based Argumentation Perspective
Wachara Fungwacharakorn, Ken Satoh and Bart Verheij

09:45-10:15 Modeling the Judgments of Civil Cases of Alimony for the Elderly at the Local Courts in Taiwan
Chao-Lin Liu, Wei-Zhi Liu, Po-Hsien Wu, Sieh-Chuen Huang and Ho-Chien Huang

10:15-10:30 Cofee Break

10:30-11:00 The Argumentation Scheme from Vicarious Liability
Davide Liga

11:00-11:30 Improving Vietnamese Legal Question-Answering System based on Automatic Data Enrichment
Thi-Hai-Yen Vuong, Ha-Thanh Nguyen, Quang-Huy Nguyen, Xuan-Hieu Phan and Le-Minh Nguyen

11:30-12:00 Legal Judgment Clustering Using Acts
Vishnuprabha V, Daleesha M Viswnathan and Rajesh R

12:00-12:30 Citation Recommendation on Scholarly Legal Articles
Doğukan Arslan, Gülşen Eryiğit and Saadet Sena Erdoğan

12:30-14:00 Lunch Break

14:00-14:30 The possibilities for AI-based automated decision-making in criminal justice: In the Korean context
Hyun Kyong Joo and Chea Yun Jung

14:30-15:00 Programming Contract Amending
Cosimo Laneve, Alessandro Parenti and Giovanni Sartor

15:00-15:15 Cofee Break

15:15-15:45 Understanding Privacy By Formalizing It
Réka Markovich, Truls Pedersen and Marija Slavkovik

15:45-16:15 Privacy issues on applications of AI
Vilmos Gábor Rádi

16:15-16:30 Closing Remark

Workshop Chairs

Ken Satoh, National Institute of Informatics and Sokendai, Japan
Katsumi Nitta, National Institute of Informatics and Sokendai, Japan

Steering Committee Members

Yoshinobu Kano, Shizuoka University
Takehiko Kasahara, Toin University of Yokohama
Nguyen Le Minh, Japan Advanced Institute of Science and Technology, Japan
Makoto Nakamura, Niigata Institute of Technology, Japan
Yoshiaki Nishigai, Chiba University, Japan
Katsumi Nitta, National Institute of Informatics, Japan
Yasuhiro Ogawa, Nagoya City University, Japan
Seiichiro Sakurai, Meiji Gakuin University, Japan
Ken Satoh, National Institute of Informatics and Sokendai, Japan
Satoshi Tojo, Japan Advanced Institute of Science and Technology(JAIST), Japan
Katsuhiko Toyama, Nagoya University, Japan
Masaharu Yoshioka, Hokkaido University, Japan

Advisory Committee Members

Trevor Bench-Capon, The University of Liverpool, UK
Henry Prakken, University of Utrecht & Groningen, The Netherlands
John Zeleznikow, Victoria University, Australia
Robert Kowalski, Imperial College London, UK
Kevin Ashley, University of Pittsburgh, USA

Program Committee Members

Michał Araszkiewicz, Jagiellonian University, Poland
Ryuta Arisaka, Kyoto University, Japan
Marina De Vos, University of Bath, UK
Kripabandhu Ghosh, Indian Institute of Science Education and Research (IISER) Kolkata, India
Saptarshi Ghosh, Indian Institute of Technology Kharagpur, India
Randy Goebel, University of Alberta, Canada
Guido Governatori, Independent researcher, Australia
Tokuyasu Kakuta, Chuo University, Japan
Yoshinobu Kano, Shizuoka University, Japan
Mi-Young Kim, University of Alberta, Canada
Nguyen Le Minh, Graduate School of Information Science, Japan Advanced Institute of Science and Technology, Japan
Makoto Nakamura, Niigata Institute of Technology, Japan
Katsumi Nitta, National Institute of Advanced Indutrial Science and Technology, Japan
Yasuhiro Ogawa, Nagoya City University, Japan
Juliano Rabelo, University of Alberta, Canada
Seiichiro Sakurai, Meiji Gakuin University, Japan
Ken Satoh, National Institute of Informatics and Sokendai, Japan,
Akira Shimazu, JAIST, Japan
Satoshi Tojo, Asia University, Japan
Katsuhiko Toyama, Nagoya University, Japan
Bart Verheij, University of Groningen, The Netherlands
Yueh-Hsuan Weng, Tohoku University, Japan
Masaharu Yoshioka, Hokkaido University, Japan
Thomas Ågotnes, University of Bergen, Norway

Back To Top