Hiroyuki Kido

According to our database, Hiroyuki Kido authored at least 34 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Inference of Abstraction for a Unified Account of Reasoning and Learning.

Hiroyuki Kido

CoRR, 2024

Inference of Abstraction for a Unified Account of Symbolic Reasoning from Data.

Hiroyuki Kido

CoRR, 2024

2023

A Simple Generative Model of Logical Reasoning and Statistical Learning.

Hiroyuki Kido

CoRR, 2023

Generative Logic with Time: Beyond Logical Consistency and Statistical Possibility.

Hiroyuki Kido

CoRR, 2023

2022

A Bayesian approach to forward and inverse abstract argumentation problems.

Hiroyuki Kido, Beishui Liao

J. Appl. Non Class. Logics, October, 2022

Towards Unifying Perceptual Reasoning and Logical Reasoning.

Hiroyuki Kido

CoRR, 2022

Towards Unifying Logical Entailment and Statistical Estimation.

Hiroyuki Kido

CoRR, 2022

Generative Logic Models for Data-Based Symbolic Reasoning.

Hiroyuki Kido

Proceedings of the 8th International Workshop on Artificial Intelligence and Cognition, 2022

2020

Bayes Meets Entailment and Prediction: Commonsense Reasoning with Non-monotonicity, Paraconsistency and Predictive Accuracy.

Hiroyuki Kido, Keishi Okamoto

CoRR, 2020

Bayesian Entailment Hypothesis: How Brains Implement Monotonic and Non-monotonic Reasoning.

Hiroyuki Kido

CoRR, 2020

2019

A Bayesian Approach to Direct and Inverse Abstract Argumentation Problems.

Hiroyuki Kido, Beishui Liao

CoRR, 2019

2018

Bayesian Model Selection in Statistical Construction of Justification.

Hiroyuki Kido

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

2017

Paretian argumentation frameworks for Pareto optimal arguments.

Hiroyuki Kido, Yukio Ohsawa, Katsumi Nitta

J. Log. Comput., 2017

Argument-Based Bayesian Estimation of Attack Graphs: A Preliminary Empirical Analysis.

Hiroyuki Kido, Frank Zenker

Proceedings of the PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30, 2017

Balancing Between Cognitive and Semantic Acceptability of Arguments.

Hiroyuki Kido, Keishi Okamoto

Proceedings of the Knowledge Science, Engineering and Management, 2017

A Bayesian Approach to Argument-Based Reasoning for Attack Estimation.

Hiroyuki Kido, Keishi Okamoto

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

Developing SNS Tool for Consensus Building on Environmental Safety Using Assurance Cases.

Yutaka Matsuno, Yang Ishigaki, Koichi Bando, Hiroyuki Kido, Kenji Tanaka

Proceedings of the Computer Safety, Reliability, and Security, 2016

Argumentation Versus Optimization for Supervised Acceptability Learning.

Hiroyuki Kido

Proceedings of the PRIMA 2016: Princiles and Practice of Multi-Agent Systems, 2016

2015

Formal reconciliatory dialogue based on shift from forward to backward deliberation.

Hiroyuki Kido, Federico Cerutti

Argument Comput., 2015

Learning Argument Acceptability from Abstract Argumentation Frameworks.

Hiroyuki Kido

Proceedings of the New Frontiers in Artificial Intelligence, 2015

2014

Shift from Forward to Backward Deliberation in Search of Reconciliation.

Hiroyuki Kido, Federico Cerutti

Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

Data Jackets for Externalizing Use Value of Hidden Datasets.

Yukio Ohsawa, Chang Liu, Teruaki Hayashi, Hiroyuki Kido

Proceedings of the 18th International Conference in Knowledge Based and Intelligent Information and Engineering Systems, 2014

A Supplemental Notation of GSN Aiming for Dealing with Changes of Assurance Cases.

Toshinori Takai, Hiroyuki Kido

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Defensibility-Based Classification for Argument Mining.

Hiroyuki Kido, Yukio Ohsawa

Proceedings of the 2014 IEEE International Conference on Data Mining Workshops, 2014

Towards Argumentation Schemes for Open Systems Dependability.

Hiroyuki Kido, Yukio Ohsawa, Makoto Hirai, Yoshifumi Yuasa, Toshinori Takai

Proceedings of the IEEE 12th International Conference on Dependable, 2014

Innovators Marketplace on Data Jackets for Externalizing the Value of Data via Stakeholders' Requirement Communication.

Yukio Ohsawa, Chang Liu, Yoshitaka Suda, Hiroyuki Kido

Proceedings of the 2014 AAAI Spring Symposia, 2014

2013

Justifying Underlying Desires for Argument-Based Reconciliation.

Hiroyuki Kido, Yukio Ohsawa

Proceedings of the Theory and Applications of Formal Argumentation, 2013

Data Jackets for Synthesizing Values in the Market of Data.

Yukio Ohsawa, Hiroyuki Kido, Teruaki Hayashi, Chang Liu

Proceedings of the 17th International Conference in Knowledge Based and Intelligent Information and Engineering Systems, 2013

Strategies for Creative Argumentation: Learned from Logs of Innovators Market Game.

Yukio Ohsawa, Hiroyuki Kido, Teruaki Hayashi, Masahiro Akimoto, Masanori Fujimoto, Masaki Tamada

Proceedings of the Brain and Health Informatics - International Conference, 2013

2011

Toward Justifying Actions with Logically and Socially Acceptable Reasons.

Hiroyuki Kido, Katsumi Nitta

Proceedings of the Advances in Artificial Intelligence, 2011

Formalizing Dialectical Reasoning for Compromise-based Justification.

Hiroyuki Kido, Katsumi Nitta, Masahito Kurihara, Daisuke Katagami

Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1, 2011

Practical argumentation semantics for socially efficient defeasible consequence.

Hiroyuki Kido, Katsumi Nitta

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Practical Argumentation Semantics for Pareto Optimality and Its Relationships with Values.

Hiroyuki Kido

Proceedings of the Argumentation in Multi-Agent Systems - 8th International Workshop, 2011

2008

Computational Dialectics Based on Specialization and Generalization - A New Reasoning Method for Conflict Resolution.

Hiroyuki Kido, Masahito Kurihara

Proceedings of the New Frontiers in Artificial Intelligence, 2008