• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Satoh Ken  佐藤 健

ORCIDConnect your ORCID iD *help
… 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
人工知能 / 法的推論 / アブダクション / 知識獲得 / 事例ベース推論 / 心証形成 / 矯正施設 / ベイジアン・ネットワーク / 刑務所 / AI / 要件・効果思考法 / フィールド実験 / 量刑 / 仲裁合意 / 裁判管轄の合意 / AI裁判所 / 事実認定と証明度 / 法律要件当て嵌め判断 / 脳科学 / シナリオ・スタディー / 事実認定 / 法専門家と素人 / リーガルマインド / 法的判断と非法的判断 / 反省悔悟の有無 / 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
  • Research Projects

    (24 results)
  • Research Products

    (162 results)
  • Co-Researchers

    (59 People)
  •  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

All 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2009 2008 2007 2006 2005 2004 Other

All Journal Article Presentation Book Patent

  • [Book] 現代日本の紛争過程と司法政策:民事紛争全国調査2016~20202023

    • 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] AI時代の法学入門:学際的アプローチ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] AI時代の法学入門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] AIの法学への応用研究の現状2019

    • Author(s)
      佐藤健
    • Organizer
      日本学術会議公開シンポジウム: AIによる法学へのアプローチ
    • Invited
    • Data Source
      KAKENHI-PROJECT-17H06103
  • [Presentation] AIによる要件事実論に基づく民事裁判支援システムの開発2018

    • Author(s)
      佐藤健
    • Organizer
      刑法学会第96回大会ワークショップ「5.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

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi