• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

佐藤 健  Satoh Ken

ORCIDORCID連携する *注記
研究者番号 00271635
その他のID
所属 (現在) 2025年度: 大学共同利用機関法人情報・システム研究機構(機構本部施設等), データサイエンス共同利用基盤施設, 特任教授
2025年度: 国立情報学研究所, 大学共同利用機関等の部局等, 名誉教授
所属 (過去の研究課題情報に基づく) *注記 2024年度: 大学共同利用機関法人情報・システム研究機構(機構本部施設等), データサイエンス共同利用基盤施設, 特任教授
2011年度 – 2023年度: 国立情報学研究所, 情報学プリンシプル研究系, 教授
2009年度: 国立情報学研究所, 情報プリンシプル研究系, 教授
2006年度 – 2009年度: 国立情報学研究所, 情報学プリンシプル研究系, 教授
2001年度 – 2005年度: 国立情報学研究所, 情報学基礎研究系, 教授 … もっと見る
2001年度 – 2003年度: 国立情報学研究所, 教授
1997年度 – 2000年度: 北海道大学, 大学院・工学研究科, 助教授
1996年度: 北海道大学, 工学部, 助教授 隠す
審査区分/研究分野
研究代表者
理工系 / 知能情報学 / 知能情報学 / 知能情報学 / 中区分61:人間情報学およびその関連分野 / 高度科学技術社会の新局面 / 知覚情報処理 / 社会システム工学
研究代表者以外
中区分5:法学およびその関連分野 / 基礎法学 / 知能情報学 / 知能情報学
キーワード
研究代表者
論理プログラミング / ソフトウェア発展 / 宣言的プログラミング / 法的推論 / 人工知能 / 要件事実論 / 投機的計算 / 極小変更 / 仮説論理プログラミング / 法とAI … もっと見る / 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 / デフォルト / 類推 / 類似度 / 判例ベース推論 … もっと見る
研究代表者以外
人工知能 / 法的推論 / アブダクション / 知識獲得 / 事例ベース推論 / 心証形成 / 矯正施設 / ベイジアン・ネットワーク / 刑務所 / 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 / 双対化 / 極小被覆計算 / 知識の整合性維持 / 環境変化の検知 / 数値属性離散化 / 属性選択 / 機械学習 / 素性論理構造 / 概念辞書 / シソーラス / ソート論理 / 法律エキスパートシステム / 法的オントロジー / 知識表現 / 推論エンジン / オントロジー / 自然言語 / 国際統一売買法 / エキスパートシステム / 法律文生成処理 / 法律オントロジー / 論争支援 / 流れ図エディタ / ファジィ推論 隠す
  • 研究課題

    (24件)
  • 研究成果

    (162件)
  • 共同研究者

    (59人)
  •  人工知能によるオンライン紛争解決(ODR)システムの構築研究代表者

    • 研究代表者
      佐藤 健
    • 研究期間 (年度)
      2022 – 2024
    • 研究種目
      基盤研究(A)
    • 審査区分
      中区分61:人間情報学およびその関連分野
    • 研究機関
      大学共同利用機関法人情報・システム研究機構(機構本部施設等)
      国立情報学研究所
  •  人工知能の法律遵守機構の実現研究代表者

    • 研究代表者
      佐藤 健
    • 研究期間 (年度)
      2019 – 2022
    • 研究種目
      挑戦的研究(開拓)
    • 審査区分
      高度科学技術社会の新局面
    • 研究機関
      国立情報学研究所
  •  法的判断の構造とモデル化の探求:AIはリーガル・マインドを持てるか?

    • 研究代表者
      太田 勝造
    • 研究期間 (年度)
      2018 – 2022
    • 研究種目
      基盤研究(A)
    • 審査区分
      中区分5:法学およびその関連分野
    • 研究機関
      明治大学
      東京大学
  •  裁判過程における人工知能による高次推論支援研究代表者

    • 研究代表者
      佐藤 健
    • 研究期間 (年度)
      2017 – 2021
    • 研究種目
      基盤研究(S)
    • 研究分野
      知能情報学
    • 研究機関
      国立情報学研究所
  •  司法試験短答式問題を対象にした自然言語処理と論理的推論の融合の研究研究代表者

    • 研究代表者
      佐藤 健
    • 研究期間 (年度)
      2014 – 2016
    • 研究種目
      基盤研究(B)
    • 研究分野
      知能情報学
    • 研究機関
      国立情報学研究所
  •  耳からの知識獲得otopediaの研究研究代表者

    • 研究代表者
      佐藤 健
    • 研究期間 (年度)
      2014 – 2016
    • 研究種目
      挑戦的萌芽研究
    • 研究分野
      知覚情報処理
    • 研究機関
      国立情報学研究所
  •  法の「熟達者」はいかにして可能か-ソクラテスメソッドの再構成を手がかりに-

    • 研究代表者
      木下 麻奈子
    • 研究期間 (年度)
      2014 – 2017
    • 研究種目
      基盤研究(B)
    • 研究分野
      基礎法学
    • 研究機関
      同志社大学
  •  民事裁判における要件事実論の論理プログラミングによる計算機上の実現研究代表者

    • 研究代表者
      佐藤 健
    • 研究期間 (年度)
      2011 – 2013
    • 研究種目
      基盤研究(B)
    • 研究分野
      知能情報学
    • 研究機関
      国立情報学研究所
  •  動的信念変更の定式化とウェブサービスの実時間プランニングへの応用研究代表者

    • 研究代表者
      佐藤 健
    • 研究期間 (年度)
      2007 – 2009
    • 研究種目
      基盤研究(B)
    • 研究分野
      知能情報学
    • 研究機関
      国立情報学研究所
  •  仮説発見システムの高度化と効率的実現に関する研究

    • 研究代表者
      井上 克巳
    • 研究期間 (年度)
      2005 – 2007
    • 研究種目
      基盤研究(B)
    • 研究分野
      知能情報学
    • 研究機関
      国立情報学研究所
  •  宣言的プログラミングにおけるソフトウェア発展の研究研究代表者

    • 研究代表者
      佐藤 健
    • 研究期間 (年度)
      2004 – 2005
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      国立情報学研究所
  •  ウェブサービス連携における高信頼かつ高度相互運用性を持つエージェント技術の開発研究代表者

    • 研究代表者
      佐藤 健
    • 研究期間 (年度)
      2004 – 2006
    • 研究種目
      基盤研究(A)
    • 研究分野
      知能情報学
    • 研究機関
      国立情報学研究所
  •  宣言的プログラミングにおけるソフトウェア発展の研究研究代表者

    • 研究代表者
      佐藤 健
    • 研究期間 (年度)
      2003
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      国立情報学研究所
  •  宣言的プログラミングにおけるソフトウェア発展の研究研究代表者

    • 研究代表者
      佐藤 健
    • 研究期間 (年度)
      2002
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      国立情報学研究所
  •  宣言的プログラミングにおけるソフトウェア発展の研究研究代表者

    • 研究代表者
      佐藤 健
    • 研究期間 (年度)
      2001
    • 研究種目
      特定領域研究(C)
    • 審査区分
      理工系
    • 研究機関
      国立情報学研究所
  •  先行投機的処理機能を持つマルチエージェントシステムの構築研究代表者

    • 研究代表者
      佐藤 健
    • 研究期間 (年度)
      2001 – 2003
    • 研究種目
      基盤研究(A)
    • 研究分野
      知能情報学
    • 研究機関
      国立情報学研究所
  •  環境変化に追従する可塑性型知識獲得システムの開発

    • 研究代表者
      元田 浩
    • 研究期間 (年度)
      2001 – 2003
    • 研究種目
      基盤研究(B)
    • 研究分野
      知能情報学
    • 研究機関
      大阪大学
  •  事例ベース推論におけるクリティカルな事例の発見研究代表者

    • 研究代表者
      佐藤 健
    • 研究期間 (年度)
      1999
    • 研究種目
      特定領域研究(A)
    • 研究機関
      北海道大学
  •  可能世界の順序に基づいた定性的意思決定モデルの構築研究代表者

    • 研究代表者
      佐藤 健
    • 研究期間 (年度)
      1999 – 2000
    • 研究種目
      萌芽的研究
    • 研究分野
      社会システム工学
    • 研究機関
      北海道大学
  •  不完全通信環境下における論理型マルチエージェントシステムの構築研究代表者

    • 研究代表者
      佐藤 健
    • 研究期間 (年度)
      1999 – 2000
    • 研究種目
      基盤研究(B)
    • 研究分野
      知能情報学
    • 研究機関
      北海道大学
  •  仮説論理プログラミングを用いたソフトウェア発展モデルの研究研究代表者

    • 研究代表者
      佐藤 健
    • 研究期間 (年度)
      1998
    • 研究種目
      特定領域研究(A)
    • 研究機関
      北海道大学
  •  極小変更の定式化に基づいた論理プログラミングにおけるソフトウェア発展モデルの研究研究代表者

    • 研究代表者
      佐藤 健
    • 研究期間 (年度)
      1997
    • 研究種目
      重点領域研究
    • 研究機関
      北海道大学
  •  判例ベース推論の仮説推論による実現研究代表者

    • 研究代表者
      佐藤 健
    • 研究期間 (年度)
      1996
    • 研究種目
      重点領域研究
    • 研究機関
      北海道大学
  •  法律エキスパートシステムのソフトウェアの構築

    • 研究代表者
      廣田 薫, 原口 誠
    • 研究期間 (年度)
      1993 – 1997
    • 研究種目
      重点領域研究
    • 研究機関
      東京工業大学
      北海道大学

