Kido Hiroyuki 木藤浩之

Researcher Number	90705287
Affiliation (based on the past Project Information) *help	2016 – 2021: 電気通信大学, 大学院情報理工学研究科, 客員研究員 2017: 電気通信大学, 情報学専攻, 客員研究員 2015: 東京大学, 工学(系)研究科(研究院), 助教
Review Section/Research Field	Principal Investigator Basic Section 61030:Intelligent informatics-related / Conflict Studies Except Principal Investigator Basic Section 60050:Software-related / Software
Keywords	Principal Investigator 非単調論理 / 逆問題 / ベイズ推論 / 計算論的議論 / 生成モデル / 機械学習 / 議論 / 逆議論問題 / Bayes / Inverse problem … More / Argumentation / ベイズ推定 / 形式的議論 / 議論マイニング / ベイズ統計 / 抽象的議論 / 議論可視化 / 紛争解決 / 教師あり学習 / 受理可能性学習 / 紛争研究 / 論理 / 知能情報学 / ベイズ / 推論 … More Except Principal Investigator 数理議論学 / 仕様検証 / 不整合解消 / 自然言語処理 / 品質向上 / 仕様 / SMTソルバ / 数理論理学 / 消費者向けシステム / リスク共有 / 議論フレームワーク / ソフトウェア受け入れテスト / インテグリティレベル / 双極対話議論 / アシュアランス / 抽象対話議論 / ゴール構造化表記法 / 議論 / 論証 / アシュアランスケース Less

Developing a tool to assist in resolving specification inconsistencies based on mathematical argumentation theory
- Principal Investigator
  
  Okamoto Keishi
- Project Period (FY)
  2019 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Sendai National College of Technology
Argument-based Bayesian generative models for argumentation miningPrincipal Investigator
- Principal Investigator
  
  Kido Hiroyuki
- Project Period (FY)
  2018 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 61030:Intelligent informatics-related
- Research Institution
  The University of Electro-Communications
Argument-Based Data-Driven Conflict StudiesPrincipal Investigator
- Principal Investigator
  
  Kido Hiroyuki
- Project Period (FY)
  2015 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Conflict Studies
- Research Institution
  The University of Electro-Communications
  The University of Tokyo
Defining software integrity levels using argumentation theory
- Principal Investigator
  
  Takai Toshinori
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Nara Institute of Science and Technology

All 2022 2020 2019 2018 2017 2016 2015

All Journal Article Presentation Book

[Book] Proc. of the 2nd International Workshop on Argument for Agreement and Assurance2017
- Author(s)
  Hiroyuki Kido
- Total Pages
  15
- Publisher
  Springer
- Data Source
  KAKENHI-PROJECT-15KT0041
[Book] Proc. of the 19th International Conference on Principles and Practice of Multi-Agent Systems2016
- Author(s)
  Hiroyuki Kido
- Total Pages
  10
- Publisher
  Springer
- Data Source
  KAKENHI-PROJECT-15KT0041
[Journal Article] Generative Logic Models for Data-Based Symbolic Reasoning2022
- Author(s)
  Hiroyuki Kido
- Journal Title
  
  8th International Workshop on Artificial Intelligence and Cognition
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11428
[Journal Article] Towards Unifying Logical Entailment and Statistical Estimation2022
- Author(s)
  Hiroyuki Kido
- Journal Title
  
  arXiv
  
  Volume: -
- Open Access
- Data Source
  KAKENHI-PROJECT-18K11428
[Journal Article] Towards Unifying Logical Entailment and Statistical Estimation2022
- Author(s)
  Hiroyuki Kido
- Journal Title
  
  CoRR
  
  Volume: abs/2202.13406
- Open Access
- Data Source
  KAKENHI-PROJECT-19K11914
[Journal Article] Bayes Meets Entailment and Prediction: Commonsense Reasoning with Non-monotonicity, Paraconsistency and Predictive Accuracy2020
- Author(s)
  Hiroyuki Kido and Keishi Okamoto
- Journal Title
  
  CoRR
  
  Volume: abs/2012.08479
- Open Access
- Data Source
  KAKENHI-PROJECT-19K11914
[Journal Article] Bayesian Entailment Hypothesis: How Brains Implement Monotonic and Non-monotonic Reasoning2020
- Author(s)
  Hiroyuki Kido
- Journal Title
  
  CoRR
  
  Volume: abs/2005.00961
- Open Access
- Data Source
  KAKENHI-PROJECT-19K11914
[Journal Article] Expressing Dung’s Extensions as FO-Formulas to Enumerate Them with an SMT Solver2020
- Author(s)
  Keishi Okamoto, Hiroyuki Kido, Toshinori Takai
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 2170 Pages: 64-72
- NAID
  120006956442
- Open Access
- Data Source
  KAKENHI-PROJECT-19K11914
[Journal Article] Expressing Dung’s Extensions as FO-Formulas to Enumerate Them with an SMT Solver2020
- Author(s)
  Keishi Okamoto, Hiroyuki Kido, Toshinori Takai
- Journal Title
  
  京都大学数理解析研究所講究録, 採録予定
- NAID
  120006956442
- Data Source
  KAKENHI-PROJECT-19K11914
[Journal Article] A Bayesian Approach to Direct and Inverse Abstract Argumentation Problems2019
- Author(s)
  Hiroyuki Kido, Beishui Liao
- Journal Title
  
  arXiv
- Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11914
[Presentation] Generative Logic Models for Data-Based Symbolic Reasoning2022
- Author(s)
  Hiroyuki Kido
- Organizer
  8th International Workshop on Artificial Intelligence and Cognition
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11428
[Presentation] Defining extensions with first-order logic formulas, and its computation2019
- Author(s)
  Keishi Okamoto, Hiroyuki Kido, Toshinori Takai
- Organizer
  2019 RIMS Model Theory Workshop
- Data Source
  KAKENHI-PROJECT-19K11914
[Presentation] Bayesian Model Selection in Statistical Construction of Justification2018
- Author(s)
  Hiroyuki Kido
- Organizer
  The 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0041
[Presentation] Bayesian Model Selection in Statistical Construction of Justification2018
- Author(s)
  Hiroyuki Kido
- Organizer
  16th International Conference on Principles of Knowledge Representation and Reasoning
- Data Source
  KAKENHI-PROJECT-18K11428
[Presentation] A Bayesian Approach to Argument-Based Reasoning for Attack Estimation2017
- Author(s)
  Hiroyuki Kido and Keishi Okamoto
- Organizer
  Proc. of the 26th International Joint Conference on Artificial Intelligence
- Place of Presentation
  Melbourne, Australia
- Year and Date
  2017-08-19
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0041
[Presentation] Balancing Between Cognitive and Semantic Acceptability of Arguments2017
- Author(s)
  Hiroyuki Kido
- Organizer
  The 10th International Conference on Knowledge Science, Engineering and Management
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0041
[Presentation] A Bayesian Approach to Argument-Based Reasoning for Attack Estimation2017
- Author(s)
  Hiroyuki Kido
- Organizer
  The 26th International Joint Conference on Artificial Intelligence
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0041
[Presentation] Argument-Based Bayesian Estimation of Attack Graphs: A Preliminary Empirical Analysis2017
- Author(s)
  Hiroyuki Kido
- Organizer
  The 20th International Conference on Principles and Practice of Multi-Agent Systems
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0041
[Presentation] Argumentation Versus Optimization for Supervised Acceptability Learning2016
- Author(s)
  Hiroyuki Kido
- Organizer
  Proc. of the 19th International Conference on Principle and Practice of Multi-agent Systems
- Place of Presentation
  Phuket, Thailand
- Year and Date
  2016-08-22
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0041
[Presentation] Developing SNS tool for Consensus Building on Environmental Safety using Assurance Cases (Tool Paper)2016
- Author(s)
  Yutaka Matsuno, Yang Ishigaki, Koichi Bando, Hiroyuki Kido and Kenji Tanaka
- Organizer
  Proc. of the 4th International Workshop on Assurance Cases for Software-intensive Systems
- Place of Presentation
  Trondheim, Norway
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0041
[Presentation] Modular construction of assurance cases written in dGSN2015
- Author(s)
  Toshinori Takai, Hiroyuki Kido
- Organizer
  2nd International Workshop on Argument for Agreement and Assurance
