Papers on JURIS-INFORMATICS
as of Jaunary 22, 2013
下の論文タイトルをクリックすると本体を見ることができます。
(You can download papers by clicking the title).
見れない場合は、ksatoh at nii.ac.jpまで依頼いただければお送ります。
(If you cannot download a paper, please request me by sending an email
to "ksatoh at nii.ac.jp". I will send the papers to you by email within 24 hours.).
JURIS-INFORMATICS: General Perspective
Satoh, K.,
``Logic Programming and Burden of Proof in Logic Programming'',
New Generation Computing,
Vol. 30, No.4, pp.297-326 (2012).
佐藤 健,
論理に基づく人工知能の法学への応用,
コンピュータソフトウェア, Vol. 27, No.3, pp.36-44 (2010).
佐藤 健,
情報学と法学を融合する新しい学問領域juris-informaticsの提案,
ソフトウェア科学会第27回全国大会講演論文集, 8C-3, ソフトウェア科学会高橋奨励賞受賞論文 (2010).
Newspaper Articles on PROLEG system
「ＡＩで精密裁判？ 法論理との類似に注目 国立情報学研究所」
2011年2月28日 東京新聞科学欄
Papers on PROLEG system
Satoh, K., Kogawa, T., Okada, N., Omori, K., Omura, S., and Tsuchiya, K.,
"On Generality of PROLEG Knowledge Representation",
Proc. of the Proceedings of the 6th International Workshop on Juris-informatics (JURISIN 2012), pp. 115 -- 128, Miyazaki, Japan (2012).
Satoh, K., Asai, K., Kogawa, T., Kubota, M., Nakamura, M., Nishigai,
Y., Shirakawa, K., Takano, C.,
"PROLEG: An Implementation of the
Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG
Technology",
New Frontiers in Artificial Intelligence: JSAI-isAI 2010 Workshops, Revised Selected Papers, LNAI 6797, pp. 153-164 (2012).
西貝吉晃、浅井健人、久保田理広、古川昂宗、佐藤健、白川佳、高野千明、中村恵
PROLEG: 論理プログラミング言語Prologを利用した要件事実論のプログラミング
情報ネットワーク・ローレビュー Vol. 10 pp.54-89 (2011).
佐藤 健, 浅井健人, 古川昂宗, 久保田理広, 中村 恵, 西貝吉晃, 白川 佳, 高野千明,
PROLEG:論理プログラミングをベースとした民事訴訟における要件事実論の実装,
人工知能学会第92回知識ベース研究会資料, pp.1 - 8(2011).
西貝吉晃, 古川昂宗, 佐藤 健,
PROLEGを用いた判例法理の実装 〜転得者が存在する場合の背信的悪意者の法理の実装〜,
人工知能学会第92回知識ベース研究会資料, pp.9 - 16(2011).
古川昂宗, 西貝吉晃, 佐藤 健,
著作権法の要件事実論のPROLEGによる実装,
人工知能学会第92回知識ベース研究会資料, pp.17 - 22(2011).
Papers on Burden of Proof
佐藤 健
民法の証明責任と論理プログラミングの関係について
人工知能学会第79回人工知能基本問題研究会資料, pp.21 - 26(2010).
Satoh, K., Kubota, M., Nishigai, Y., Takano, C.,
"Translating the Japanese Presupposed Ultimate Fact Theory into Logic Programming",
Proceedings of the 22nd Annual Conference on Legal Knowledge and Information Systems (JURIX 2009), pp.162-171, Rotterdam, the Netherlands (2009).
佐藤 健,
証明責任とその周辺概念の論理プログラミングによる定式化,
東京大学法科大学院ローレビュー, pp. 46-57 (2009).
Satoh, K.,
"A Formalization for Burden of Production in Logic Programming",
Proceedings of the 3rd International Workshop on Juris-informatics
(JURISIN 2009), pp. 107-117, Tokyo, Japan (2009).
Satoh, K., Tojo, S., Suzuki, Y.,
"Abductive Reasoning for Burden of Proof",
Proceedings of the 2nd International Workshop on Juris-informatics
(JURISIN 2008), pp. 93-102, Asahikawa, Japan (2008).
Satoh, K., Tojo, S., Suzuki, Y.,
"Formalizing a Switch of Burden of Proof by Logic Programming",
Proceedings of the 1st International Workshop on Juris-informatics
(JURISIN 2007), pp. 76-85, Miyazaki, Japan (2007).
Papers on Formalizing Good Faith Principle
De Vos, M., Balke, T., and Satoh, K.,
"Modelling Legitimate Expectations",
Proc. of the Proceedings of the 6th International Workshop on Juris-informatics
(JURISIN 2012), pp. 87-100, Miyazaki, Japan (2012).
Papers on Inductive Learning of Norms
Athakravi, D., Corapi, D., Russo, A., De Vos, M., Padget, J. A., Satoh, K.,
"Handling Change in Normative Specifications",
Proceedings of International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), pp. 1369-1370, Valencia, Spain (2012).
Corapi, D., Russo, A., De Vos, M., Padget, J., Satoh, K.,
"Normative Design Using Inductive Learning"
Theory and Practice of Logic Programming 11(4-5) 783-799 (2011).
Corapi, D., De Vos, M., Padget, J., Russo, A., Satoh, K.
"Norm Refinement and Design through Inductive Learning"
Coordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, COIN@AAMAS 2010, Toronto, Canada, May 2010, COIN@MALLOW 2010, Lyon, France, August 2010, Revised Selected Papers.(LNCS 6541), pp 77 - 94 (2010).
Papers on Norms and Institutions
De Vos, M., Padget, J., Satoh, K.
"Legal Modelling and Reasoning using Institutions",
New Frontiers in Artificial Intelligence: JSAI-isAI 2010 Workshops, Revised Selected Papers, LNAI 6797, pp. 129-140 (2012).
Papers on Cnflict Detection in Legal Systems
Li, T., Balke, T., De Vos, M., Satoh, K., and Padget, J.,
"Detecting Conflicts in Legal Systems"
Proc. of the Proceedings of the 6th International Workshop on Juris-informatics
(JURISIN 2012), pp. 73-86, Miyazaki, Japan (2012).
Li, T., Balke, T., De Vos, M., Satoh, K., Padget J.,
"Conflict Detection in Composite Institutions",
Proc. of the Second International Workshop on Agent-based Modeling for Policy Engineering (AMPLE 2012), pp. 75-89, Montpellier, France (2012).
Papers on Argumentation
Satoh, K., Takahashi, K.,
"A Semantics of Argumentation under Incomplete Information",
Proceedings of the 5th International Workshop on Juris-informatics (JURISIN 2011), pp. 86 -- 97, Tokyo, Japan (2011).
Papers on Causality Theory (Conditio Sine Qua Non)
Tojo, S., Satoh, K.,
"Occam's Razor by Minimal Negation",
Proceedings of the 1st International Workshop on Juris-informatics (JURISIN 2007), pp. 41-51, Miyazaki, Japan (2007).
Satoh, K., Tojo, S.,
"Disjunction of Causes and Disjunctive Cause:
a Solution to the Paradox of 'Conditio Sine Qua Non' using Minimal Abduction",
Proceedings of the 19th Annual Conference on Legal Knowledge and Information Systems (JURIX 2006), pp. 163 -- 168, Paris, France (2006).
Papers on Case-based Reasoning
Satoh, K.,
``Using Two Level Abduction to Decide Similarity of
Cases'',
Proceedings of the Thirteenth European Conference on
Artificial Intelligence, pp. 398 -- 402, Brighton, UK (1998).
Satoh, K.,
``Statutory Interpretation by Case-based Reasoning through Abductive Logic Programming'',
Journal of Advanced Computational Intelligence, Vol. 1, No.2, pp. 94 -- 103 (1997).
佐藤 健
事例ベース推論における動的類似性の仮説論理プログラミングによる実現,
人工知能学会誌 12(6), pp. 901 - 910 (1997).
Satoh, K.,
``Translating Case-Based Reasoning into Abductive Logic Programming'',
Proceedings of the Twelfth European Conference on
Artificial Intelligence, pp. 142 - 146, Budapest, Hungary (1996).