すべて 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2009 2008 2007 2006 2005 2004 その他

すべて 雑誌論文 学会発表 図書 産業財産権

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

    • 著者名/発表者名
      佐藤岩夫,阿部昌樹,太田勝造(編著)
    • 総ページ数
      754
    • 出版者
      東京大学出版会
    • ISBN
      9784130361583
    • データソース
      KAKENHI-PROJECT-22H00543
  • [図書] 現代日本の紛争過程と司法政策2023

    • 著者名/発表者名
      佐藤岩夫,阿部昌樹,太田勝造編著(太田勝造,森大輔分担執筆)
    • 総ページ数
      731
    • 出版者
      東京大学出版会
    • ISBN
      9784130361583
    • データソース
      KAKENHI-PROJECT-18H03612
  • [図書] 人工知能と法律2022

    • 著者名/発表者名
      佐藤健,新田克己,西貝吉晃,狩野芳伸,本村陽一,高岡昂太,高橋和子,太田勝造
    • 総ページ数
      194
    • 出版者
      近代科学社
    • ISBN
      9784764906419
    • データソース
      KAKENHI-PROJECT-18H03612
  • [図書] 人工知能と法律2022

    • 著者名/発表者名
      佐藤健, 新田克己(編著)
    • 総ページ数
      208
    • 出版者
      近代科学社
    • ISBN
      9784764906419
    • データソース
      KAKENHI-PROJECT-22H00543
  • [図書] スタンダード法社会学(森大輔,「法社会学における『方法』」)2022

    • 著者名/発表者名
      佐藤岩夫,阿部昌樹編著(森大輔分担執筆)
    • 総ページ数
      320
    • 出版者
      北王子書房
    • ISBN
      9784762831843
    • データソース
      KAKENHI-PROJECT-18H03612
  • [図書] AI時代の法学入門:学際的アプローチ2020

    • 著者名/発表者名
      太田勝造(編著),笠原毅彦・佐藤健・西貝吉晃・新田克己・福澤一吉
    • 総ページ数
      292
    • 出版者
      弘文堂
    • データソース
      KAKENHI-PROJECT-17H06103
  • [図書] AI時代の法学入門2020

    • 著者名/発表者名
      太田 勝造、笠原 毅彦、佐藤 健、西貝 吉晃、新田 克己、福澤 一吉
    • 総ページ数
      292
    • 出版者
      弘文堂
    • ISBN
      9784335358333
    • データソース
      KAKENHI-PROJECT-20K20406
  • [図書] AI時代の法学入門2020

    • 著者名/発表者名
      太田勝造,佐藤健,福澤一吉,笠原毅彦,新田克己,西貝吉晃
    • 総ページ数
      280
    • 出版者
      弘文堂
    • データソース
      KAKENHI-PROJECT-18H03612
  • [雑誌論文] How Fine Tuning Affects Contextual Embeddings: A Negative Result Explanation2023

    • 著者名/発表者名
      Nguyen Ha-Thanh、Tran Vu、Nguyen Minh-Phuong、Nguyen Le-Minh、Satoh Ken
    • 雑誌名

      Proceedings of the 15th International Conference on Agents and Artificial Intelligence

      巻: - ページ: 586-591

    • DOI

      10.5220/0011714200003393

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22H00543
  • [雑誌論文] Taking stock of available technologies for compliance checking on first-order knowledge2022

    • 著者名/発表者名
      Robaldo, L, Batsakis, S, Calegari, R, Calimeri, F, Fujita, M, Governatori, G, Morelli, M. C, Pisano, G, Satoh, K, Tachmazidis, I
    • 雑誌名

      Proceedings of the 37th Italian Conference on Computational Logic

      巻: N/A ページ: 1-16

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20K20406
  • [雑誌論文] Law to Binary Tree -- An Formal Interpretation of Legal Natural Language2022

    • 著者名/発表者名
      Ha-Thanh Nguyen, Vu Tran, Ngoc-Cam Le, Thi-Thuy Le, Quang-Huy Nguyen, Le-Minh Nguyen, Ken Satoh
    • 雑誌名

      Proceedings of the International Workshop on Methodologies for Translating Legal Norms into Formal Representations (LN2FR 2022)

      巻: -

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22H00543
  • [雑誌論文] A Survey of Pretrained Embeddings for Japanese Legal Representation2022

    • 著者名/発表者名
      Nguyen Ha-Thanh、Nguyen Le-Minh、Satoh Ken
    • 雑誌名

      Advances and Trends in Artificial Intelligence. Theory and Practices in Artificial Intelligence

      巻: N/A ページ: 363-369

    • DOI

      10.1007/978-3-031-08530-7_30

    • ISBN
      9783031085291, 9783031085307
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-22H00543
  • [雑誌論文] SM-BERT-CR: a deep learning approach for case law retrieval with supporting model2022

    • 著者名/発表者名
      Vuong Yen Thi-Hai、Bui Quan Minh、Nguyen Ha-Thanh、Nguyen Thi-Thu-Trang、Tran Vu、Phan Xuan-Hieu、Satoh Ken、Nguyen Le-Minh
    • 雑誌名

      Artificial Intelligence and Law

      巻: 30 号: 3 ページ: 1-28

    • DOI

      10.1007/s10506-022-09319-6

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-20K20625, KAKENHI-PROJECT-22H00543
  • [雑誌論文] Abstract meaning representation for legal documents: an empirical research on a human-annotated dataset2022

    • 著者名/発表者名
      Vu Sinh Trong、Le Nguyen Minh、Satoh Ken
    • 雑誌名

      Artificial Intelligence and Law

      巻: 30 号: 2 ページ: 221-243

    • DOI

      10.1007/s10506-021-09292-6

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20K20406
  • [雑誌論文] Toward a practical legal rule revision in legal debugging2022

    • 著者名/発表者名
      Wachara FUNGWACHARAKORN, Ken SATOH
    • 雑誌名

      Computer Law & Security Review

      巻: 46 ページ: 105696-105696

    • DOI

      10.1016/j.clsr.2022.105696

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03612, KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-22H00543
  • [雑誌論文] Effects of Relations between Normal Logic Programs and Defeasible Logic Programs on Contrary Prioritized Policy2022

    • 著者名/発表者名
      Fungwacharakorn, W, Tsushima, K, Satoh, K
    • 雑誌名

      Proceedings of JURISIN-2022

      巻: N/A ページ: 207-219

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20K20406
  • [雑誌論文] Overview and Discussion of the Competition on Legal Information Extraction/Entailment (COLIEE) 20212022

    • 著者名/発表者名
      Rabelo Juliano、Goebel Randy、Kim Mi-Young、Kano Yoshinobu、Yoshioka Masaharu、Satoh Ken
    • 雑誌名

      The Review of Socionetwork Strategies

      巻: 16 号: 1 ページ: 111-133

    • DOI

      10.1007/s12626-022-00105-z

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03338, KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-23K22076
  • [雑誌論文] Transformer-Based Approaches for Legal Text Processing2022

    • 著者名/発表者名
      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
    • 雑誌名

      The Review of Socionetwork Strategies

      巻: 0 号: 1 ページ: 1-21

    • DOI

      10.1007/s12626-022-00102-2

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04295, KAKENHI-PROJECT-20K20406
  • [雑誌論文] Learning to?Map the?GDPR to?Logic Representation on?DAPRECO-KB2022

    • 著者名/発表者名
      Nguyen Minh-Phuong、Nguyen Thi-Thu-Trang、Tran Vu、Nguyen Ha-Thanh、Nguyen Le-Minh、Satoh Ken
    • 雑誌名

      Intelligent Information and Database Systems, ACIIDS 2022

      巻: N/A ページ: 442-454

    • DOI

      10.1007/978-3-031-21743-2_35

    • ISBN
      9783031217425, 9783031217432
    • 査読あり
    • データソース
      KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-22H00543
  • [雑誌論文] An Interactive Natural Language Interface for PROLEG2022

    • 著者名/発表者名
      Nguyen Ha-Thanh、Nishino Fumihito、Fujita Megumi、Satoh Ken
    • 雑誌名

      Frontiers in Artificial Intelligence and Applications

      巻: N/A ページ: 294-297

    • DOI

      10.3233/faia220484

    • ISBN
      9781643683645, 9781643683652
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-22H00543
  • [雑誌論文] A Use Case on GDPR of Modular-PROLEG for Private International Law2022

    • 著者名/発表者名
      Sawasaki, T, Satoh, K, Troussel, A. C
    • 雑誌名

      Proceedings of the 3th International Workshop on Artificial Intelligence Technologies for Legal Documents (AI4LEGAL 2022)

      巻: N/A ページ: 1-11

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20K20406
  • [雑誌論文] A Use Case on GDPR of Modular-PROLEG for Private International Law2022

    • 著者名/発表者名
      Sawasaki, T, Satoh, K, Troussel, A. C
    • 雑誌名

      Proceedings of the 3th International Workshop on Artificial Intelligence Technologies for Legal Documents

      巻: - ページ: 1-11

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-22H00543
  • [雑誌論文] Towards Legally and Ethically Correct Online HTN Planning for Data Transfer2022

    • 著者名/発表者名
      Hayashi, H, Satoh, K
    • 雑誌名

      Proceedings of the 20th International Workshop on Non-Monotonic Reasoning

      巻: N/A ページ: 4-15

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20K20406
  • [雑誌論文] Diagnosing and Treating Effect of Legal Rule-Based Revision2022

    • 著者名/発表者名
      Fungwacharakorn Wachara、Tsushima Kanae、Satoh Ken
    • 雑誌名

      New Generation Computing

      巻: 40 号: 1 ページ: 25-45

    • DOI

      10.1007/s00354-022-00157-3

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-18H03612
  • [雑誌論文] Consumer Dispute Resolution System Based on PROLEG2022

    • 著者名/発表者名
      Nishioka Shidaka、Mori Yuto、Satoh Ken
    • 雑誌名

      Frontiers in Artificial Intelligence and Applications

      巻: 362 ページ: 298-301

    • DOI

      10.3233/faia220485

    • ISBN
      9781643683645, 9781643683652
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-22H00543
  • [雑誌論文] Fundamental Revisions on Constraint Hierarchies for Ethical Norms2022

    • 著者名/発表者名
      Wachara FUNGWACHARAKORN, Ken SATOH, TSUSHIMA, Kanae
    • 雑誌名

      Frontiers in Artificial Intelligence and Applications

      巻: 362 ページ: 182-187

    • DOI

      10.3233/faia220464

    • ISBN
      9781643683645, 9781643683652
    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03612, KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-22H00543
  • [雑誌論文] Multi-agent Argumentation and Dialogue2022

    • 著者名/発表者名
      Ryuta Arisaka, Jeremie Dauphin, Ken Satoh, Leendert van der Torre
    • 雑誌名

      Journal of Applied Logics - IfCoLog Journal

      巻: 9 ページ: 921-954

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22H00543
  • [雑誌論文] A Multi-Step Approach in Translating Natural Language into Logical Formula2022

    • 著者名/発表者名
      MGIYEN, Ha-Thanh, Wachara FUNGWACHARAKORN, NISHINO, Fumihito, SATOH, Ken
    • 雑誌名

      Frontiers in Artificial Intelligence and Applications

      巻: 362 ページ: 103-112

    • DOI

      10.3233/faia220453

    • ISBN
      9781643683645, 9781643683652
    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03612, KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-22H00543
  • [雑誌論文] A Query Evaluation Method for ASP with Abduction2022

    • 著者名/発表者名
      Satoh, K.
    • 雑誌名

      Proceedings of the ICLP 2022 Workshop on Goal-directed Execution of Answer Set Programs

      巻: N/A

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20K20406
  • [雑誌論文] CovRelex: A COVID-19 Retrieval System with Relation Extraction2021

    • 著者名/発表者名
      Tran Vu、Tran Van-Hien、Nguyen Phuong、Nguyen Chau、Satoh Ken、Matsumoto Yuji、Nguyen Minh
    • 雑誌名

      Proceedings of the 16th Conference of the European Chapter of the Association for Computational Linguistics: System Demonstrations

      巻: 2021 ページ: 24-31

    • DOI

      10.18653/v1/2021.eacl-demos.4

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20K20406
  • [雑誌論文] On semantics-based minimal revision for legal reasoning2021

    • 著者名/発表者名
      Fungwacharakorn Wachara、Tsushima Kanae、Satoh Ken
    • 雑誌名

      ICAIL '21: Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law

      巻: 2021 ページ: 50-59

    • DOI

      10.1145/3462757.3466075

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-17H06103, KAKENHI-PROJECT-18H03612
  • [雑誌論文] Resolving counterintuitive consequences in law using legal debugging2021

    • 著者名/発表者名
      Fungwacharakorn Wachara、Tsushima Kanae、Satoh Ken
    • 雑誌名

      Artificial Intelligence and Law

      巻: 29 号: 4 ページ: 541-557

    • DOI

      10.1007/s10506-021-09283-7

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-17H06103, KAKENHI-PROJECT-18H03612
  • [雑誌論文] On the Legal Revision in PROLEG Program2021

    • 著者名/発表者名
      Fungwacharakorn Wachara、Tsushima Kanae、Satoh Ken
    • 雑誌名

      Advances in Intelligent Systems and Computing

      巻: 1357 ページ: 25-36

    • DOI

      10.1007/978-3-030-73113-7_3

    • NAID

      130007857084

    • ISBN
      9783030731120, 9783030731137
    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-18H03612
  • [雑誌論文] Interactive system for arranging issues based on PROLEG in civil litigation2021

    • 著者名/発表者名
      Satoh Ken、Takahashi Kazuko、Kawasaki Tatsuki
    • 雑誌名

      ICAIL '21: Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law

      巻: 2021 ページ: 273-274

    • DOI

      10.1145/3462757.3466096

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-17H06103
  • [雑誌論文] 裁判過程における人工知能による高次推論支援プロジェクトについて2021

    • 著者名/発表者名
      佐藤 健
    • 雑誌名

      法社会学

      巻: 87 ページ: 94-108

    • データソース
      KAKENHI-PROJECT-17H06103
  • [雑誌論文] Encoded summarization: summarizing documents into continuous vector space for legal case retrieval2020

    • 著者名/発表者名
      Tran Vu、Le Nguyen Minh、Tojo Satoshi、Satoh Ken
    • 雑誌名

      Artificial Intelligence and Law

      巻: 28 号: 4 ページ: 441-467

    • DOI

      10.1007/s10506-020-09262-4

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20K20406
  • [雑誌論文] An Agent-Based Model for Exploring Pension Law and Social Security Policies2020

    • 著者名/発表者名
      Serrano Emilio、Satoh Ken
    • 雑誌名

      New Frontiers in Artificial Intelligence. JSAI-isAI 2019

      巻: LNAI12331 ページ: 50-63

    • DOI

      10.1007/978-3-030-58790-1_4

    • ISBN
      9783030587895, 9783030587901
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17H06103
  • [雑誌論文] A Simple yet Efficient MCSes Enumeration with SAT Oracles2020

    • 著者名/発表者名
      Koshimura Miyuki、Satoh Ken
    • 雑誌名

      Intelligent Information and Database Systems. ACIIDS 2020. Lecture Notes in Computer Science

      巻: 12033 ページ: 191-201

    • DOI

      10.1007/978-3-030-41964-6_17

    • ISBN
      9783030419639, 9783030419646
    • 査読あり
    • データソース
      KAKENHI-PROJECT-20K20406
  • [雑誌論文] AI Applications to the Law Domain in Japan2020

    • 著者名/発表者名
      NITTA Katsumi、SATOH Ken
    • 雑誌名

      Asian Journal of Law and Society

      巻: 7 号: 3 ページ: 471-494

    • DOI

      10.1017/als.2020.35

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17H06103
  • [雑誌論文] Dischargeable Obligations in the ?CIFF Framework2020

    • 著者名/発表者名
      Alberti Marco、Gavanelli Marco、Lamma Evelina、Riguzzi Fabrizio、Satoh Ken、Zese Riccardo
    • 雑誌名

      Fundamenta Informaticae

      巻: 176 号: 3-4 ページ: 321-348

    • DOI

      10.3233/fi-2020-1976

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H06103
  • [雑誌論文] JNLP Team: Deep Learning for Legal Processing in COLIEE 20202020

    • 著者名/発表者名
      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
    • 雑誌名

      Proc. of JURISIN 2020

      巻: 14 ページ: 195-208

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20K20406
  • [雑誌論文] BERT-PLI: Modeling Paragraph-Level Interactions for Legal Case Retrieval2020

    • 著者名/発表者名
      Shao Yunqiu、Mao Jiaxin、Liu Yiqun、Ma Weizhi、Satoh Ken、Zhang Min、Ma Shaoping
    • 雑誌名

      Proc. of IJCAI-PRICAI 2020

      巻: 29 ページ: 3501-3507

    • DOI

      10.24963/ijcai.2020/484

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-17H06103
  • [雑誌論文] A Summary of the COLIEE 2019 Competition2020

    • 著者名/発表者名
      Rabelo Juliano、Kim Mi-Young、Goebel Randy、Yoshioka Masaharu、Kano Yoshinobu、Satoh Ken
    • 雑誌名

      New Frontiers in Artificial Intelligence. JSAI-isAI 2019. Lecture Notes in Computer Science

      巻: 12331 ページ: 34-49

    • DOI

      10.1007/978-3-030-58790-1_3

    • ISBN
      9783030587895, 9783030587901
    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-17H06103, KAKENHI-PROJECT-18H03338
  • [雑誌論文] Generalizing Culprit Resolution in Legal Debugging with Background Knowledge2020

    • 著者名/発表者名
      Fungwacharakorn Wachara、Satoh Ken
    • 雑誌名

      Frontiers in Artificial Intelligence and Applications, Legal Knowledge and Information Systems

      巻: 334 ページ: 52-62

    • DOI

      10.3233/faia200849

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-17H06103
  • [雑誌論文] Building Legal Case Retrieval Systems with Lexical Matching and Summarization using A Pre-Trained Phrase Scoring Model2019

    • 著者名/発表者名
      佐藤健,Vu D. Tran, Minh Le Nguyen
    • 雑誌名

      Proceedings of International Conference on Artificial Intelligence and Law

      巻: 2019 ページ: 275-282

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03612
  • [雑誌論文] Modelling last-act attempted crime in criminal law2019

    • 著者名/発表者名
      Pooksook Jiraporn、Dung Phan Minh、Satoh Ken、Sartor Giovanni
    • 雑誌名

      Journal of Applied Non-Classical Logics

      巻: 29 号: 4 ページ: 327-357

    • DOI

      10.1080/11663081.2019.1647652

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H06103
  • [雑誌論文] Building Legal Case Retrieval Systems with Lexical Matching and Summarization using A Pre-Trained Phrase Scoring Model2019

    • 著者名/発表者名
      Tran Vu、Nguyen Minh Le、Satoh Ken
    • 雑誌名

      ICAIL '19: Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law

      巻: 2019 ページ: 275-282

    • DOI

      10.1145/3322640.3326740

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20K20406
  • [雑誌論文] 人工知能の法学への応用2019

    • 著者名/発表者名
      新田克己、佐藤健
    • 雑誌名

      人工知能学会誌

      巻: 34(6) ページ: 870-875

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20K20406
  • [雑誌論文] ODRL Policy Modelling and Compliance Checking2019

    • 著者名/発表者名
      De Vos Marina、Kirrane Sabrina、Padget Julian、Satoh Ken
    • 雑誌名

      Proceedings of RuleML+RR 2019

      巻: 2019 ページ: 36-51

    • DOI

      10.1007/978-3-030-31095-0_3

    • ISBN
      9783030310943, 9783030310950
    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20K20406
  • [雑誌論文] 人工知能の法律分野への応用について2019

    • 著者名/発表者名
      佐藤健, 新田克己, Kevin D. Ashley
    • 雑誌名

      法と社会研究

      巻: 4(4) ページ: 177-196

    • NAID

      40021965510

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20K20406
  • [雑誌論文] An Approach of Rhetorical Status Recognition for Judgments in Court Documents using Deep Learning Models2019

    • 著者名/発表者名
      佐藤健,Vu D. Tran, Minh Le Nguyen, Kiyoaki Shirai
    • 雑誌名

      Proceedings of International Conference on Knowledge and Systems Engineering

      巻: 2019 ページ: 1-6

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03612
  • [雑誌論文] Legal Text Generation from Abstract Meaning Representation2019

    • 著者名/発表者名
      Sinh, V.T, Nguyen, L.M, Satoh, K
    • 雑誌名

      Proceedings of JURIX-2019

      巻: 2019 ページ: 229-234

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20K20406
  • [雑誌論文] Legal Debugging in Propositional Legal Representation2019

    • 著者名/発表者名
      Fungwacharakorn Wachara、Satoh Ken
    • 雑誌名

      New Frontiers in Artificial Intelligence - JSAI-isAI 2018 Workshops 2018, Revised Selected Papers

      巻: LNCS 11717 ページ: 146-159

    • DOI

      10.1007/978-3-030-31605-1_12

    • ISBN
      9783030316044, 9783030316051
    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H06103, KAKENHI-PROJECT-20K20406
  • [雑誌論文] Explainable ASP2019

    • 著者名/発表者名
      Dauphin Jeremie、Satoh Ken
    • 雑誌名

      PRIMA 2019: Principles and Practice of Multi-Agent Systems: 22nd International Conference

      巻: 2019 ページ: 610-617

    • DOI

      10.1007/978-3-030-33792-6_47

    • ISBN
      9783030337919, 9783030337926
    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20K20406
  • [雑誌論文] Culprit Resolution for Legal Debugging in First-Order PROLEG2019

    • 著者名/発表者名
      Fungwacharakorn, W., Satoh, K.
    • 雑誌名

      Proceedings of JURISIN-2019

      巻: 2019 ページ: 117-130

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20K20406
  • [雑誌論文] An Approach of Rhetorical Status Recognition for Judgments in Court Documents using Deep Learning Models2019

    • 著者名/発表者名
      Tran Vu D.、Nguyen Minh L.、Shirai Kiyoaki、Satoh Ken
    • 雑誌名

      11th International Conference on Knowledge and Systems Engineering (KSE)

      巻: 2019 ページ: 1-6

    • DOI

      10.1109/kse.2019.8919370

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20K20406
  • [雑誌論文] 刑事訴訟版のPROLEGの開発2019

    • 著者名/発表者名
      佐藤 健、西貝 吉晃
    • 雑誌名

      人工知能学会全国大会論文集

      巻: JSAI2019 号: 0 ページ: 4E3OS7b05-4E3OS7b05

    • DOI

      10.11517/pjsai.JSAI2019.0_4E3OS7b05

    • NAID

      130007658813

    • 言語
      日本語
    • データソース
      KAKENHI-PROJECT-17H06103
  • [雑誌論文] COLIEE-2018: Evaluation of the Competition on Legal Information Extraction and Entailment2019

    • 著者名/発表者名
      Kano Yoshinobu、Kim Mi-Young、Yoshioka Masaharu、Lu Yao、Rabelo Juliano、Kiyota Naoki、Goebel Randy、Satoh Ken
    • 雑誌名

      ew Frontiers in Artificial Intelligence. JSAI-isAI 2018. Lecture Notes in Computer Science

      巻: 11717 ページ: 177-192

    • DOI

      10.1007/978-3-030-31605-1_14

    • ISBN
      9783030316044, 9783030316051
    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03338, KAKENHI-PROJECT-17H06103, KAKENHI-PROJECT-16H01756
  • [雑誌論文] ContractFrames: Bridging the Gap Between Natural Language and Logics in Contract Law2019

    • 著者名/発表者名
      Navas-Loro Mar?a、Satoh Ken、Rodr?guez-Doncel V?ctor
    • 雑誌名

      New Frontiers in Artificial Intelligence - JSAI-isAI 2018 Workshops 2018, Revised Selected Papers

      巻: LNCS 11717 ページ: 101-114

    • DOI

      10.1007/978-3-030-31605-1_9

    • ISBN
      9783030316044, 9783030316051
    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H06103, KAKENHI-PROJECT-20K20406
  • [雑誌論文] ContractFrames: Bridging the gap between Natural Language and Logics in Contract Law2018

    • 著者名/発表者名
      avas-Loro, M., Satoh, K., and Rodriguez-Doncel, V.
    • 雑誌名

      Proceedings of the 12th International Workshop on Juris-Informatics

      巻: 2018 ページ: 71-84

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18H03612
  • [雑誌論文] Anything You Say May Be Used against You in a Court of Law - Legal Abstract Agent Argumentation (Legal Triple-A)2018

    • 著者名/発表者名
      Van der Torre, L., Arisaka, R., Satoh, K.
    • 雑誌名

      LNCS

      巻: 10791 ページ: 427-442

    • DOI

      10.1007/978-3-030-00178-0_29

    • ISBN
      9783030001773, 9783030001780
    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H06103
  • [雑誌論文] Abstract Argumentation / Persuasion / Dynamics2018

    • 著者名/発表者名
      Arisaka, R., Satoh, K.
    • 雑誌名

      LNAI

      巻: 11224 ページ: 331-343

    • DOI

      10.1007/978-3-030-03098-8_20

    • ISBN
      9783030030971, 9783030030988
    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H06103
  • [雑誌論文] Obligation as Optimal Goal Satisfaction2018

    • 著者名/発表者名
      Kowalski, R., and Satoh, K.
    • 雑誌名

      Journal of Philosophical Logic

      巻: 47 号: 4 ページ: 579-609

    • DOI

      10.1007/s10992-017-9440-3

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H06103
  • [雑誌論文] On the Legal Debugging in PROLEG program", Proceedings of the 12th International Workshop on Juris-Informatics2018

    • 著者名/発表者名
      Fungwacharakorn, W., and Satoh, K.
    • 雑誌名

      JURISIN

      巻: 2018 ページ: 4-15

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03612
  • [雑誌論文] Using Agreement Statements to Identify Majority Opinion in UKHL Case Law2018

    • 著者名/発表者名
      Valvoda, J., Ray, O., Satoh, K.
    • 雑誌名

      Frontiers in Artificial Intelligence and Applications

      巻: 313 ページ: 141-150

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H06103
  • [雑誌論文] AIに裁判の結果の理由を説明させる2018

    • 著者名/発表者名
      佐藤 健
    • 雑誌名

      Newton 別冊

      巻: 別冊 ページ: 122-129

    • データソース
      KAKENHI-PROJECT-17H06103
  • [雑誌論文] Dialogue Games for Enforcement of Argument Acceptance and Rejection via Attack Removal2018

    • 著者名/発表者名
      Dauphin, J., Satoh, K.
    • 雑誌名

      LNAI

      巻: 11224 ページ: 449-457

    • DOI

      10.1007/978-3-030-03098-8_29

    • ISBN
      9783030030971, 9783030030988
    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H06103
  • [雑誌論文] Overview of COLIEE 20172017

    • 著者名/発表者名
      Kano, Y., Kim, Mi-Young, Goebel, R., Satoh, K.,
    • 雑誌名

      EPiC Series in Computing, COLIEE 2017. 4th Competition on Legal Information Extraction and Entailment

      巻: 47 ページ: 1-8

    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H06103
  • [雑誌論文] Coalition Formability Semantics with Conflict-Eliminable Sets of Arguments2017

    • 著者名/発表者名
      Arisaka, R., Satoh, K.
    • 雑誌名

      Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems

      巻: 16 ページ: 1469-1471

    • データソース
      KAKENHI-PROJECT-17H06103
  • [雑誌論文] Voluntary Manslaughter? A Case Study with Meta-Argumentation with Supports2017

    • 著者名/発表者名
      Arisaka, R., Satoh, K.
    • 雑誌名

      New Frontiers in Artificial Intelligence: JSAI-isAI 2016 Workshops, Revised Selected Papers

      巻: LNAI 10247 ページ: 216-242

    • DOI

      10.1007/978-3-319-61572-1_16

    • ISBN
      9783319615714, 9783319615721
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17H06103
  • [雑誌論文] Modeling Attempted Crime in Criminal Law2016

    • 著者名/発表者名
      Pooksook, J., Dung, P. M., Satoh, K.
    • 雑誌名

      10th International Workshop on Juris-Informatics (JURISIN 2016)

      巻: 10 ページ: 59-72

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26280091
  • [雑誌論文] Abstract Argumentation for Case-Based Reasoning2016

    • 著者名/発表者名
      Cyras, K., Satoh, K., Toni, F.
    • 雑誌名

      Proc. of KR 2016

      巻: 15 ページ: 549-552

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26280091
  • [雑誌論文] Voluntary Manslaughter? Intention-to-Kill in Meta-Argumentation with Supports2016

    • 著者名/発表者名
      Arisaka, R., Satoh, K.
    • 雑誌名

      Proceedings of the 10th International Workshop on Juris-Informatics (JURISIN 2016)

      巻: 10 ページ: 45-58

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26280091
  • [雑誌論文] Balancing Rationality and Utility in Logic-Based Argumentation with Classical Logic Sentences and Belief Contraction2016

    • 著者名/発表者名
      Arisaka, R., Satoh, K.
    • 雑誌名

      (PRIMA 2016), LNCS 9862

      巻: 9862 ページ: 168-180

    • DOI

      10.1007/978-3-319-44832-9_10

    • ISBN
      9783319448312, 9783319448329
    • 査読あり
    • データソース
      KAKENHI-PROJECT-26280091
  • [雑誌論文] Explanation for Case-Based Reasoning via Abstract Argumentation2016

    • 著者名/発表者名
      Cyras, K., Satoh, K., Toni, F.
    • 雑誌名

      Proceedings of COMMA 2016, Frontiers in Artificial Intelligence and Applications 287

      巻: 287 ページ: 243-254

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26280091
  • [雑誌論文] Describing Legal Policies as Story Tropes in Normative Systems2016

    • 著者名/発表者名
      Thompson, M., Julian Padget, J., Satoh, K.
    • 雑誌名

      Proceedings of the 29th Annual Conference on Legal Knowledge and Information Systems (JURIX 2016)

      巻: 29 ページ: 207-210

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26280091
  • [雑誌論文] Argumentation-based Normative Practical Reasoning2015

    • 著者名/発表者名
      Shams, Z., de Vos, M., Oren, N., Padget, J., and Satoh, K.,
    • 雑誌名

      Lecture Note on Artificial Intelligence

      巻: 9524 ページ: 16-32

    • DOI

      10.1007/978-3-319-28460-6_14

    • ISBN
      9783319284590, 9783319284606
    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26280091
  • [雑誌論文] Inductive Learning Using Constraint-Driven Bias2015

    • 著者名/発表者名
      Athakravi, D., Alrajeh, D., Law, M., Broda, K., Russo, A., and Satoh, K.
    • 雑誌名

      Lecture Note on Artificial Intelligence

      巻: 9046 ページ: 226-242

    • DOI

      10.1007/978-3-319-23708-4_2

    • ISBN
      9783319237077, 9783319237084
    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26280091
  • [雑誌論文] Generating Legal Reasoning Structure by Answer Set Programming2014

    • 著者名/発表者名
      Athakravi, D., Satoh, K., Broda, K., and Russo, A.
    • 雑誌名

      Proc. of 8th International Workshop on Juris-informatics

      巻: 8 ページ: 24-37

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26280091
  • [雑誌論文] ArgPROLEG: A Normative Framework for The JUF Theory2014

    • 著者名/発表者名
      Shams. Z., De Vos, M., Satoh, K.
    • 雑誌名

      Lecture Notes in Computer Science

      巻: 8417 ページ: 183-198

    • DOI

      10.1007/978-3-319-10061-6_13

    • NAID

      40020005058

    • ISBN
      9783319100609, 9783319100616
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-26280091
  • [雑誌論文] Legal Conflict Detection in Interacting Legal Systems2014

    • 著者名/発表者名
      Tantisripreecha, T., Satoh, K., and Nuanwan, S.
    • 雑誌名

      Proc. of The 10th International Conference on Intelligent Computing

      巻: 10 ページ: 500-512

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26280091
  • [雑誌論文] Answering Yes/No Questions in Legal Bar Exams2014

    • 著者名/発表者名
      Kim, M.-Y., Xu, Y., Goebel, R., Satoh, K.
    • 雑誌名

      Lecture Notes in Computer Science

      巻: 8417 ページ: 199-213

    • DOI

      10.1007/978-3-319-10061-6_14

    • ISBN
      9783319100609, 9783319100616
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-26280091
  • [雑誌論文] On Requirements Representation and Reasoning Using Answer Set Programming2014

    • 著者名/発表者名
      Padget, J., Elakehal, E. E., Satoh, K., Ishikawa, F.
    • 雑誌名

      Proc. of The 1st International Workshop on Artificial Intelligence for Requirements Engineering

      巻: 1 ページ: 35-42

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26280091
  • [雑誌論文] A Logic-based System for Recognizing Textual Entailment Applied to the Bar Exam Competition2014

    • 著者名/発表者名
      Miyao Y., and Satoh, K
    • 雑誌名

      Proc. of 8th International Workshop on Juris-informatics

      巻: 8 ページ: 130-138

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26280091
  • [雑誌論文] Decision Making in Knowledge Integration with Dynamic Creation of Argumentation2013

    • 著者名/発表者名
      Satoh, K., Takahashi, K., Y. Tanaka, N. Spyratos, T. Yoshida, C. Meghini (Eds.)
    • 雑誌名

      Information Search, Integration and Personalization, ISIP 2012 : Revised Selected Papers, Communications in Computer and Information Science

      巻: 146 ページ: 41-50

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300062
  • [雑誌論文] Normative Approach to Exploring Multi-Agency Privacy and Transparency2013

    • 著者名/発表者名
      Padget, J.A., Satoh, K., and Ishikawa, F
    • 雑誌名

      Proceedings of the 7th International Workshop on Juris-informatics (JURISIN 2013)

      ページ: 9-22

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300062
  • [雑誌論文] ArgPROLEG : A Normative Framework for The JUF Theory2013

    • 著者名/発表者名
      Shams, Z., De Vos, M., and Satoh K
    • 雑誌名

      Proceedings of the 7th International Workshop on Juris-informatics (JURISIN 2013)

      ページ: 121-134

    • NAID

      40020005058

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300062
  • [雑誌論文] Legal Conflict Detection in Interacting Legal Systems2013

    • 著者名/発表者名
      Li, T., Balke, T., De Vos, M., Padget, J.A., and Satoh K
    • 雑誌名

      Proceedings of the 26th Annual Conference on Legal Knowledge and Information Systems (JURIX 2013)

      ページ: 107-116

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300062
  • [雑誌論文] Detecting Conflicts in Legal Systems2013

    • 著者名/発表者名
      Li, T., Balke, T., De Vos, M., Satoh, K., Padget, J. A.
    • 雑誌名

      New Frontiers in Artificial Intelligence: JSAI-isAI 2012 Workshops, Revised Selected Papers, LNAI

      巻: 7856 ページ: 174-189

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300062
  • [雑誌論文] A Model-Based Approach to the Automatic Revision of Secondary Legislation2013

    • 著者名/発表者名
      Li, T., Balke, T., De Vos, M., Padget, J. A., and Satoh K
    • 雑誌名

      Proceedings of the 14th International Conference on Artificial Intelligence & Law (ICAIL 2013)

      ページ: 202-206

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300062
  • [雑誌論文] Handling Change in Normative Specifications2013

    • 著者名/発表者名
      Athakravi, D., Corapi, D., Russo, A., De Vos, M., Padget, J. A., and Satoh, K.
    • 雑誌名

      Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, Revised Selected Papers, LNCS 7784

      巻: 7784 ページ: 1-19

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300062
  • [雑誌論文] Modelling Legitimate Expectations2013

    • 著者名/発表者名
      De Vos, M., Balke, T., and Satoh, K.
    • 雑誌名

      New Frontiers in Artificial Intelligence: JSAI-isAI 2012 Workshops, Revised Selected Papers, LNAI

      巻: 7856 ページ: 141-156

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300062
  • [雑誌論文] Handling Change in Normative Specifications2013

    • 著者名/発表者名
      Athakravi, D., Corapi, D., Russo, A., De Vos, M., Padget, J. A., and Satoh, K
    • 雑誌名

      Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, Revised Selected Papers

      巻: LNCS 7784 ページ: 1-19

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300062
  • [雑誌論文] Modelling Legitimate Expectations2013

    • 著者名/発表者名
      De Vos, M., Balke, T., and Satoh, K
    • 雑誌名

      New Frontiers in Artificial Intelligence : JSAI-isAI 2012 Workshops, Revised Selected Papers

      巻: LNAI 7856 ページ: 141-156

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300062
  • [雑誌論文] Answering Yes/No Questions in Legal Bar Exams2013

    • 著者名/発表者名
      Kim, M-Y., Xu, Y., Goebel, R., and Satoh, K
    • 雑誌名

      Proceedings of the 7th International Workshop on Juris-informatics (JURISIN 2013)

      ページ: 65-78

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300062
  • [雑誌論文] Detecting Conflicts in Legal Systems2013

    • 著者名/発表者名
      Li, T., Balke, T., De Vos, M., Satoh, K., Padget, J. A
    • 雑誌名

      New Frontiers in Artificial Intelligence : JSAI-isAI 2012 Workshops, Revised Selected Papers

      巻: LNAI 7856 ページ: 174-189

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300062
  • [雑誌論文] Decision Making in Knowledge Integration with Dynamic Creation of Argumentation2013

    • 著者名/発表者名
      Satoh, K., Takahashi, K.
    • 雑誌名

      Information Search, Integration and Personalization, ISIP 2012: Revised Selected Paeprs, Communications in COmputer and Information Science

      巻: 146 ページ: 41-50

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300062
  • [雑誌論文] Combining Event- and State-based Norms2013

    • 著者名/発表者名
      De Vos, M., Balke, T., Satoh, K
    • 雑誌名

      Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013)

      ページ: 1157-1158

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300062
  • [雑誌論文] Logic Programming and Burden of Proof in Logic Programming2012

    • 著者名/発表者名
      Satoh, K
    • 雑誌名

      New Generation Computing

      巻: Vol.30,No.4 ページ: 297-326

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300062
  • [雑誌論文] Logic Programming and Burden of Proof in Logic Programming2012

    • 著者名/発表者名
      Ken Satoh
    • 雑誌名

      New Generation Computing

      巻: 30 号: 4 ページ: 297-326

    • DOI

      10.1007/s00354-012-0402-6

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300062
  • [雑誌論文] PROLEG : An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG technology2012

    • 著者名/発表者名
      Ken Satoh, et al
    • 雑誌名

      Springer Verlag

      巻: LNAI 6797 ページ: 153-164

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300062
  • [雑誌論文] Legal Modelling and Reasoning using Institutions2012

    • 著者名/発表者名
      Marina De Vos, Julian Padget, Ken Satoh
    • 雑誌名

      Springer Verlag

      巻: LNAI 6797 ページ: 129-140

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300062
  • [雑誌論文] Legal Modelling and Reasoning using Institutions2012

    • 著者名/発表者名
      De Vos, M., Padget, J. A., Satoh, K
    • 雑誌名

      New Frontiers in Artificial Intelligence : JSAI-isAI 2010 Workshops, Revised Selected Papers

      巻: LNAI 6797 ページ: 129-140

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300062
  • [雑誌論文] Norm Refinement and Design through Inductive Learning2011

    • 著者名/発表者名
      Corapi, D., De Vos, M., Padget, J. A., Russo, A., Satoh, K
    • 雑誌名

      Coordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, Revised Selected Papers

      巻: LNCS 6541 ページ: 77-94

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300062
  • [雑誌論文] Normative Design Using Inductive Learning2011

    • 著者名/発表者名
      Corapi, D., Russo, A., De Vos, M., Padget, J. A., Satoh, K
    • 雑誌名

      Theory and Practice of Logic Programming (TPLP)

      巻: Vol.11,No.4-5 ページ: 783-799

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300062
  • [雑誌論文] PROLEG : 論理プログラミング言語2011

    • 著者名/発表者名
      西貝吉晃, 浅井健人, 久保田理広, 古川昂宗, 佐藤健, 白川佳, 高野千明, 中村恵
    • 雑誌名

      Prolog を利用した要件事実論のプログラミング情報ネットワーク・ローレビュー

      巻: Vol.10 ページ: 54-89

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300062
  • [雑誌論文] PROLEG : An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology2011

    • 著者名/発表者名
      Satoh, K., Asai, K., Kogawa, T., Kubota, M., Nakamura, M., Nishigai, Y., Shirakawa, K., Takano, C
    • 雑誌名

      New Frontiers in Artificial Intelligence : JSAI-isAI 2010 Workshops, Revised Selected Papers

      巻: LNAI 6797 ページ: 1419-1429

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300062
  • [雑誌論文] A Semantics of Argumentation under Incomplete Information2011

    • 著者名/発表者名
      佐藤健、高橋和子
    • 雑誌名

      Proc.of Juris-informatics 2011

      ページ: 86-97

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300062
  • [雑誌論文] On the Implementation of Speculative Constraint Processing2009

    • 著者名/発表者名
      Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe, Ken Satoh
    • 雑誌名

      Proceedings of the 10th International Workshop on Computational Logic in Multi-Agent Systems

      ページ: 105-120

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19300053
  • [雑誌論文] “Kiga-kiku"Services on Speculative Computation2008

    • 著者名/発表者名
      Naoki Fukuta, Ken Satoh, Takahira Yamaguchi, Towards
    • 雑誌名

      Lecture Notes on Artificial Intelligence (Springer) 5345

      ページ: 256-267

    • データソース
      KAKENHI-PROJECT-19300053
  • [雑誌論文] Philippe Codognet, Agent-Based Speculative Constraint Processing2007

    • 著者名/発表者名
      Hiroshi Hosobe, Ken Satoh
    • 雑誌名

      IEICE Transactions on Information and Systems E90-D(9)

      ページ: 1354-1362

    • データソース
      KAKENHI-PROJECT-19300053
  • [雑誌論文] Template-Based SemanticWiki Where End and Expert Users Collaborate2006

    • 著者名/発表者名
      Kensaku Kawamoto
    • 雑誌名

      5th International Semantic Web Conference, Poster paper (CD-ROM)

    • データソース
      KAKENHI-PROJECT-16200010
  • [雑誌論文] Kawa Wiki : A Semantic Wiki Based on RDF Templates2006

    • 著者名/発表者名
      Kensaku Kawamoto
    • 雑誌名

      Intelligent Web Interaction 2006 (CD-ROM)

    • データソース
      KAKENHI-PROJECT-16200010
  • [雑誌論文] Enumerating Minimal Explanations by Minimal Hitting Set Computation2006

    • 著者名/発表者名
      Satoh, K.
    • 雑誌名

      Proc of KSEM'06 LNAI4092

      ページ: 354-365

    • データソース
      KAKENHI-PROJECT-16200010
  • [雑誌論文] Enumerating Minimally Revised Specifications using Dualization2006

    • 著者名/発表者名
      Ken Satoh, Takeaki Uno
    • 雑誌名

      New Frontiers in Artificial Intelligence, LNAI (to appear)

    • NAID

      40022143322

    • データソース
      KAKENHI-PROJECT-16016284
  • [雑誌論文] Speculative Computation and Abduction for an Autonomous Agent2005

    • 著者名/発表者名
      Satoh, K.
    • 雑誌名

      IEICE transactions on Information and Systems E88-D, No. 9

      ページ: 2031-2038

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16200010
  • [雑誌論文] A Hybrid Reasoning System for Terminologies and First-order Clauses in Knowledge Bases2005

    • 著者名/発表者名
      Ken Kaneiwa
    • 雑誌名

      New Generation Computing 24

      ページ: 29-51

    • データソース
      KAKENHI-PROJECT-16016284
  • [雑誌論文] An Application of Global Abduction to an Information Agent Which Modifies a Plan Upon Failure-Preliminary Report2005

    • 著者名/発表者名
      Satoh, K.
    • 雑誌名

      Computational Logic in Multi-Agent Systems : 5th International Workshop, CLIMA V, Revised Selected and Invited Papers LNAI 3487

      ページ: 213-229

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16200010
  • [雑誌論文] Speculative Constraint Processing (Extended Abstract)2005

    • 著者名/発表者名
      Satoh, K.
    • 雑誌名

      Workshop Proceedings of Distributed and Speculative Constraint Processing

      ページ: 3-6

    • データソース
      KAKENHI-PROJECT-16200010
  • [雑誌論文] Speculative Constraint Processing with Iterative Revision for Disjunctive Answers2005

    • 著者名/発表者名
      Ceberio, M., Hosobe, H., Satoh, K.
    • 雑誌名

      Proceedings of the Computational Logic in Multi-Agent Systems : 6th International Workshop (CLIMA-VI)

      ページ: 119-134

    • データソース
      KAKENHI-PROJECT-16200010
  • [雑誌論文] Speculative Computation and Abduction for an Autonomous Agent2005

    • 著者名/発表者名
      Satoh, K.
    • 雑誌名

      IEICE transactions on Information and Systems E88-D, No.9

      ページ: 2031-2038

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16200010
  • [雑誌論文] An Application of Global Abduction to an Information Agent Which Modifies a Plan Upon Failure -Preliminary Report2005

    • 著者名/発表者名
      Satoh, K.
    • 雑誌名

      Computational Logic in Multi-Agent Systems : 5th International Workshop, CLIMA V, Revised Selected and Invited Papers LNAI 3487

      ページ: 213-229

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16200010
  • [雑誌論文] An Application of Global Abduction to an Information Agent which Modifies a Plan upon Failure -Preliminary Report-2005

    • 著者名/発表者名
      Satoh, K.
    • 雑誌名

      Proceedings of the Computational Logic in Multi-Agent Systems : 5th International Workshop (CLIMA V)

      ページ: 213-229

    • データソース
      KAKENHI-PROJECT-16200010
  • [雑誌論文] Consistency Check and Minimal Update for a UML Class Diagram Using Logic Programming2005

    • 著者名/発表者名
      Ken Satoh, Ken Kaneiwa, Takeaki Uno
    • 雑誌名

      Workshop on New Approaches to Software Construction 2005

      ページ: 39-48

    • データソース
      KAKENHI-PROJECT-16016284
  • [雑誌論文] Speculative Computation and Abduction for an Autonomous Agent2005

    • 著者名/発表者名
      Satoh, K.
    • 雑誌名

      IEICE transactions on Information and Systems E88-D, 9

      ページ: 2031-2038

    • データソース
      KAKENHI-PROJECT-16200010
  • [雑誌論文] Enumerating Minimal Revised Specification using Dualization2004

    • 著者名/発表者名
      Ken Satoh
    • 雑誌名

      Proc. of Workshop on New Approaches to Software Construction

      ページ: 85-90

    • NAID

      40022143322

    • データソース
      KAKENHI-PROJECT-16016284
  • [雑誌論文] All's well that ends well - a Proposal of Global Abduction2004

    • 著者名/発表者名
      Satoh, K.
    • 雑誌名

      Proceedings of the Tenth International Workshop on Non-Monotonic Reasoning

      ページ: 360-367

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16200010
  • [雑誌論文] Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity2004

    • 著者名/発表者名
      Ken Kaneiwa, Riichiro Mizoguchi
    • 雑誌名

      Proc. Of the Ninth International Conference on the Principles of Knowledge Representation and Reasoning

      ページ: 278-288

    • データソース
      KAKENHI-PROJECT-16016284
  • [雑誌論文] An Application of Global Abduction to an Information Agent which Modifies a Plan upon Failure - Preliminary Report -2004

    • 著者名/発表者名
      Ken Satoh
    • 雑誌名

      Proc.of Fifth Workshop on computational Logic in Multi-Agent Systems

      ページ: 150-165

    • データソース
      KAKENHI-PROJECT-16200010
  • [雑誌論文] All's well that ends well-a Proposal of Global Abduction2004

    • 著者名/発表者名
      Satoh, K.
    • 雑誌名

      Proceedings of the Tenth International Workshop on Non-Monotonic Reasoning

      ページ: 360-367

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16200010
  • [雑誌論文] Resolution for Label-based Formulas in Hierarchical Representation2004

    • 著者名/発表者名
      Ken Kaneiwa
    • 雑誌名

      New Generation Computing 22

      ページ: 253-269

    • データソース
      KAKENHI-PROJECT-16016284
  • [産業財産権] 法的推論提示方法、法的推論提示プログラム及び法的推論提示システム2019

    • 発明者名
      佐藤健, 高橋和子
    • 権利者名
      佐藤健, 高橋和子
    • 産業財産権種類
      特許
    • 産業財産権番号
      2019-155281
    • 出願年月日
      2019
    • データソース
      KAKENHI-PROJECT-17H06103
  • [産業財産権] 法的推論提示方法、法的推論提示システムおよびプログラム2012

    • 発明者名
      佐藤 健
    • 権利者名
      佐藤 健
    • 産業財産権種類
      特許
    • 出願年月日
      2012-11-01
    • データソース
      KAKENHI-PROJECT-23300062
  • [産業財産権] 法的推論提示方法, 法的推論提示システムおよびプログラム2012

    • 発明者名
      佐藤 健
    • 権利者名
      情報・システム研究機構
    • 産業財産権種類
      特許
    • 産業財産権番号
      2012-241526
    • 出願年月日
      2012-11-01
    • データソース
      KAKENHI-PROJECT-23300062
  • [学会発表] 裁判過程における人工知能による高次推論支援2021

    • 著者名/発表者名
      (31)佐藤健, 狩野芳伸, 本村陽一, 高岡 昂太, 高橋和子, 太田勝造, 新田克己
    • 学会等名
      人工知能学会全国大会
    • データソース
      KAKENHI-PROJECT-17H06103
  • [学会発表] PROLEG を用いた「裁判規範としての刑法」のプログラミング2021

    • 著者名/発表者名
      西貝吉晃、佐藤健
    • 学会等名
      ネットワーク法学会ローレビュー
    • データソース
      KAKENHI-PROJECT-17H06103
  • [学会発表] 裁判過程における人工知能による高次推論支援プロジェクトについて2021

    • 著者名/発表者名
      佐藤 健
    • 学会等名
      法社会学会
    • データソース
      KAKENHI-PROJECT-17H06103
  • [学会発表] Overview of the project: Advanced Reasoning Support for Judicial Judgment by Artificial Intelligence2021

    • 著者名/発表者名
      Satoh, K.
    • 学会等名
      23th International Workshop on Jurishttps://www-kofu.jsps.go.jp/kofu1/images/bt_delete.gif-informatics (JURISIN2021)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H06103
  • [学会発表] 裁判過程におけるベイジアンネットワークを用いた証拠推論-児童虐待事例をユースケースとした事実認定過程支援システムの構想2021

    • 著者名/発表者名
      (27)高岡昂太,本村陽一,佐藤健,西貝吉晃
    • 学会等名
      人工知能学会全国大会
    • データソース
      KAKENHI-PROJECT-17H06103
  • [学会発表] Supporting Judgement Process by Logic Programming Technology2021

    • 著者名/発表者名
      Satoh, K.
    • 学会等名
      23th International Workshop on Juris-informatics (JURISIN2021)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H06103
  • [学会発表] AI技術の法学への応用2020

    • 著者名/発表者名
      佐藤健
    • 学会等名
      筑波大学エクステンションプログラム
    • 招待講演
    • データソース
      KAKENHI-PROJECT-17H06103
  • [学会発表] AIの法学への応用研究の現状2019

    • 著者名/発表者名
      佐藤健
    • 学会等名
      日本学術会議公開シンポジウム: AIによる法学へのアプローチ
    • 招待講演
    • データソース
      KAKENHI-PROJECT-17H06103
  • [学会発表] AIによる要件事実論に基づく民事裁判支援システムの開発2018

    • 著者名/発表者名
      佐藤健
    • 学会等名
      刑法学会第96回大会ワークショップ「5.AIと刑法」
    • 招待講演
    • データソース
      KAKENHI-PROJECT-17H06103
  • [学会発表] Disputing Behavior and Judicial Policy in the Super-Aging Society: Backgrounds and Research Design of the Civil Justice Research Project in Japan2018

    • 著者名/発表者名
      太田勝造,佐藤岩夫,阿部昌樹
    • 学会等名
      RCSL Lisbon Meeting
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03612
  • [学会発表] AIによる要件事実論に基づく民事裁判支援システムの開発2017

    • 著者名/発表者名
      佐藤 健
    • 学会等名
      司法アクセス学会理事会兼学術大会
    • 招待講演
    • データソース
      KAKENHI-PROJECT-17H06103
  • [学会発表] Juris-Informatics and PROlog-based LEGal reasoning system: PROLEG2017

    • 著者名/発表者名
      Ken Satoh
    • 学会等名
      The 9th International Conference on Knowledge and Systems Engineering (KSE 2017)
    • 招待講演
    • データソース
      KAKENHI-PROJECT-17H06103
  • [学会発表] Answering Yes/No Questions in Legal Bar Exams2013

    • 著者名/発表者名
      Kim, M-Y., Xu, Y., Goebel, R., and Satoh, K.
    • 学会等名
      the 7th International Workshop on Juris-informatics (JURISIN 2013)
    • 発表場所
      横浜、日本
    • データソース
      KAKENHI-PROJECT-23300062
  • [学会発表] Legal Conflict Detection in Interacting Legal Systems2013

    • 著者名/発表者名
      Li, T., Balke, T., De Vos, M., Padget, J. A., and Satoh K.
    • 学会等名
      the 26th Annual Conference on Legal Knowledge and Information Systems (JURIX 2013)
    • 発表場所
      ボローニャ、イタリア
    • データソース
      KAKENHI-PROJECT-23300062
  • [学会発表] ArgPROLEG: A Normative Framework for The JUF Theory2013

    • 著者名/発表者名
      Shams, Z., De Vos, M., and Satoh K.
    • 学会等名
      the 7th International Workshop on Juris-informatics (JURISIN 2013)
    • 発表場所
      横浜、日本
    • データソース
      KAKENHI-PROJECT-23300062
  • [学会発表] A Model-Based Approach to the Automatic Revision of Secondary Legislation2013

    • 著者名/発表者名
      Li, T., Balke, T., De Vos, M., Padget, J. A., and Satoh K.
    • 学会等名
      the 14th International Conference on Artificial Intelligence & Law (ICAIL 2013)
    • 発表場所
      ローマ、イタリア
    • データソース
      KAKENHI-PROJECT-23300062
  • [学会発表] Combining Event- and State-based Norms2013

    • 著者名/発表者名
      De Vos, M., Balke, T., Satoh, K.
    • 学会等名
      the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013)
    • 発表場所
      セントポール、米国
    • データソース
      KAKENHI-PROJECT-23300062
  • [学会発表] Normative Approach to Exploring Multi-Agency Privacy and Transparency2013

    • 著者名/発表者名
      Padget, J. A., Satoh, K., and Ishikawa, F.
    • 学会等名
      the 7th International Workshop on Juris-informatics (JURISIN 2013)
    • 発表場所
      横浜、日本
    • データソース
      KAKENHI-PROJECT-23300062
  • [学会発表] Detecting Conflicts in Legal Systems2012

    • 著者名/発表者名
      Tingting Li, Tina Balke, Marina De Vos, Ken Satoh and Julian Padget
    • 学会等名
      the 6th International Workshop on Juris-informatics
    • 発表場所
      宮崎
    • データソース
      KAKENHI-PROJECT-23300062
  • [学会発表] Distributed Defeasible Speculative Reasoning in Ambient Environment2012

    • 著者名/発表者名
      Ho-Pun Lam, Guido Governatori, Ken Satoh and Hiroshi Hosobe
    • 学会等名
      Computational Logic in Multi-Agent Systems, 13th International Workshop
    • 発表場所
      Montpellier, France
    • データソース
      KAKENHI-PROJECT-23300062
  • [学会発表] On Generality of PROLEG Knowledge Representation2012

    • 著者名/発表者名
      Ken Satoh, Takamune Kogawa, Nao Okada, Kentaro Omori, Shunsuke Omura and Kazuki Tsuchiya
    • 学会等名
      the 6th International Workshop on Juris-informatics
    • 発表場所
      宮崎
    • データソース
      KAKENHI-PROJECT-23300062
  • [学会発表] Handling Change in Normative Specifications2012

    • 著者名/発表者名
      Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian Padget, Ken Satoh
    • 学会等名
      11th International Conference on Autonomous Agents and Multiagent Systems
    • 発表場所
      Valencia, Spain
    • データソース
      KAKENHI-PROJECT-23300062
  • [学会発表] Modelling Legitimate Expectations2012

    • 著者名/発表者名
      Marina De Vos, Tina Balke and Ken Satoh
    • 学会等名
      the 6th International Workshop on Juris-informatics
    • 発表場所
      宮崎
    • データソース
      KAKENHI-PROJECT-23300062
  • [学会発表] Speculative Constraint Processing for Hierarchical Agents2009

    • 著者名/発表者名
      Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, Krysia Broda
    • 学会等名
      Proc. of European Workshop on Multi-Agent Systems
    • データソース
      KAKENHI-PROJECT-19300053
  • [学会発表] On the Implementation of Speculative Constraint Processing2009

    • 著者名/発表者名
      Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe, Ken Satoh
    • 学会等名
      Proc. of 10th International Workshop on Computational Logic in Multi-Agent Systems
    • データソース
      KAKENHI-PROJECT-19300053
  • [学会発表] Speculative Constraint Processing for Hierarchical Agents2009

    • 著者名/発表者名
      Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, Krysia Broda
    • 学会等名
      European Workshop on Multi-Agent Systems
    • 発表場所
      Ayia Napa, Cyprus
    • 年月日
      2009-12-18
    • データソース
      KAKENHI-PROJECT-19300053
  • [学会発表] Abductive Reasoning for Burden of Proof2008

    • 著者名/発表者名
      Ken Satoh
    • 学会等名
      2^<nd> International Workshop on Juris-informatics (JURISIN 2008)
    • 発表場所
      旭川(日本)
    • 年月日
      2008-06-10
    • データソース
      KAKENHI-PROJECT-19300053
  • [学会発表] Conflict Detection in Composite Institutions

    • 著者名/発表者名
      Tingting Li, Tina Balke, Marina De Vos, Ken Satoh and Julian Padget
    • 学会等名
      the Second International Workshop on Agent-based Modeling for Policy Engineering
    • 発表場所
      Montpellier, France
    • データソース
      KAKENHI-PROJECT-23300062
  • 1.  岩沼 宏治 (30176557)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 2.  市瀬 龍太郎 (00332156)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 3.  宮尾 祐介 (00343096)
    共同の研究課題数: 3件
    共同の研究成果数: 1件
  • 4.  井上 克巳 (10252321)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 5.  太田 勝造 (40152136)
    共同の研究課題数: 3件
    共同の研究成果数: 7件
  • 6.  新井 紀子 (40264931)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 7.  山口 高平 (20174617)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 8.  福田 直樹 (30345805)
    共同の研究課題数: 2件
    共同の研究成果数: 1件
  • 9.  狩野 芳伸 (20506729)
    共同の研究課題数: 2件
    共同の研究成果数: 2件
  • 10.  坂間 千秋 (20273873)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 11.  北村 泰彦 (00204917)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 12.  鍋島 英知 (10334848)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 13.  廣田 薫 (50130943)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 14.  龍田 真 (80216994)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 15.  照井 一成 (70353422)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 16.  相澤 彰子 (90222447)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 17.  坊農 真弓 (50418521)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 18.  元田 浩 (00283804)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 19.  吉田 哲也 (80294164)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 20.  鷲尾 隆 (00192815)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 21.  武田 英明 (80252831)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 22.  木下 麻奈子 (00281171)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 23.  原口 誠 (40128450)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 24.  國藤 進 (50242566)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 25.  櫻井 成一朗 (20202088)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 26.  新田 克己 (60293073)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 27.  田中 二郎 (20251043)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 28.  野村 浩郷 (30208392)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 29.  大久保 好章 (40271639)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 30.  宇野 毅明 (00302977)
    共同の研究課題数: 1件
    共同の研究成果数: 2件
  • 31.  兼岩 憲 (00342626)
    共同の研究課題数: 1件
    共同の研究成果数: 4件
  • 32.  山岸 順一 (70709352)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 33.  和泉 憲明 (50293593)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 34.  松村 良之 (80091502)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 35.  長谷川 晃 (90164813)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 36.  池田 清治 (20212772)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 37.  長谷川 真里 (10376973)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 38.  浅野 有紀 (70272937)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 39.  村山 眞維 (30157804)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 40.  加藤 淳子 (00251314)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 41.  浅水屋 剛 (00377920)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 42.  今井 耕介 (00780032)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 43.  岡田 謙介 (20583793)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 44.  齋藤 宙治 (20779392)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 45.  米村 滋人 (40419990)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 46.  森 大輔 (40436499)
    共同の研究課題数: 1件
    共同の研究成果数: 2件
  • 47.  飯田 高 (70345247)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 48.  高橋 和子 (30330400)
    共同の研究課題数: 1件
    共同の研究成果数: 1件
  • 49.  本村 陽一 (30358171)
    共同の研究課題数: 1件
    共同の研究成果数: 2件
  • 50.  西貝 小名都 (20580400)
    共同の研究課題数: 1件
    共同の研究成果数: 3件
  • 51.  NGUYEN MinhLe (30509401)
    共同の研究課題数: 1件
    共同の研究成果数: 12件
  • 52.  対馬 かなえ (80754663)
    共同の研究課題数: 1件
    共同の研究成果数: 5件
  • 53.  西村 友海 (80884767)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 54.  Tran Duc・Vu (90910240)
    共同の研究課題数: 1件
    共同の研究成果数: 7件
  • 55.  小塚 荘一郎 (30242085)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 56.  渡邊 真由 (40881462)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 57.  寺邊 正大
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 58.  尾崎 暢
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 59.  吉岡 真治
    共同の研究課題数: 0件
    共同の研究成果数: 2件

URL: 

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

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?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi