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

Kido Hiroyuki  木藤 浩之

ORCIDConnect 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)
  •  数理議論学に基づく仕様書の不整合解消支援ツールの作成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 miningPrincipal InvestigatorOngoing

    • 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 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 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] Expressing Dung’s Extensions as FO-Formulas to Enumerate Them with an SMT Solver2020

    • 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 Problems2019

    • 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 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
      16th International Conference on Principles of Knowledge Representation and Reasoning
    • Data Source
      KAKENHI-PROJECT-18K11428
  • [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] 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] 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] 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] 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 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] 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 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] 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
  • 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

URL: 

Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi