メニュー
Search
Search Research Projects
Search Researchers
How to Use
Japanese
English
Back to previous page
Kido Hiroyuki
木藤 浩之
Connect your ORCID iD
*help
Researcher Number
90705287
Affiliation (Current)
2020: 電気通信大学, 大学院情報理工学研究科, 客員研究員
Affiliation (based on the past Project Information)
*help
2016 – 2019: 電気通信大学, 大学院情報理工学研究科, 客員研究員
2017: 電気通信大学, 情報学専攻, 客員研究員
2015: 東京大学, 工学(系)研究科(研究院), 助教
Review Section/Research Field
Principal Investigator
Conflict Studies
/
Basic Section 61030:Intelligent informatics-related
Except Principal Investigator
Software
/
Basic Section 60050:Software-related
Keywords
Principal Investigator
機械学習 / 計算論的議論 / ベイズ推論 / 議論 / 推論 / ベイズ / 生成モデル / 逆問題 / 非単調論理 / 知能情報学
…
More
/ 論理 / 紛争研究 / 受理可能性学習 / 教師あり学習 / 紛争解決 / 議論可視化 / Argumentation / Inverse problem / Bayes / 議論マイニング / 逆議論問題
…
More
Except Principal Investigator
数理議論学 / アシュアランスケース / 論証 / 議論 / ゴール構造化表記法 / 抽象対話議論 / アシュアランス / 双極対話議論 / インテグリティレベル / ソフトウェア受け入れテスト / 議論フレームワーク / リスク共有 / 消費者向けシステム / 数理論理学 / SMTソルバ / 仕様 / 品質向上 / 不整合解消 / 仕様検証
Less
Research Projects
(
4
results)
Research Products
(
18
results)
Co-Researchers
(
9
People)
Project Start Year (Newest)
Project Start Year (Oldest)
数理議論学に基づく仕様書の不整合解消支援ツールの作成
Ongoing
Principal Investigator
岡本 圭史
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 mining
Principal Investigator
Ongoing
Principal Investigator
木藤 浩之
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 Studies
Principal 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
2020
2019
2018
2017
2016
2015
All
Journal Article
Presentation
Book
[Book] Proc. of the 2nd International Workshop on Argument for Agreement and Assurance
2017
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 Systems
2016
Author(s)
Hiroyuki Kido
Total Pages
10
Publisher
Springer
Data Source
KAKENHI-PROJECT-15KT0041
[Journal Article] Expressing Dung’s Extensions as FO-Formulas to Enumerate Them with an SMT Solver
2020
Author(s)
Keishi Okamoto, Hiroyuki Kido, Toshinori Takai
Journal Title
京都大学数理解析研究所講究録, 採録予定
Data Source
KAKENHI-PROJECT-19K11914
[Journal Article] A Bayesian Approach to Direct and Inverse Abstract Argumentation Problems
2019
Author(s)
Hiroyuki Kido, Beishui Liao
Journal Title
arXiv
Open Access / Int'l Joint Research
Data Source
KAKENHI-PROJECT-19K11914
[Presentation] Defining extensions with first-order logic formulas, and its computation
2019
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 Justification
2018
Author(s)
Hiroyuki Kido
Organizer
16th International Conference on Principles of Knowledge Representation and Reasoning
Data Source
KAKENHI-PROJECT-18K11428
[Presentation] Bayesian Model Selection in Statistical Construction of Justification
2018
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] Argument-Based Bayesian Estimation of Attack Graphs: A Preliminary Empirical Analysis
2017
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] A Bayesian Approach to Argument-Based Reasoning for Attack Estimation
2017
Author(s)
Hiroyuki Kido
Organizer
The 26th International Joint Conference on Artificial Intelligence
Int'l Joint Research
Data Source
KAKENHI-PROJECT-15KT0041
[Presentation] A Bayesian Approach to Argument-Based Reasoning for Attack Estimation
2017
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 Arguments
2017
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] 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] Argumentation Versus Optimization for Supervised Acceptability Learning
2016
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] 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] 議論学の紹介とその機械学習への応用
2015
Author(s)
木藤浩之
Organizer
電子情報通信学会知能ソフトウェア工学研究会
Place of Presentation
日本大学駿河台キャンパス（東京都千代田区）
Year and Date
2015-10-29
Invited
Data Source
KAKENHI-PROJECT-15KT0041
[Presentation] Modular construction of assurance cases written in defeasible goal structuring notation
2015
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] Modular construction of assurance cases written in dGSN
2015
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 Frameworks
2015
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
# of Projects (Dsc)
# of Projects (Asc)
1.
Takai Toshinori
(10425738)
# of Collaborated Projects:
3 results
# of Collaborated Products:
5 results
2.
岡本 圭史
(00308214)
# of Collaborated Projects:
2 results
# of Collaborated Products:
3 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
×
Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.
×
×
