Satoh Ken 佐藤健

… Alternative Names

SATOH Ken 佐藤健

Less

Researcher Number	00271635
Other IDs
Affiliation (Current)	2025: 大学共同利用機関法人情報・システム研究機構(機構本部施設等), データサイエンス共同利用基盤施設, 特任教授 2025: 国立情報学研究所, 大学共同利用機関等の部局等, 名誉教授
Affiliation (based on the past Project Information) *help	2024: 大学共同利用機関法人情報・システム研究機構(機構本部施設等), データサイエンス共同利用基盤施設, 特任教授 2011 – 2023: 国立情報学研究所, 情報学プリンシプル研究系, 教授 2009: National Institute of Informatics, 情報プリンシプル研究系, 教授 2006 – 2009: National Institute for Informatics, Foundations of Information Research Division, Professor, 情報学プリンシプル研究系, 教授 2001 – 2005: 国立情報学研究所, 情報学基礎研究系, 教授 … More 2001 – 2003: 国立情報学研究所, 教授 1997 – 2000: 北海道大学, 大学院・工学研究科, 助教授 1996: 北海道大学, 工学部, 助教授 Less
Review Section/Research Field	Principal Investigator Science and Engineering / Intelligent informatics / Intelligent informatics / Intelligent informatics / Medium-sized Section 61:Human informatics and related fields / A New Phase of Our Advanced Science and Technology Society / Perceptual information processing / 社会システム工学 Except Principal Investigator Medium-sized Section 5:Law and related fields / Fundamental law / Intelligent informatics / Intelligent informatics
Keywords	Principal Investigator 論理プログラミング / ソフトウェア発展 / 宣言的プログラミング / 法的推論 / 人工知能 / 要件事実論 / 投機的計算 / 極小変更 / 仮説論理プログラミング / 法とAI … More / speculative computation / アブダクション / 不完全通信 / マルチエージェント / 自然言語処理 / juris-informatics / 民法 / 極小限定 / 事例ベース推論 / 交渉 / AI / PROLEG / ODR / 法律順守機構 / 法律とAI / 矛盾解消 / 矛盾検出 / 法規範遵守 / 議論枠組み / 裁判支援 / 裁判過程 / 判決推論 / 事実認定 / あてはめ / 人工知能の社会進出への影響 / 議論フレームワーク / ベイジアンネットワーク / 推論アルゴリズム / 論理 / ontology / web service / web service interoperability / Web Service / オントロジー / Webサービス / Web連携 / Abduction / Distributed problem solving / Speculative computation / Incomplete communication / Multi-agent systems / 分散強調問題解決 / 分散協調問題解決 / 先行投機的処理 / マルチエージェントシステム / default reasoning / abductive logic programming / abduction / incomplete information / multi agent system / 仮設推論 / 仮設論理型プログラミング / 仮説論理型プログラミンク / 仮説推論 / 仮説論理型プログラミング / 聴覚による学習 / オトペディア / Otopedia / ディープラーニング / 話者適応 / 音声合成 / 説明生成 / 論理的推論 / 司法試験短答式 / 司法試験 / IFF手法 / 全域アブダクション / ウェブサービス / プラニング / エージェント / 動的信念変更 / 記述論理 / UML / 極小負集合 / 極大正集合 / 極小被覆集合 / 極大無矛盾集合 / 関数型プログラミング / デフォルト論理 / 仮説論理プログラム / 極小更新 / 整数計画法 / 線形計画法 / 柔らかい制約 / 優先順位 / 選好 / PAC学習 / 事例圧縮 / クリティカルな事例 / 単調論理関数 / HYPO / デフォルト / 類推 / 類似度 / 判例ベース推論 … More Except Principal Investigator 人工知能 / 法的推論 / アブダクション / 知識獲得 / 事例ベース推論 / 心証形成 / 矯正施設 / ベイジアン・ネットワーク / 刑務所 / ＡＩ / 要件・効果思考法 / フィールド実験 / 量刑 / 仲裁合意 / 裁判管轄の合意 / ＡＩ裁判所 / 事実認定と証明度 / 法律要件当て嵌め判断 / 脳科学 / シナリオ・スタディー / 事実認定 / 法専門家と素人 / リーガルマインド / 法的判断と非法的判断 / 反省悔悟の有無 / Dynamic Causal Modeling / fMRI研究 / 量刑判断 / 感情と理性 / 法的判断と日常的判断 / 法専門家と法の素人 / Dyanmic Causal Modeling / 脳神経科学 / リーガル・マインド / 法的判断 / 法と心理学 / メタ認知 / 法的熟達 / 法の学習 / 法心理学 / 法的思考 / nonmonotonic reasoning / inductive logic programming / abduction / induction / knowledge discovery / SOL resolution / hypothesis finding / consequence finding / CF 帰納法 / アルゴリズム / 仮説発見 / CF帰納法 / 帰納推論 / SOLAR / SOL導出 / 結論発見手続き / 結論発見 / Minimal Cover / Knowledge Maintenance / Environmental Change Detection / Knowledge Acquisition / Discretization of Numeric Attribute / Case-base Reasoning / Feature Selection / Machine Learning / 双対化 / 極小被覆計算 / 知識の整合性維持 / 環境変化の検知 / 数値属性離散化 / 属性選択 / 機械学習 / 素性論理構造 / 概念辞書 / シソーラス / ソート論理 / 法律エキスパートシステム / 法的オントロジー / 知識表現 / 推論エンジン / オントロジー / 自然言語 / 国際統一売買法 / エキスパートシステム / 法律文生成処理 / 法律オントロジー / 論争支援 / 流れ図エディタ / ファジィ推論 Less

Development of ODR system by AIPrincipal Investigator
- Principal Investigator
  
  佐藤健
- Project Period (FY)
  2022 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Review Section
  
  Medium-sized Section 61:Human informatics and related fields
- Research Institution
  大学共同利用機関法人情報・システム研究機構(機構本部施設等)
  National Institute of Informatics
Realization of Legal Compliance Mechanism for AIPrincipal Investigator
- Principal Investigator
  
  Satoh Ken
- Project Period (FY)
  2019 – 2022
- Research Category
  
  Grant-in-Aid for Challenging Research (Pioneering)
- Review Section
  
  A New Phase of Our Advanced Science and Technology Society
- Research Institution
  National Institute of Informatics
Modeling the Legal Decision-Making: AI and Legal Mind
- Principal Investigator
  
  OTA Shozo
- Project Period (FY)
  2018 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Review Section
  
  Medium-sized Section 5:Law and related fields
- Research Institution
  Meiji University
  The University of Tokyo
Advanced Reasoning Support for Judicial Judgment by Artificial IntelligencePrincipal Investigator
- Principal Investigator
  
  Ken Satoh
- Project Period (FY)
  2017 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (S)
- Research Field
  
  Intelligent informatics
- Research Institution
  National Institute of Informatics
Combining natural language processing and logical reasoning to solve multiple bar examPrincipal Investigator
- Principal Investigator
  
  Satoh Ken
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Intelligent informatics
- Research Institution
  National Institute of Informatics
Human Learning from Ears: Research on OtopeciaPrincipal Investigator
- Principal Investigator
  
  Satoh Ken
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Perceptual information processing
- Research Institution
  National Institute of Informatics
Legal Expertise and Metacognition on Law.
- Principal Investigator
  
  KINOSHITA Manako
- Project Period (FY)
  2014 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Fundamental law
- Research Institution
  Doshisha University
Implementing Japanese Presupposed Ultimate Fact Theory in Logic ProgrammingPrincipal Investigator
- Principal Investigator
  
  SATOH Ken
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Intelligent informatics
- Research Institution
  National Institute of Informatics
Formalization of Dynamic Belief Revision and its Application to Real-time Planning for Web ServisesPrincipal Investigator
- Principal Investigator
  
  SATOH Ken
- Project Period (FY)
  2007 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Intelligent informatics
- Research Institution
  National Institute of Informatics
Research on Advanced Systems of Efficient Hypothesis Finding
- Principal Investigator
  
  INOUE Katsumi
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Intelligent informatics
- Research Institution
  National Institute of Informatics
宣言的プログラミングにおけるソフトウェア発展の研究Principal Investigator
- Principal Investigator
  
  佐藤健
- Project Period (FY)
  2004 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  National Institute of Informatics
Development of Reliable Advanced Inter-operable Agent Technology on Web Service CompositionPrincipal Investigator
- Principal Investigator
  
  SATOH Ken
- Project Period (FY)
  2004 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Intelligent informatics
- Research Institution
  National Institute of Informatics
宣言的プログラミングにおけるソフトウェア発展の研究Principal Investigator
- Principal Investigator
  
  佐藤健
- Project Period (FY)
  2003
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  National Institute of Informatics
宣言的プログラミングにおけるソフトウェア発展の研究Principal Investigator
- Principal Investigator
  
  佐藤健
- Project Period (FY)
  2002
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  National Institute of Informatics
宣言的プログラミングにおけるソフトウェア発展の研究Principal Investigator
- Principal Investigator
  
  佐藤健
- Project Period (FY)
  2001
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas (C)
- Review Section
  
  Science and Engineering
- Research Institution
  National Institute of Informatics
Construction of multi-agent systems with speculative computationPrincipal Investigator
- Principal Investigator
  
  SATOH Ken
- Project Period (FY)
  2001 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Intelligent informatics
- Research Institution
  National Institute of Informatics
Development of Knowledge Acquisition System that can Adapt to Environment Change
- Principal Investigator
  
  MOTODA Hiroshi
- Project Period (FY)
  2001 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Intelligent informatics
- Research Institution
  Osaka University
事例ベース推論におけるクリティカルな事例の発見Principal Investigator
- Principal Investigator
  
  佐藤健
- Project Period (FY)
  1999
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas (A)
- Research Institution
  Hokkaido University
可能世界の順序に基づいた定性的意思決定モデルの構築Principal Investigator
- Principal Investigator
  
  佐藤健
- Project Period (FY)
  1999 – 2000
- Research Category
  
  Grant-in-Aid for Exploratory Research
- Research Field
  
  社会システム工学
- Research Institution
  Hokkaido University
Construction of Logical Multi-Agent System under Incomplete Information EnvironmentPrincipal Investigator
- Principal Investigator
  
  SATOH Ken
- Project Period (FY)
  1999 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research (B).
- Research Field
  
  Intelligent informatics
- Research Institution
  HOKKAIDO UNIVERSITY
仮説論理プログラミングを用いたソフトウェア発展モデルの研究Principal Investigator
- Principal Investigator
  
  佐藤健
- Project Period (FY)
  1998
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas (A)
- Research Institution
  Hokkaido University
極小変更の定式化に基づいた論理プログラミングにおけるソフトウェア発展モデルの研究Principal Investigator
- Principal Investigator
  
  佐藤健
- Project Period (FY)
  1997
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Hokkaido University
判例ベース推論の仮説推論による実現Principal Investigator
- Principal Investigator
  
  佐藤健
- Project Period (FY)
  1996
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Hokkaido University
法律エキスパートシステムのソフトウェアの構築
- Principal Investigator
  
  廣田薫, 原口誠
- Project Period (FY)
  1993 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Tokyo Institute of Technology
  Hokkaido University

[Book] 現代日本の紛争過程と司法政策：民事紛争全国調査２０１６～２０２０2023
- Author(s)
  佐藤岩夫，阿部昌樹，太田勝造（編著）
- Total Pages
  754
- Publisher
  東京大学出版会
- ISBN
  9784130361583
- Data Source
  KAKENHI-PROJECT-22H00543
[Book] 現代日本の紛争過程と司法政策2023
- Author(s)
  佐藤岩夫，阿部昌樹，太田勝造編著（太田勝造，森大輔分担執筆）
- Total Pages
  731
- Publisher
  東京大学出版会
- ISBN
  9784130361583
- Data Source
  KAKENHI-PROJECT-18H03612
[Book] 人工知能と法律2022
- Author(s)
  佐藤健，新田克己，西貝吉晃，狩野芳伸，本村陽一，高岡昂太，高橋和子，太田勝造
- Total Pages
  194
- Publisher
  近代科学社
- ISBN
  9784764906419
- Data Source
  KAKENHI-PROJECT-18H03612
[Book] 人工知能と法律2022
- Author(s)
  佐藤健, 新田克己（編著）
- Total Pages
  208
- Publisher
  近代科学社
- ISBN
  9784764906419
- Data Source
  KAKENHI-PROJECT-22H00543
[Book] スタンダード法社会学（森大輔，「法社会学における『方法』」）2022
- Author(s)
  佐藤岩夫，阿部昌樹編著（森大輔分担執筆）
- Total Pages
  320
- Publisher
  北王子書房
- ISBN
  9784762831843
- Data Source
  KAKENHI-PROJECT-18H03612
[Book] ＡＩ時代の法学入門：学際的アプローチ2020
- Author(s)
  太田勝造（編著），笠原毅彦・佐藤健・西貝吉晃・新田克己・福澤一吉
- Total Pages
  292
- Publisher
  弘文堂
- Data Source
  KAKENHI-PROJECT-17H06103
[Book] AI時代の法学入門2020
- Author(s)
  太田　勝造、笠原　毅彦、佐藤　健、西貝　吉晃、新田　克己、福澤　一吉
- Total Pages
  292
- Publisher
  弘文堂
- ISBN
  9784335358333
- Data Source
  KAKENHI-PROJECT-20K20406
[Book] ＡＩ時代の法学入門2020
- Author(s)
  太田勝造，佐藤健，福澤一吉，笠原毅彦，新田克己，西貝吉晃
- Total Pages
  280
- Publisher
  弘文堂
- Data Source
  KAKENHI-PROJECT-18H03612
[Journal Article] How Fine Tuning Affects Contextual Embeddings: A Negative Result Explanation2023
- Author(s)
  Nguyen Ha-Thanh、Tran Vu、Nguyen Minh-Phuong、Nguyen Le-Minh、Satoh Ken
- Journal Title
  
  Proceedings of the 15th International Conference on Agents and Artificial Intelligence
  
  Volume: - Pages: 586-591
- DOI
  10.5220/0011714200003393
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22H00543
[Journal Article] Taking stock of available technologies for compliance checking on first-order knowledge2022
- Author(s)
  Robaldo, L, Batsakis, S, Calegari, R, Calimeri, F, Fujita, M, Governatori, G, Morelli, M. C, Pisano, G, Satoh, K, Tachmazidis, I
- Journal Title
  
  Proceedings of the 37th Italian Conference on Computational Logic
  
  Volume: N/A Pages: 1-16
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K20406
[Journal Article] Law to Binary Tree -- An Formal Interpretation of Legal Natural Language2022
- Author(s)
  Ha-Thanh Nguyen, Vu Tran, Ngoc-Cam Le, Thi-Thuy Le, Quang-Huy Nguyen, Le-Minh Nguyen, Ken Satoh
- Journal Title
  
  Proceedings of the International Workshop on Methodologies for Translating Legal Norms into Formal Representations (LN2FR 2022)
  
  Volume: -
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22H00543
[Journal Article] A Survey of Pretrained Embeddings for Japanese Legal Representation2022
- Author(s)
  Nguyen Ha-Thanh、Nguyen Le-Minh、Satoh Ken
- Journal Title
  
  Advances and Trends in Artificial Intelligence. Theory and Practices in Artificial Intelligence
  
  Volume: N/A Pages: 363-369
- DOI
  10.1007/978-3-031-08530-7_30
- ISBN
  9783031085291, 9783031085307
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-22H00543
[Journal Article] SM-BERT-CR: a deep learning approach for case law retrieval with supporting model2022
- Author(s)
  Vuong Yen Thi-Hai、Bui Quan Minh、Nguyen Ha-Thanh、Nguyen Thi-Thu-Trang、Tran Vu、Phan Xuan-Hieu、Satoh Ken、Nguyen Le-Minh
- Journal Title
  
  Artificial Intelligence and Law
  
  Volume: 30 Issue: 3 Pages: 1-28
- DOI
  10.1007/s10506-022-09319-6
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-20K20625, KAKENHI-PROJECT-22H00543
[Journal Article] Abstract meaning representation for legal documents: an empirical research on a human-annotated dataset2022
- Author(s)
  Vu Sinh Trong、Le Nguyen Minh、Satoh Ken
- Journal Title
  
  Artificial Intelligence and Law
  
  Volume: 30 Issue: 2 Pages: 221-243
- DOI
  10.1007/s10506-021-09292-6
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K20406
[Journal Article] Toward a practical legal rule revision in legal debugging2022
- Author(s)
  Wachara FUNGWACHARAKORN, Ken SATOH
- Journal Title
  
  Computer Law & Security Review
  
  Volume: 46 Pages: 105696-105696
- DOI
  10.1016/j.clsr.2022.105696
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03612, KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-22H00543
[Journal Article] Effects of Relations between Normal Logic Programs and Defeasible Logic Programs on Contrary Prioritized Policy2022
- Author(s)
  Fungwacharakorn, W, Tsushima, K, Satoh, K
- Journal Title
  
  Proceedings of JURISIN-2022
  
  Volume: N/A Pages: 207-219
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K20406
[Journal Article] Overview and Discussion of the Competition on Legal Information Extraction/Entailment (COLIEE) 20212022
- Author(s)
  Rabelo Juliano、Goebel Randy、Kim Mi-Young、Kano Yoshinobu、Yoshioka Masaharu、Satoh Ken
- Journal Title
  
  The Review of Socionetwork Strategies
  
  Volume: 16 Issue: 1 Pages: 111-133
- DOI
  10.1007/s12626-022-00105-z
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03338, KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-23K22076
[Journal Article] Transformer-Based Approaches for Legal Text Processing2022
- Author(s)
  Nguyen, Ha-Thanh; Nguyen, Minh-Phuong; Vuong, Thi-Hai-Yen; Bui, Minh-Quan; Nguyen, Minh-Chau; Dang, Tran-Binh; Tran, Vu; Nguyen, Le-Minh; Satoh, Ken
- Journal Title
  
  The Review of Socionetwork Strategies
  
  Volume: 0 Issue: 1 Pages: 1-21
- DOI
  10.1007/s12626-022-00102-2
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04295, KAKENHI-PROJECT-20K20406
[Journal Article] Learning to?Map the?GDPR to?Logic Representation on?DAPRECO-KB2022
- Author(s)
  Nguyen Minh-Phuong、Nguyen Thi-Thu-Trang、Tran Vu、Nguyen Ha-Thanh、Nguyen Le-Minh、Satoh Ken
- Journal Title
  
  Intelligent Information and Database Systems, ACIIDS 2022
  
  Volume: N/A Pages: 442-454
- DOI
  10.1007/978-3-031-21743-2_35
- ISBN
  9783031217425, 9783031217432
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-22H00543
[Journal Article] An Interactive Natural Language Interface for PROLEG2022
- Author(s)
  Nguyen Ha-Thanh、Nishino Fumihito、Fujita Megumi、Satoh Ken
- Journal Title
  
  Frontiers in Artificial Intelligence and Applications
  
  Volume: N/A Pages: 294-297
- DOI
  10.3233/faia220484
- ISBN
  9781643683645, 9781643683652
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-22H00543
[Journal Article] A Use Case on GDPR of Modular-PROLEG for Private International Law2022
- Author(s)
  Sawasaki, T, Satoh, K, Troussel, A. C
- Journal Title
  
  Proceedings of the 3th International Workshop on Artificial Intelligence Technologies for Legal Documents (AI4LEGAL 2022)
  
  Volume: N/A Pages: 1-11
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K20406
[Journal Article] A Use Case on GDPR of Modular-PROLEG for Private International Law2022
- Author(s)
  Sawasaki, T, Satoh, K, Troussel, A. C
- Journal Title
  
  Proceedings of the 3th International Workshop on Artificial Intelligence Technologies for Legal Documents
  
  Volume: - Pages: 1-11
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-22H00543
[Journal Article] Towards Legally and Ethically Correct Online HTN Planning for Data Transfer2022
- Author(s)
  Hayashi, H, Satoh, K
- Journal Title
  
  Proceedings of the 20th International Workshop on Non-Monotonic Reasoning
  
  Volume: N/A Pages: 4-15
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K20406
[Journal Article] Diagnosing and Treating Effect of Legal Rule-Based Revision2022
- Author(s)
  Fungwacharakorn Wachara、Tsushima Kanae、Satoh Ken
- Journal Title
  
  New Generation Computing
  
  Volume: 40 Issue: 1 Pages: 25-45
- DOI
  10.1007/s00354-022-00157-3
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-18H03612
[Journal Article] Consumer Dispute Resolution System Based on PROLEG2022
- Author(s)
  Nishioka Shidaka、Mori Yuto、Satoh Ken
- Journal Title
  
  Frontiers in Artificial Intelligence and Applications
  
  Volume: 362 Pages: 298-301
- DOI
  10.3233/faia220485
- ISBN
  9781643683645, 9781643683652
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-22H00543
[Journal Article] Fundamental Revisions on Constraint Hierarchies for Ethical Norms2022
- Author(s)
  Wachara FUNGWACHARAKORN, Ken SATOH, TSUSHIMA, Kanae
- Journal Title
  
  Frontiers in Artificial Intelligence and Applications
  
  Volume: 362 Pages: 182-187
- DOI
  10.3233/faia220464
- ISBN
  9781643683645, 9781643683652
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03612, KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-22H00543
[Journal Article] Multi-agent Argumentation and Dialogue2022
- Author(s)
  Ryuta Arisaka, Jeremie Dauphin, Ken Satoh, Leendert van der Torre
- Journal Title
  
  Journal of Applied Logics - IfCoLog Journal
  
  Volume: 9 Pages: 921-954
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22H00543
[Journal Article] A Multi-Step Approach in Translating Natural Language into Logical Formula2022
- Author(s)
  MGIYEN, Ha-Thanh, Wachara FUNGWACHARAKORN, NISHINO, Fumihito, SATOH, Ken
- Journal Title
  
  Frontiers in Artificial Intelligence and Applications
  
  Volume: 362 Pages: 103-112
- DOI
  10.3233/faia220453
- ISBN
  9781643683645, 9781643683652
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03612, KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-22H00543
[Journal Article] A Query Evaluation Method for ASP with Abduction2022
- Author(s)
  Satoh, K.
- Journal Title
  
  Proceedings of the ICLP 2022 Workshop on Goal-directed Execution of Answer Set Programs
  
  Volume: N/A
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K20406
[Journal Article] CovRelex: A COVID-19 Retrieval System with Relation Extraction2021
- Author(s)
  Tran Vu、Tran Van-Hien、Nguyen Phuong、Nguyen Chau、Satoh Ken、Matsumoto Yuji、Nguyen Minh
- Journal Title
  
  Proceedings of the 16th Conference of the European Chapter of the Association for Computational Linguistics: System Demonstrations
  
  Volume: 2021 Pages: 24-31
- DOI
  10.18653/v1/2021.eacl-demos.4
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K20406
[Journal Article] On semantics-based minimal revision for legal reasoning2021
- Author(s)
  Fungwacharakorn Wachara、Tsushima Kanae、Satoh Ken
- Journal Title
  
  ICAIL '21: Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law
  
  Volume: 2021 Pages: 50-59
- DOI
  10.1145/3462757.3466075
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-17H06103, KAKENHI-PROJECT-18H03612
[Journal Article] Resolving counterintuitive consequences in law using legal debugging2021
- Author(s)
  Fungwacharakorn Wachara、Tsushima Kanae、Satoh Ken
- Journal Title
  
  Artificial Intelligence and Law
  
  Volume: 29 Issue: 4 Pages: 541-557
- DOI
  10.1007/s10506-021-09283-7
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-17H06103, KAKENHI-PROJECT-18H03612
[Journal Article] On the Legal Revision in PROLEG Program2021
- Author(s)
  Fungwacharakorn Wachara、Tsushima Kanae、Satoh Ken
- Journal Title
  
  Advances in Intelligent Systems and Computing
  
  Volume: 1357 Pages: 25-36
- DOI
  10.1007/978-3-030-73113-7_3
- NAID
  130007857084
- ISBN
  9783030731120, 9783030731137
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-18H03612
[Journal Article] Interactive system for arranging issues based on PROLEG in civil litigation2021
- Author(s)
  Satoh Ken、Takahashi Kazuko、Kawasaki Tatsuki
- Journal Title
  
  ICAIL '21: Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law
  
  Volume: 2021 Pages: 273-274
- DOI
  10.1145/3462757.3466096
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-17H06103
[Journal Article] 裁判過程における人工知能による高次推論支援プロジェクトについて2021
- Author(s)
  佐藤　健
- Journal Title
  
  法社会学
  
  Volume: 87 Pages: 94-108
- Data Source
  KAKENHI-PROJECT-17H06103
[Journal Article] Encoded summarization: summarizing documents into continuous vector space for legal case retrieval2020
- Author(s)
  Tran Vu、Le Nguyen Minh、Tojo Satoshi、Satoh Ken
- Journal Title
  
  Artificial Intelligence and Law
  
  Volume: 28 Issue: 4 Pages: 441-467
- DOI
  10.1007/s10506-020-09262-4
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K20406
[Journal Article] An Agent-Based Model for Exploring Pension Law and Social Security Policies2020
- Author(s)
  Serrano Emilio、Satoh Ken
- Journal Title
  
  New Frontiers in Artificial Intelligence. JSAI-isAI 2019
  
  Volume: LNAI12331 Pages: 50-63
- DOI
  10.1007/978-3-030-58790-1_4
- ISBN
  9783030587895, 9783030587901
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H06103
[Journal Article] A Simple yet Efficient MCSes Enumeration with SAT Oracles2020
- Author(s)
  Koshimura Miyuki、Satoh Ken
- Journal Title
  
  Intelligent Information and Database Systems. ACIIDS 2020. Lecture Notes in Computer Science
  
  Volume: 12033 Pages: 191-201
- DOI
  10.1007/978-3-030-41964-6_17
- ISBN
  9783030419639, 9783030419646
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K20406
[Journal Article] AI Applications to the Law Domain in Japan2020
- Author(s)
  NITTA Katsumi、SATOH Ken
- Journal Title
  
  Asian Journal of Law and Society
  
  Volume: 7 Issue: 3 Pages: 471-494
- DOI
  10.1017/als.2020.35
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H06103
[Journal Article] Dischargeable Obligations in the ?CIFF Framework2020
- Author(s)
  Alberti Marco、Gavanelli Marco、Lamma Evelina、Riguzzi Fabrizio、Satoh Ken、Zese Riccardo
- Journal Title
  
  Fundamenta Informaticae
  
  Volume: 176 Issue: 3-4 Pages: 321-348
- DOI
  10.3233/fi-2020-1976
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06103
[Journal Article] JNLP Team: Deep Learning for Legal Processing in COLIEE 20202020
- Author(s)
  Ha-Thanh Nguyen, Hai-Yen Thi Vuong, Phuong Minh Nguyen, Binh Tran Dang, Quan Minh Bui, Sinh Trong Vu, Chau Minh Nguyen, Vu Tran, Ken Satoh and Minh Le Nguyen
- Journal Title
  
  Proc. of JURISIN 2020
  
  Volume: 14 Pages: 195-208
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K20406
[Journal Article] BERT-PLI: Modeling Paragraph-Level Interactions for Legal Case Retrieval2020
- Author(s)
  Shao Yunqiu、Mao Jiaxin、Liu Yiqun、Ma Weizhi、Satoh Ken、Zhang Min、Ma Shaoping
- Journal Title
  
  Proc. of IJCAI-PRICAI 2020
  
  Volume: 29 Pages: 3501-3507
- DOI
  10.24963/ijcai.2020/484
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-17H06103
[Journal Article] A Summary of the COLIEE 2019 Competition2020
- Author(s)
  Rabelo Juliano、Kim Mi-Young、Goebel Randy、Yoshioka Masaharu、Kano Yoshinobu、Satoh Ken
- Journal Title
  
  New Frontiers in Artificial Intelligence. JSAI-isAI 2019. Lecture Notes in Computer Science
  
  Volume: 12331 Pages: 34-49
- DOI
  10.1007/978-3-030-58790-1_3
- ISBN
  9783030587895, 9783030587901
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-17H06103, KAKENHI-PROJECT-18H03338
[Journal Article] Generalizing Culprit Resolution in Legal Debugging with Background Knowledge2020
- Author(s)
  Fungwacharakorn Wachara、Satoh Ken
- Journal Title
  
  Frontiers in Artificial Intelligence and Applications, Legal Knowledge and Information Systems
  
  Volume: 334 Pages: 52-62
- DOI
  10.3233/faia200849
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-17H06103
[Journal Article] Building Legal Case Retrieval Systems with Lexical Matching and Summarization using A Pre-Trained Phrase Scoring Model2019
- Author(s)
  佐藤健，Vu D. Tran, Minh Le Nguyen
- Journal Title
  
  Proceedings of International Conference on Artificial Intelligence and Law
  
  Volume: 2019 Pages: 275-282
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03612
[Journal Article] Modelling last-act attempted crime in criminal law2019
- Author(s)
  Pooksook Jiraporn、Dung Phan Minh、Satoh Ken、Sartor Giovanni
- Journal Title
  
  Journal of Applied Non-Classical Logics
  
  Volume: 29 Issue: 4 Pages: 327-357
- DOI
  10.1080/11663081.2019.1647652
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06103
[Journal Article] Building Legal Case Retrieval Systems with Lexical Matching and Summarization using A Pre-Trained Phrase Scoring Model2019
- Author(s)
  Tran Vu、Nguyen Minh Le、Satoh Ken
- Journal Title
  
  ICAIL '19: Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law
  
  Volume: 2019 Pages: 275-282
- DOI
  10.1145/3322640.3326740
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K20406
[Journal Article] 人工知能の法学への応用2019
- Author(s)
  新田克己、佐藤健
- Journal Title
  
  人工知能学会誌
  
  Volume: 34(6) Pages: 870-875
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K20406
[Journal Article] ODRL Policy Modelling and Compliance Checking2019
- Author(s)
  De Vos Marina、Kirrane Sabrina、Padget Julian、Satoh Ken
- Journal Title
  
  Proceedings of RuleML+RR 2019
  
  Volume: 2019 Pages: 36-51
- DOI
  10.1007/978-3-030-31095-0_3
- ISBN
  9783030310943, 9783030310950
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K20406
[Journal Article] 人工知能の法律分野への応用について2019
- Author(s)
  佐藤健, 新田克己, Kevin D. Ashley
- Journal Title
  
  法と社会研究
  
  Volume: 4(4) Pages: 177-196
- NAID
  40021965510
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K20406
[Journal Article] An Approach of Rhetorical Status Recognition for Judgments in Court Documents using Deep Learning Models2019
- Author(s)
  佐藤健，Vu D. Tran, Minh Le Nguyen, Kiyoaki Shirai
- Journal Title
  
  Proceedings of International Conference on Knowledge and Systems Engineering
  
  Volume: 2019 Pages: 1-6
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03612
[Journal Article] Legal Text Generation from Abstract Meaning Representation2019
- Author(s)
  Sinh, V.T, Nguyen, L.M, Satoh, K
- Journal Title
  
  Proceedings of JURIX-2019
  
  Volume: 2019 Pages: 229-234
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K20406
[Journal Article] Legal Debugging in Propositional Legal Representation2019
- Author(s)
  Fungwacharakorn Wachara、Satoh Ken
- Journal Title
  
  New Frontiers in Artificial Intelligence - JSAI-isAI 2018 Workshops 2018, Revised Selected Papers
  
  Volume: LNCS 11717 Pages: 146-159
- DOI
  10.1007/978-3-030-31605-1_12
- ISBN
  9783030316044, 9783030316051
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06103, KAKENHI-PROJECT-20K20406
[Journal Article] Explainable ASP2019
- Author(s)
  Dauphin Jeremie、Satoh Ken
- Journal Title
  
  PRIMA 2019: Principles and Practice of Multi-Agent Systems: 22nd International Conference
  
  Volume: 2019 Pages: 610-617
- DOI
  10.1007/978-3-030-33792-6_47
- ISBN
  9783030337919, 9783030337926
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K20406
[Journal Article] Culprit Resolution for Legal Debugging in First-Order PROLEG2019
- Author(s)
  Fungwacharakorn, W., Satoh, K.
- Journal Title
  
  Proceedings of JURISIN-2019
  
  Volume: 2019 Pages: 117-130
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K20406
[Journal Article] An Approach of Rhetorical Status Recognition for Judgments in Court Documents using Deep Learning Models2019
- Author(s)
  Tran Vu D.、Nguyen Minh L.、Shirai Kiyoaki、Satoh Ken
- Journal Title
  
  11th International Conference on Knowledge and Systems Engineering (KSE)
  
  Volume: 2019 Pages: 1-6
- DOI
  10.1109/kse.2019.8919370
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K20406
[Journal Article] Implementation of Criminal Procedure using PROLEG Technology2019
- Author(s)
  佐藤健、西貝吉晃
- Journal Title
  
  Proceedings of the Annual Conference of JSAI
  
  Volume: JSAI2019 Issue: 0 Pages: 4E3OS7b05-4E3OS7b05
- DOI
  10.11517/pjsai.JSAI2019.0_4E3OS7b05
- NAID
  130007658813
- Language
  Japanese
- Data Source
  KAKENHI-PROJECT-17H06103
[Journal Article] COLIEE-2018: Evaluation of the Competition on Legal Information Extraction and Entailment2019
- Author(s)
  Kano Yoshinobu、Kim Mi-Young、Yoshioka Masaharu、Lu Yao、Rabelo Juliano、Kiyota Naoki、Goebel Randy、Satoh Ken
- Journal Title
  
  ew Frontiers in Artificial Intelligence. JSAI-isAI 2018. Lecture Notes in Computer Science
  
  Volume: 11717 Pages: 177-192
- DOI
  10.1007/978-3-030-31605-1_14
- ISBN
  9783030316044, 9783030316051
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03338, KAKENHI-PROJECT-17H06103, KAKENHI-PROJECT-16H01756
[Journal Article] ContractFrames: Bridging the Gap Between Natural Language and Logics in Contract Law2019
- Author(s)
  Navas-Loro Mar?a、Satoh Ken、Rodr?guez-Doncel V?ctor
- Journal Title
  
  New Frontiers in Artificial Intelligence - JSAI-isAI 2018 Workshops 2018, Revised Selected Papers
  
  Volume: LNCS 11717 Pages: 101-114
- DOI
  10.1007/978-3-030-31605-1_9
- ISBN
  9783030316044, 9783030316051
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06103, KAKENHI-PROJECT-20K20406
[Journal Article] ContractFrames: Bridging the gap between Natural Language and Logics in Contract Law2018
- Author(s)
  avas-Loro, M., Satoh, K., and Rodriguez-Doncel, V.
- Journal Title
  
  Proceedings of the 12th International Workshop on Juris-Informatics
  
  Volume: 2018 Pages: 71-84
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H03612
[Journal Article] Anything You Say May Be Used against You in a Court of Law - Legal Abstract Agent Argumentation (Legal Triple-A)2018
- Author(s)
  Van der Torre, L., Arisaka, R., Satoh, K.
- Journal Title
  
  LNCS
  
  Volume: 10791 Pages: 427-442
- DOI
  10.1007/978-3-030-00178-0_29
- ISBN
  9783030001773, 9783030001780
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06103
[Journal Article] Abstract Argumentation / Persuasion / Dynamics2018
- Author(s)
  Arisaka, R., Satoh, K.
- Journal Title
  
  LNAI
  
  Volume: 11224 Pages: 331-343
- DOI
  10.1007/978-3-030-03098-8_20