- Place of Presentation
  慶応大学日吉キャンパス（横浜市神奈川県）
- Year and Date
  2015-11-17
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0041
[Presentation] Learning Argument Acceptability from Abstract Argumentation Frameworks2015
- Author(s)
  Hiroyuki Kido
- Organizer
  2nd International Workshop on Argument for Agreement and Assurance
- Place of Presentation
  慶応大学日吉キャンパス（神奈川県横浜市）
- Year and Date
  2015-11-17
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0041
[Presentation] An Effective Way to Review and Manage Assurance Cases (Tool Demo: Defeasible GSN)2015
- Author(s)
  Toshinori Takai, Hiroyuki Kido and Yutaka Matsuno
- Organizer
  2nd International Workshop on Argument for Agreement and Assurance
- Place of Presentation
  慶応大学日吉キャンパス（横浜市神奈川県）
- Year and Date
  2015-11-17
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KT0041
[Presentation] Modular construction of assurance cases written in defeasible goal structuring notation2015
- Author(s)
  Toshinori Takai, Hiroyuki Kido, and Yutaka Matsuno
- Organizer
  2nd International Workshop on Argument for Agreement and Assurance (AAA 2015)
- Place of Presentation
  慶應大学日吉キャンパス（神奈川県横浜市）
- Year and Date
  2015-11-17
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00100
[Presentation] 議論学の紹介とその機械学習への応用2015
- Author(s)
  木藤浩之
- Organizer
  電子情報通信学会知能ソフトウェア工学研究会
- Place of Presentation
  日本大学駿河台キャンパス（東京都千代田区）
- Year and Date
  2015-10-29
- Invited
- Data Source
  KAKENHI-PROJECT-15KT0041

1. Takai Toshinori (10425738)

# of Collaborated Projects: 3 results

# of Collaborated Products: 6 results
2. Okamoto Keishi (00308214)

# of Collaborated Projects: 2 results

# of Collaborated Products: 5 results
3. FURUSAWA Hitoshi (00357930)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. 阿部明典 (40221725)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. 久代紀之 (50630886)

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. 中村潤 (80532994)

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. 松野裕 (70534220)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results

Kido Hiroyuki 木藤 浩之

Research Projects

Research Products

Co-Researchers

Developing a tool to assist in resolving specification inconsistencies based on mathematical argumentation theory

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Argument-based Bayesian generative models for argumentation miningPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Argument-Based Data-Driven Conflict StudiesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Defining software integrity levels using argumentation theory

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] Proc. of the 2nd International Workshop on Argument for Agreement and Assurance2017

Author(s)

Total Pages

Publisher

Data Source

[Book] Proc. of the 19th International Conference on Principles and Practice of Multi-Agent Systems2016

Author(s)

Total Pages

Publisher

Data Source

[Journal Article] Generative Logic Models for Data-Based Symbolic Reasoning2022

Author(s)

Journal Title

Data Source

[Journal Article] Towards Unifying Logical Entailment and Statistical Estimation2022

Author(s)

Journal Title

Data Source

[Journal Article] Towards Unifying Logical Entailment and Statistical Estimation2022

Author(s)

Journal Title

Data Source

[Journal Article] Bayes Meets Entailment and Prediction: Commonsense Reasoning with Non-monotonicity, Paraconsistency and Predictive Accuracy2020

Author(s)

Journal Title

Data Source

[Journal Article] Bayesian Entailment Hypothesis: How Brains Implement Monotonic and Non-monotonic Reasoning2020

Author(s)

Journal Title

Data Source

[Journal Article] Expressing Dung’s Extensions as FO-Formulas to Enumerate Them with an SMT Solver2020

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Expressing Dung’s Extensions as FO-Formulas to Enumerate Them with an SMT Solver2020

Author(s)

Journal Title

NAID

Data Source

[Journal Article] A Bayesian Approach to Direct and Inverse Abstract Argumentation Problems2019

Author(s)

Journal Title

Data Source

[Presentation] Generative Logic Models for Data-Based Symbolic Reasoning2022

Author(s)

Organizer

Data Source

[Presentation] Defining extensions with first-order logic formulas, and its computation2019

Author(s)

Organizer

Data Source

Kido Hiroyuki 木藤浩之