- ISBN
  9783030030971, 9783030030988
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06103
[Journal Article] Obligation as Optimal Goal Satisfaction2018
- Author(s)
  Kowalski, R., and Satoh, K.
- Journal Title
  
  Journal of Philosophical Logic
  
  Volume: 47 Issue: 4 Pages: 579-609
- DOI
  10.1007/s10992-017-9440-3
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06103
[Journal Article] On the Legal Debugging in PROLEG program", Proceedings of the 12th International Workshop on Juris-Informatics2018
- Author(s)
  Fungwacharakorn, W., and Satoh, K.
- Journal Title
  
  JURISIN
  
  Volume: 2018 Pages: 4-15
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03612
[Journal Article] Using Agreement Statements to Identify Majority Opinion in UKHL Case Law2018
- Author(s)
  Valvoda, J., Ray, O., Satoh, K.
- Journal Title
  
  Frontiers in Artificial Intelligence and Applications
  
  Volume: 313 Pages: 141-150
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06103
[Journal Article] AIに裁判の結果の理由を説明させる2018
- Author(s)
  佐藤　健
- Journal Title
  
  Newton 別冊
  
  Volume: 別冊 Pages: 122-129
- Data Source
  KAKENHI-PROJECT-17H06103
[Journal Article] Dialogue Games for Enforcement of Argument Acceptance and Rejection via Attack Removal2018
- Author(s)
  Dauphin, J., Satoh, K.
- Journal Title
  
  LNAI
  
  Volume: 11224 Pages: 449-457
- DOI
  10.1007/978-3-030-03098-8_29
- ISBN
  9783030030971, 9783030030988
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06103
[Journal Article] Overview of COLIEE 20172017
- Author(s)
  Kano, Y., Kim, Mi-Young, Goebel, R., Satoh, K.,
- Journal Title
  
  EPiC Series in Computing, COLIEE 2017. 4th Competition on Legal Information Extraction and Entailment
  
  Volume: 47 Pages: 1-8
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06103
[Journal Article] Coalition Formability Semantics with Conflict-Eliminable Sets of Arguments2017
- Author(s)
  Arisaka, R., Satoh, K.
- Journal Title
  
  Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems
  
  Volume: 16 Pages: 1469-1471
- Data Source
  KAKENHI-PROJECT-17H06103
[Journal Article] Voluntary Manslaughter? A Case Study with Meta-Argumentation with Supports2017
- Author(s)
  Arisaka, R., Satoh, K.
- Journal Title
  
  New Frontiers in Artificial Intelligence: JSAI-isAI 2016 Workshops, Revised Selected Papers
  
  Volume: LNAI 10247 Pages: 216-242
- DOI
  10.1007/978-3-319-61572-1_16
- ISBN
  9783319615714, 9783319615721
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H06103
[Journal Article] Modeling Attempted Crime in Criminal Law2016
- Author(s)
  Pooksook, J., Dung, P. M., Satoh, K.
- Journal Title
  
  10th International Workshop on Juris-Informatics (JURISIN 2016)
  
  Volume: 10 Pages: 59-72
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280091
[Journal Article] Abstract Argumentation for Case-Based Reasoning2016
- Author(s)
  Cyras, K., Satoh, K., Toni, F.
- Journal Title
  
  Proc. of KR 2016
  
  Volume: 15 Pages: 549-552
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280091
[Journal Article] Voluntary Manslaughter? Intention-to-Kill in Meta-Argumentation with Supports2016
- Author(s)
  Arisaka, R., Satoh, K.
- Journal Title
  
  Proceedings of the 10th International Workshop on Juris-Informatics (JURISIN 2016)
  
  Volume: 10 Pages: 45-58
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26280091
[Journal Article] Balancing Rationality and Utility in Logic-Based Argumentation with Classical Logic Sentences and Belief Contraction2016
- Author(s)
  Arisaka, R., Satoh, K.
- Journal Title
  
  (PRIMA 2016), LNCS 9862
  
  Volume: 9862 Pages: 168-180
- DOI
  10.1007/978-3-319-44832-9_10
- ISBN
  9783319448312, 9783319448329
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26280091
[Journal Article] Explanation for Case-Based Reasoning via Abstract Argumentation2016
- Author(s)
  Cyras, K., Satoh, K., Toni, F.
- Journal Title
  
  Proceedings of COMMA 2016, Frontiers in Artificial Intelligence and Applications 287
  
  Volume: 287 Pages: 243-254
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280091
[Journal Article] Describing Legal Policies as Story Tropes in Normative Systems2016
- Author(s)
  Thompson, M., Julian Padget, J., Satoh, K.
- Journal Title
  
  Proceedings of the 29th Annual Conference on Legal Knowledge and Information Systems (JURIX 2016)
  
  Volume: 29 Pages: 207-210
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280091
[Journal Article] Argumentation-based Normative Practical Reasoning2015
- Author(s)
  Shams, Z., de Vos, M., Oren, N., Padget, J., and Satoh, K.,
- Journal Title
  
  Lecture Note on Artificial Intelligence
  
  Volume: 9524 Pages: 16-32
- DOI
  10.1007/978-3-319-28460-6_14
- ISBN
  9783319284590, 9783319284606
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280091
[Journal Article] Inductive Learning Using Constraint-Driven Bias2015
- Author(s)
  Athakravi, D., Alrajeh, D., Law, M., Broda, K., Russo, A., and Satoh, K.
- Journal Title
  
  Lecture Note on Artificial Intelligence
  
  Volume: 9046 Pages: 226-242
- DOI
  10.1007/978-3-319-23708-4_2
- ISBN
  9783319237077, 9783319237084
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280091
[Journal Article] Generating Legal Reasoning Structure by Answer Set Programming2014
- Author(s)
  Athakravi, D., Satoh, K., Broda, K., and Russo, A.
- Journal Title
  
  Proc. of 8th International Workshop on Juris-informatics
  
  Volume: 8 Pages: 24-37
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26280091
[Journal Article] ArgPROLEG: A Normative Framework for The JUF Theory2014
- Author(s)
  Shams. Z., De Vos, M., Satoh, K.
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 8417 Pages: 183-198
- DOI
  10.1007/978-3-319-10061-6_13
- NAID
  40020005058
- ISBN
  9783319100609, 9783319100616
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-26280091
[Journal Article] Legal Conflict Detection in Interacting Legal Systems2014
- Author(s)
  Tantisripreecha, T., Satoh, K., and Nuanwan, S.
- Journal Title
  
  Proc. of The 10th International Conference on Intelligent Computing
  
  Volume: 10 Pages: 500-512
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26280091
[Journal Article] Answering Yes/No Questions in Legal Bar Exams2014
- Author(s)
  Kim, M.-Y., Xu, Y., Goebel, R., Satoh, K.
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 8417 Pages: 199-213
- DOI
  10.1007/978-3-319-10061-6_14
- ISBN
  9783319100609, 9783319100616
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-26280091
[Journal Article] On Requirements Representation and Reasoning Using Answer Set Programming2014
- Author(s)
  Padget, J., Elakehal, E. E., Satoh, K., Ishikawa, F.
- Journal Title
  
  Proc. of The 1st International Workshop on Artificial Intelligence for Requirements Engineering
  
  Volume: 1 Pages: 35-42
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26280091
[Journal Article] A Logic-based System for Recognizing Textual Entailment Applied to the Bar Exam Competition2014
- Author(s)
  Miyao Y., and Satoh, K
- Journal Title
  
  Proc. of 8th International Workshop on Juris-informatics
  
  Volume: 8 Pages: 130-138
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26280091
[Journal Article] Decision Making in Knowledge Integration with Dynamic Creation of Argumentation2013
- Author(s)
  Satoh, K., Takahashi, K., Y. Tanaka, N. Spyratos, T. Yoshida, C. Meghini (Eds.)
- Journal Title
  
  Information Search, Integration and Personalization, ISIP 2012 : Revised Selected Papers, Communications in Computer and Information Science
  
  Volume: 146 Pages: 41-50
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300062
[Journal Article] Normative Approach to Exploring Multi-Agency Privacy and Transparency2013
- Author(s)
  Padget, J.A., Satoh, K., and Ishikawa, F
- Journal Title
  
  Proceedings of the 7th International Workshop on Juris-informatics (JURISIN 2013)
  
  Pages: 9-22
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300062
[Journal Article] ArgPROLEG : A Normative Framework for The JUF Theory2013
- Author(s)
  Shams, Z., De Vos, M., and Satoh K
- Journal Title
  
  Proceedings of the 7th International Workshop on Juris-informatics (JURISIN 2013)
  
  Pages: 121-134
- NAID
  40020005058
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300062
[Journal Article] Legal Conflict Detection in Interacting Legal Systems2013
- Author(s)
  Li, T., Balke, T., De Vos, M., Padget, J.A., and Satoh K
- Journal Title
  
  Proceedings of the 26th Annual Conference on Legal Knowledge and Information Systems (JURIX 2013)
  
  Pages: 107-116
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300062
[Journal Article] Detecting Conflicts in Legal Systems2013
- Author(s)
  Li, T., Balke, T., De Vos, M., Satoh, K., Padget, J. A.
- Journal Title
  
  New Frontiers in Artificial Intelligence: JSAI-isAI 2012 Workshops, Revised Selected Papers, LNAI
  
  Volume: 7856 Pages: 174-189
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300062
[Journal Article] A Model-Based Approach to the Automatic Revision of Secondary Legislation2013
- Author(s)
  Li, T., Balke, T., De Vos, M., Padget, J. A., and Satoh K
- Journal Title
  
  Proceedings of the 14th International Conference on Artificial Intelligence & Law (ICAIL 2013)
  
  Pages: 202-206
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300062
[Journal Article] Handling Change in Normative Specifications2013
- Author(s)
  Athakravi, D., Corapi, D., Russo, A., De Vos, M., Padget, J. A., and Satoh, K.
- Journal Title
  
  Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, Revised Selected Papers, LNCS 7784
  
  Volume: 7784 Pages: 1-19
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300062
[Journal Article] Modelling Legitimate Expectations2013
- Author(s)
  De Vos, M., Balke, T., and Satoh, K.
- Journal Title
  
  New Frontiers in Artificial Intelligence: JSAI-isAI 2012 Workshops, Revised Selected Papers, LNAI
  
  Volume: 7856 Pages: 141-156
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300062
[Journal Article] Handling Change in Normative Specifications2013
- Author(s)
  Athakravi, D., Corapi, D., Russo, A., De Vos, M., Padget, J. A., and Satoh, K
- Journal Title
  
  Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, Revised Selected Papers
  
  Volume: LNCS 7784 Pages: 1-19
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300062
[Journal Article] Modelling Legitimate Expectations2013
- Author(s)
  De Vos, M., Balke, T., and Satoh, K
- Journal Title
  
  New Frontiers in Artificial Intelligence : JSAI-isAI 2012 Workshops, Revised Selected Papers
  
  Volume: LNAI 7856 Pages: 141-156
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300062
[Journal Article] Answering Yes/No Questions in Legal Bar Exams2013
- Author(s)
  Kim, M-Y., Xu, Y., Goebel, R., and Satoh, K
- Journal Title
  
  Proceedings of the 7th International Workshop on Juris-informatics (JURISIN 2013)
  
  Pages: 65-78
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300062
[Journal Article] Detecting Conflicts in Legal Systems2013
- Author(s)
  Li, T., Balke, T., De Vos, M., Satoh, K., Padget, J. A
- Journal Title
  
  New Frontiers in Artificial Intelligence : JSAI-isAI 2012 Workshops, Revised Selected Papers
  
  Volume: LNAI 7856 Pages: 174-189
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300062
[Journal Article] Decision Making in Knowledge Integration with Dynamic Creation of Argumentation2013
- Author(s)
  Satoh, K., Takahashi, K.
- Journal Title
  
  Information Search, Integration and Personalization, ISIP 2012: Revised Selected Paeprs, Communications in COmputer and Information Science
  
  Volume: 146 Pages: 41-50
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300062
[Journal Article] Combining Event- and State-based Norms2013
- Author(s)
  De Vos, M., Balke, T., Satoh, K
- Journal Title
  
  Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013)
  
  Pages: 1157-1158
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300062
[Journal Article] Logic Programming and Burden of Proof in Logic Programming2012
- Author(s)
  Satoh, K
- Journal Title
  
  New Generation Computing
  
  Volume: Vol.30,No.4 Pages: 297-326
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300062
[Journal Article] Logic Programming and Burden of Proof in Logic Programming2012
- Author(s)
  Ken Satoh
- Journal Title
  
  New Generation Computing
  
  Volume: 30 Issue: 4 Pages: 297-326
- DOI
  10.1007/s00354-012-0402-6
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300062
[Journal Article] PROLEG : An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG technology2012
- Author(s)
  Ken Satoh, et al
- Journal Title
  
  Springer Verlag
  
  Volume: LNAI 6797 Pages: 153-164
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300062
[Journal Article] Legal Modelling and Reasoning using Institutions2012
- Author(s)
  Marina De Vos, Julian Padget, Ken Satoh
- Journal Title
  
  Springer Verlag
  
  Volume: LNAI 6797 Pages: 129-140
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300062
[Journal Article] Legal Modelling and Reasoning using Institutions2012
- Author(s)
  De Vos, M., Padget, J. A., Satoh, K
- Journal Title
  
  New Frontiers in Artificial Intelligence : JSAI-isAI 2010 Workshops, Revised Selected Papers
  
  Volume: LNAI 6797 Pages: 129-140
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300062
[Journal Article] Norm Refinement and Design through Inductive Learning2011
- Author(s)
  Corapi, D., De Vos, M., Padget, J. A., Russo, A., Satoh, K
- Journal Title
  
  Coordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, Revised Selected Papers
  
  Volume: LNCS 6541 Pages: 77-94
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300062
[Journal Article] Normative Design Using Inductive Learning2011
- Author(s)
  Corapi, D., Russo, A., De Vos, M., Padget, J. A., Satoh, K
- Journal Title
  
  Theory and Practice of Logic Programming (TPLP)
  
  Volume: Vol.11,No.4-5 Pages: 783-799
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300062
[Journal Article] PROLEG : 論理プログラミング言語2011
- Author(s)
  西貝吉晃, 浅井健人, 久保田理広, 古川昂宗, 佐藤健, 白川佳, 高野千明, 中村恵
- Journal Title
  
  Prolog を利用した要件事実論のプログラミング情報ネットワーク・ローレビュー
  
  Volume: Vol.10 Pages: 54-89
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300062
[Journal Article] PROLEG : An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology2011
- Author(s)
  Satoh, K., Asai, K., Kogawa, T., Kubota, M., Nakamura, M., Nishigai, Y., Shirakawa, K., Takano, C
- Journal Title
  
  New Frontiers in Artificial Intelligence : JSAI-isAI 2010 Workshops, Revised Selected Papers
  
  Volume: LNAI 6797 Pages: 1419-1429
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300062
[Journal Article] A Semantics of Argumentation under Incomplete Information2011
- Author(s)
  佐藤健、高橋和子
- Journal Title
  
  Proc.of Juris-informatics 2011
  
  Pages: 86-97
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300062
[Journal Article] On the Implementation of Speculative Constraint Processing2009
- Author(s)
  Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe, Ken Satoh
- Journal Title
  
  Proceedings of the 10th International Workshop on Computational Logic in Multi-Agent Systems
  
  Pages: 105-120
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19300053
[Journal Article] “Kiga-kiku"Services on Speculative Computation2008
- Author(s)
  Naoki Fukuta, Ken Satoh, Takahira Yamaguchi, Towards
- Journal Title
  
  Lecture Notes on Artificial Intelligence (Springer) 5345
  
  Pages: 256-267
- Data Source
  KAKENHI-PROJECT-19300053
[Journal Article] Philippe Codognet, Agent-Based Speculative Constraint Processing2007
- Author(s)
  Hiroshi Hosobe, Ken Satoh
- Journal Title
  
  IEICE Transactions on Information and Systems E90-D(9)
  
  Pages: 1354-1362
- Data Source
  KAKENHI-PROJECT-19300053
[Journal Article] Template-Based SemanticWiki Where End and Expert Users Collaborate2006
- Author(s)
  Kensaku Kawamoto
- Journal Title
  
  5th International Semantic Web Conference, Poster paper (CD-ROM)
- Data Source
  KAKENHI-PROJECT-16200010
[Journal Article] Kawa Wiki : A Semantic Wiki Based on RDF Templates2006
- Author(s)
  Kensaku Kawamoto
- Journal Title
  
  Intelligent Web Interaction 2006 (CD-ROM)
- Data Source
  KAKENHI-PROJECT-16200010
[Journal Article] Enumerating Minimal Explanations by Minimal Hitting Set Computation2006
- Author(s)
  Satoh, K.
- Journal Title
  
  Proc of KSEM'06 LNAI4092
  
  Pages: 354-365
- Data Source
  KAKENHI-PROJECT-16200010
[Journal Article] Enumerating Minimally Revised Specifications using Dualization2006
- Author(s)
  Ken Satoh, Takeaki Uno
- Journal Title
  
  New Frontiers in Artificial Intelligence, LNAI (to appear)
- NAID
  40022143322
- Data Source
  KAKENHI-PROJECT-16016284
[Journal Article] Speculative Computation and Abduction for an Autonomous Agent2005
- Author(s)
  Satoh, K.
- Journal Title
  
  IEICE transactions on Information and Systems E88-D, No. 9
  
  Pages: 2031-2038
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16200010
[Journal Article] A Hybrid Reasoning System for Terminologies and First-order Clauses in Knowledge Bases2005
- Author(s)
  Ken Kaneiwa
- Journal Title
  
  New Generation Computing 24
  
  Pages: 29-51
- Data Source
  KAKENHI-PROJECT-16016284
[Journal Article] An Application of Global Abduction to an Information Agent Which Modifies a Plan Upon Failure-Preliminary Report2005
- Author(s)
  Satoh, K.
- Journal Title
  
  Computational Logic in Multi-Agent Systems : 5th International Workshop, CLIMA V, Revised Selected and Invited Papers LNAI 3487
  
  Pages: 213-229
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16200010
[Journal Article] Speculative Constraint Processing (Extended Abstract)2005
- Author(s)
  Satoh, K.
- Journal Title
  
  Workshop Proceedings of Distributed and Speculative Constraint Processing
  
  Pages: 3-6
- Data Source
  KAKENHI-PROJECT-16200010
[Journal Article] Speculative Constraint Processing with Iterative Revision for Disjunctive Answers2005
- Author(s)
  Ceberio, M., Hosobe, H., Satoh, K.
- Journal Title
  
  Proceedings of the Computational Logic in Multi-Agent Systems : 6th International Workshop (CLIMA-VI)
  
  Pages: 119-134
- Data Source
  KAKENHI-PROJECT-16200010
[Journal Article] Speculative Computation and Abduction for an Autonomous Agent2005
- Author(s)
  Satoh, K.
- Journal Title
  
  IEICE transactions on Information and Systems E88-D, No.9
  
  Pages: 2031-2038
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16200010
[Journal Article] An Application of Global Abduction to an Information Agent Which Modifies a Plan Upon Failure -Preliminary Report2005
- Author(s)
  Satoh, K.
- Journal Title
  
  Computational Logic in Multi-Agent Systems : 5th International Workshop, CLIMA V, Revised Selected and Invited Papers LNAI 3487
  
  Pages: 213-229
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16200010
[Journal Article] An Application of Global Abduction to an Information Agent which Modifies a Plan upon Failure -Preliminary Report-2005
- Author(s)
  Satoh, K.
- Journal Title
  
  Proceedings of the Computational Logic in Multi-Agent Systems : 5th International Workshop (CLIMA V)
  
  Pages: 213-229
- Data Source
  KAKENHI-PROJECT-16200010
[Journal Article] Consistency Check and Minimal Update for a UML Class Diagram Using Logic Programming2005
- Author(s)
  Ken Satoh, Ken Kaneiwa, Takeaki Uno
- Journal Title
  
  Workshop on New Approaches to Software Construction 2005
  
  Pages: 39-48
- Data Source
  KAKENHI-PROJECT-16016284
[Journal Article] Speculative Computation and Abduction for an Autonomous Agent2005
- Author(s)
  Satoh, K.
- Journal Title
  
  IEICE transactions on Information and Systems E88-D, 9
  
  Pages: 2031-2038
- Data Source
  KAKENHI-PROJECT-16200010
[Journal Article] Enumerating Minimal Revised Specification using Dualization2004
- Author(s)
  Ken Satoh
- Journal Title
  
  Proc. of Workshop on New Approaches to Software Construction
  
  Pages: 85-90
- NAID
  40022143322
- Data Source
  KAKENHI-PROJECT-16016284
[Journal Article] All's well that ends well - a Proposal of Global Abduction2004
- Author(s)
  Satoh, K.
- Journal Title
  
  Proceedings of the Tenth International Workshop on Non-Monotonic Reasoning
  
  Pages: 360-367
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16200010
[Journal Article] Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity2004
- Author(s)
  Ken Kaneiwa, Riichiro Mizoguchi
- Journal Title
  
  Proc. Of the Ninth International Conference on the Principles of Knowledge Representation and Reasoning
  
  Pages: 278-288
- Data Source
  KAKENHI-PROJECT-16016284
[Journal Article] An Application of Global Abduction to an Information Agent which Modifies a Plan upon Failure - Preliminary Report -2004
- Author(s)
  Ken Satoh
- Journal Title
  
  Proc.of Fifth Workshop on computational Logic in Multi-Agent Systems
  
  Pages: 150-165
- Data Source
  KAKENHI-PROJECT-16200010
[Journal Article] All's well that ends well-a Proposal of Global Abduction2004
- Author(s)
  Satoh, K.
- Journal Title
  
  Proceedings of the Tenth International Workshop on Non-Monotonic Reasoning
  
  Pages: 360-367
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16200010
[Journal Article] Resolution for Label-based Formulas in Hierarchical Representation2004
- Author(s)
  Ken Kaneiwa
- Journal Title
  
  New Generation Computing 22
  
  Pages: 253-269
- Data Source
  KAKENHI-PROJECT-16016284
[Patent] 法的推論提示方法、法的推論提示プログラム及び法的推論提示システム2019
- Inventor(s)
  佐藤健, 高橋和子
- Industrial Property Rights Holder
  佐藤健, 高橋和子
- Industrial Property Rights Type
  特許
- Industrial Property Number
  2019-155281
- Filing Date
  2019
- Data Source
  KAKENHI-PROJECT-17H06103
[Patent] 法的推論提示方法、法的推論提示システムおよびプログラム2012
- Inventor(s)
  佐藤　健
- Industrial Property Rights Holder
  佐藤　健
- Industrial Property Rights Type
  特許
- Filing Date
  2012-11-01
- Data Source
  KAKENHI-PROJECT-23300062
[Patent] 法的推論提示方法, 法的推論提示システムおよびプログラム2012
- Inventor(s)
  佐藤健
- Industrial Property Rights Holder
  情報・システム研究機構
- Industrial Property Rights Type
  特許
- Industrial Property Number
  2012-241526
- Filing Date
  2012-11-01
- Data Source
  KAKENHI-PROJECT-23300062
[Presentation] 裁判過程における人工知能による高次推論支援2021
- Author(s)
  (31)佐藤健, 狩野芳伸, 本村陽一, 高岡　昂太, 高橋和子, 太田勝造, 新田克己
- Organizer
  人工知能学会全国大会
- Data Source
  KAKENHI-PROJECT-17H06103
[Presentation] PROLEG を用いた「裁判規範としての刑法」のプログラミング2021
- Author(s)
  西貝吉晃、佐藤健
- Organizer
  ネットワーク法学会ローレビュー
- Data Source
  KAKENHI-PROJECT-17H06103
[Presentation] 裁判過程における人工知能による高次推論支援プロジェクトについて2021
- Author(s)
  佐藤　健
- Organizer
  法社会学会
- Data Source
  KAKENHI-PROJECT-17H06103
[Presentation] Overview of the project: Advanced Reasoning Support for Judicial Judgment by Artificial Intelligence2021
- Author(s)
  Satoh, K.
- Organizer
  23th International Workshop on Jurishttps://www-kofu.jsps.go.jp/kofu1/images/bt_delete.gif-informatics (JURISIN2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06103
[Presentation] 裁判過程におけるベイジアンネットワークを用いた証拠推論-児童虐待事例をユースケースとした事実認定過程支援システムの構想2021
- Author(s)
  (27)高岡昂太,本村陽一,佐藤健,西貝吉晃
- Organizer
  人工知能学会全国大会
- Data Source
  KAKENHI-PROJECT-17H06103
[Presentation] Supporting Judgement Process by Logic Programming Technology2021
- Author(s)
  Satoh, K.
- Organizer
  23th International Workshop on Juris-informatics (JURISIN2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06103
[Presentation] AI技術の法学への応用2020
- Author(s)
  佐藤健
- Organizer
  筑波大学エクステンションプログラム
- Invited
- Data Source
  KAKENHI-PROJECT-17H06103
[Presentation] ＡＩの法学への応用研究の現状2019
- Author(s)
  佐藤健
- Organizer
  日本学術会議公開シンポジウム: ＡＩによる法学へのアプローチ
- Invited
- Data Source
  KAKENHI-PROJECT-17H06103
[Presentation] AIによる要件事実論に基づく民事裁判支援システムの開発2018
- Author(s)
  佐藤健
- Organizer
  刑法学会第96回大会ワークショップ「５．AIと刑法」
- Invited
- Data Source
  KAKENHI-PROJECT-17H06103
[Presentation] Disputing Behavior and Judicial Policy in the Super-Aging Society: Backgrounds and Research Design of the Civil Justice Research Project in Japan2018
- Author(s)
  太田勝造，佐藤岩夫，阿部昌樹
- Organizer
  RCSL Lisbon Meeting
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03612
[Presentation] AIによる要件事実論に基づく民事裁判支援システムの開発2017
- Author(s)
  佐藤　健
- Organizer
  司法アクセス学会理事会兼学術大会
- Invited
- Data Source
  KAKENHI-PROJECT-17H06103
[Presentation] Juris-Informatics and PROlog-based LEGal reasoning system: PROLEG2017
- Author(s)
  Ken Satoh
- Organizer
  The 9th International Conference on Knowledge and Systems Engineering (KSE 2017)
- Invited
- Data Source
  KAKENHI-PROJECT-17H06103
[Presentation] Answering Yes/No Questions in Legal Bar Exams2013
- Author(s)
  Kim, M-Y., Xu, Y., Goebel, R., and Satoh, K.
- Organizer
  the 7th International Workshop on Juris-informatics (JURISIN 2013)
- Place of Presentation
  横浜、日本
- Data Source
  KAKENHI-PROJECT-23300062
[Presentation] Legal Conflict Detection in Interacting Legal Systems2013
- Author(s)
  Li, T., Balke, T., De Vos, M., Padget, J. A., and Satoh K.
- Organizer
  the 26th Annual Conference on Legal Knowledge and Information Systems (JURIX 2013)
- Place of Presentation
  ボローニャ、イタリア
- Data Source
  KAKENHI-PROJECT-23300062
[Presentation] ArgPROLEG: A Normative Framework for The JUF Theory2013
- Author(s)
  Shams, Z., De Vos, M., and Satoh K.
- Organizer
  the 7th International Workshop on Juris-informatics (JURISIN 2013)
- Place of Presentation
  横浜、日本
- Data Source
  KAKENHI-PROJECT-23300062
[Presentation] A Model-Based Approach to the Automatic Revision of Secondary Legislation2013
- Author(s)
  Li, T., Balke, T., De Vos, M., Padget, J. A., and Satoh K.
- Organizer
  the 14th International Conference on Artificial Intelligence & Law (ICAIL 2013)
- Place of Presentation
  ローマ、イタリア
- Data Source
  KAKENHI-PROJECT-23300062
[Presentation] Combining Event- and State-based Norms2013
- Author(s)
  De Vos, M., Balke, T., Satoh, K.
- Organizer
  the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013)
- Place of Presentation
  セントポール、米国
- Data Source
  KAKENHI-PROJECT-23300062
[Presentation] Normative Approach to Exploring Multi-Agency Privacy and Transparency2013
- Author(s)
  Padget, J. A., Satoh, K., and Ishikawa, F.
- Organizer
  the 7th International Workshop on Juris-informatics (JURISIN 2013)
- Place of Presentation
  横浜、日本
- Data Source
  KAKENHI-PROJECT-23300062
[Presentation] Detecting Conflicts in Legal Systems2012
- Author(s)
  Tingting Li, Tina Balke, Marina De Vos, Ken Satoh and Julian Padget
- Organizer
  the 6th International Workshop on Juris-informatics
- Place of Presentation
  宮崎
- Data Source
  KAKENHI-PROJECT-23300062
[Presentation] Distributed Defeasible Speculative Reasoning in Ambient Environment2012
- Author(s)
  Ho-Pun Lam, Guido Governatori, Ken Satoh and Hiroshi Hosobe
- Organizer
  Computational Logic in Multi-Agent Systems, 13th International Workshop
- Place of Presentation
  Montpellier, France
- Data Source
  KAKENHI-PROJECT-23300062
[Presentation] On Generality of PROLEG Knowledge Representation2012
- Author(s)
  Ken Satoh, Takamune Kogawa, Nao Okada, Kentaro Omori, Shunsuke Omura and Kazuki Tsuchiya
- Organizer
  the 6th International Workshop on Juris-informatics
- Place of Presentation
  宮崎
- Data Source
  KAKENHI-PROJECT-23300062
[Presentation] Handling Change in Normative Specifications2012
- Author(s)
  Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian Padget, Ken Satoh
- Organizer
  11th International Conference on Autonomous Agents and Multiagent Systems
- Place of Presentation
  Valencia, Spain
- Data Source
  KAKENHI-PROJECT-23300062
[Presentation] Modelling Legitimate Expectations2012
- Author(s)
  Marina De Vos, Tina Balke and Ken Satoh
- Organizer
  the 6th International Workshop on Juris-informatics
- Place of Presentation
  宮崎
- Data Source
  KAKENHI-PROJECT-23300062
[Presentation] Speculative Constraint Processing for Hierarchical Agents2009
- Author(s)
  Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, Krysia Broda
- Organizer
  Proc. of European Workshop on Multi-Agent Systems
- Data Source
  KAKENHI-PROJECT-19300053
[Presentation] On the Implementation of Speculative Constraint Processing2009
- Author(s)
  Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe, Ken Satoh
- Organizer
  Proc. of 10th International Workshop on Computational Logic in Multi-Agent Systems
- Data Source
  KAKENHI-PROJECT-19300053
[Presentation] Speculative Constraint Processing for Hierarchical Agents2009
- Author(s)
  Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, Krysia Broda
- Organizer
  European Workshop on Multi-Agent Systems
- Place of Presentation
  Ayia Napa, Cyprus
- Year and Date
  2009-12-18
- Data Source
  KAKENHI-PROJECT-19300053
[Presentation] Abductive Reasoning for Burden of Proof2008
- Author(s)
  Ken Satoh
- Organizer
  2^<nd> International Workshop on Juris-informatics (JURISIN 2008)
- Place of Presentation
  旭川(日本)
- Year and Date
  2008-06-10
- Data Source
  KAKENHI-PROJECT-19300053
[Presentation] Conflict Detection in Composite Institutions
- Author(s)
  Tingting Li, Tina Balke, Marina De Vos, Ken Satoh and Julian Padget
- Organizer
  the Second International Workshop on Agent-based Modeling for Policy Engineering
- Place of Presentation
  Montpellier, France
- Data Source
  KAKENHI-PROJECT-23300062

1. IWANUMA Koji (30176557)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
2. ICHISE Ryutaro (00332156)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
3. MIYAO Yusuke (00343096)

# of Collaborated Projects: 3 results

# of Collaborated Products: 1 results
4. INOUE Katsumi (10252321)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
5. OTA Shozo (40152136)

# of Collaborated Projects: 3 results

# of Collaborated Products: 7 results
6. 新井紀子 (40264931)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
7. YAMAGUCHI Takahira (20174617)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
8. FUKUTA Naoki (30345805)

# of Collaborated Projects: 2 results

# of Collaborated Products: 1 results
9. KANO Yoshinobu (20506729)

# of Collaborated Projects: 2 results

# of Collaborated Products: 2 results
10. SAKAMA Chiaki (20273873)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
11. KITAMURA Yasuhiko (00204917)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
12. NABESHIMA Hidetomo (10334848)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
13. 廣田薫 (50130943)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
14. 龍田真 (80216994)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
15. 照井一成 (70353422)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
16. AIZAWA Akiko (90222447)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. BONO Mayumi (50418521)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. MOTODA Hiroshi (00283804)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. YOSHIDA Tetsuya (80294164)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. WASHIO Takashi (00192815)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. TAKEDA Hideaki (80252831)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. KINOSHITA Manako (00281171)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. 原口誠 (40128450)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. 國藤進 (50242566)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
25. 櫻井成一朗 (20202088)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
26. 新田克己 (60293073)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
27. 田中二郎 (20251043)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
28. 野村浩郷 (30208392)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
29. 大久保好章 (40271639)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
30. 宇野毅明 (00302977)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
31. 兼岩憲 (00342626)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
32. 山岸順一 (70709352)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
33. 和泉憲明 (50293593)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
34. 松村良之 (80091502)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
35. 長谷川晃 (90164813)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
36. 池田清治 (20212772)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
37. 長谷川真里 (10376973)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
38. 浅野有紀 (70272937)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
39. 村山眞維 (30157804)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
40. 加藤淳子 (00251314)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
41. 浅水屋剛 (00377920)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
42. 今井耕介 (00780032)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
43. 岡田謙介 (20583793)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
44. 齋藤宙治 (20779392)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
45. 米村滋人 (40419990)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
46. 森大輔 (40436499)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
47. 飯田高 (70345247)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
48. 高橋和子 (30330400)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
49. 本村陽一 (30358171)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
50. 西貝小名都 (20580400)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
51. NGUYEN MinhLe (30509401)

# of Collaborated Projects: 1 results

# of Collaborated Products: 12 results
52. 対馬かなえ (80754663)

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results
53. 西村友海 (80884767)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
54. Tran Duc・Vu (90910240)

# of Collaborated Projects: 1 results

# of Collaborated Products: 7 results
55. 小塚荘一郎 (30242085)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
56. 渡邊真由 (40881462)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
57. TERABE Masahiro

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
58. 尾崎暢

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
59. 吉岡真治

# of Collaborated Projects: 0 results

# of Collaborated Products: 2 results

Satoh Ken 佐藤 健

SATOH Ken 佐藤 健

Research Projects

Research Products

Co-Researchers

Development of ODR system by AIPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Realization of Legal Compliance Mechanism for AIPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Modeling the Legal Decision-Making: AI and Legal Mind

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Advanced Reasoning Support for Judicial Judgment by Artificial IntelligencePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Combining natural language processing and logical reasoning to solve multiple bar examPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Human Learning from Ears: Research on OtopeciaPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Legal Expertise and Metacognition on Law.

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Implementing Japanese Presupposed Ultimate Fact Theory in Logic ProgrammingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Formalization of Dynamic Belief Revision and its Application to Real-time Planning for Web ServisesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on Advanced Systems of Efficient Hypothesis Finding

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

宣言的プログラミングにおけるソフトウェア発展の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Development of Reliable Advanced Inter-operable Agent Technology on Web Service CompositionPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

宣言的プログラミングにおけるソフトウェア発展の研究Principal Investigator

Principal Investigator

Project Period (FY)

Satoh Ken 佐藤健

SATOH Ken 佐藤健