Cardiff University | Prifysgol Caerdydd ORCA
Online Research @ Cardiff 
WelshClear Cookie - decide language by browser settings

Browse by Current Cardiff authors

[up] Up a level
Number of items: 12.

Kido, Hiroyuki ORCID: https://orcid.org/0000-0002-7622-4428 2025. Inference of abstraction for grounded predicate logic. Presented at: Twelfth Annual Conference on Advances in Cognitive Systems, Atlanta, Georgia, USA, 13-15 October 2025. Advances in Cognitive Systems. pp. 213-232.
filefile

Kido, Hiroyuki ORCID: https://orcid.org/0000-0002-7622-4428 2025. A data-transparent probabilistic model of temporal propositional abstraction. Presented at: Twelfth Annual Conference on Advances in Cognitive Systems, Atlanta, Georgia, USA, 13-15 October 2025. Advances in Cognitive Systems. pp. 193-212.
filefile

Kido, Hiroyuki ORCID: https://orcid.org/0000-0002-7622-4428 2025. Inference of abstraction for human-like probabilistic reasoning. Presented at: 4th Advanced Course and Symposium on Artificial Intelligence & Neuroscience (ACAIN), Tuscany, Italy, 22-25 September 2024. Published in: Nicosia, Giuseppe, Ojha, Varun, Giesselbach, Sven, Panos Pardalos, M. and Umeton, Renato eds. Machine Learning, Optimization, and Data Science. Lecture Notes in Computer Science (15510) Springer Cham, pp. 116-131. 10.1007/978-3-031-82487-6_9
file

Kido, Hiroyuki ORCID: https://orcid.org/0000-0002-7622-4428 2025. Inference of abstraction for human-like logical reasoning. Presented at: 4th Advanced Course and Symposium on Artificial Intelligence & Neuroscience (ACAIN), Tuscany, Italy, 22-25 September 2024. Published in: Nicosia, G., Ojha, V., Giesselbach, S., Pardalos, M. P. and Umeton, R. eds. Machine Learning, Optimization, and Data Science. Lecture Notes in Computer Science , vol.15510 Springer, pp. 191-206. 10.1007/978-3-031-82487-6_14
file

Kido, Hiroyuki ORCID: https://orcid.org/0000-0002-7622-4428 and Liao, Beishui 2022. A Bayesian approach to forward and inverse abstract argumentation problems. Journal of Applied Non-Classical Logics Volume , pp. 273-304. 10.1080/11663081.2022.2144830
file

Baroni, Pietro, Cerutti, Federico ORCID: https://orcid.org/0000-0003-0755-0358 and Giacomin, Massimiliano 2022. A generalized notion of consistency with applications to formal argumentation. Toni, Polberg, Sylwia ORCID: https://orcid.org/0000-0002-0811-0226, Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381, Caminada, Martin ORCID: https://orcid.org/0000-0002-7498-0238 and Kido, Hiroyuki ORCID: https://orcid.org/0000-0002-7622-4428, eds. Computational Models of Argument, Vol. 353. Frontiers in Artificial Intelligence and Applications, IOS Press, pp. 56-67. (10.3233/FAIA220141)
file

Kido, Hiroyuki ORCID: https://orcid.org/0000-0002-7622-4428 2022. Generative logic models for data-based symbolic reasoning. Presented at: 8th International Workshop on Artificial Intelligence and Cognition (AIC 2022), Örebro University, 15-17 June 2022.

Kido, Hiroyuki ORCID: https://orcid.org/0000-0002-7622-4428 2018. Bayesian model selection in statistical construction of justification. Presented at: Sixteenth International Conference on Principles of Knowledge Representation and Reasoning, Tempe, Arizona (USA), 27 October - 2 November 2018. -.
file

Kido, Hiroyuki ORCID: https://orcid.org/0000-0002-7622-4428 and Okamoto, Keishi 2017. A Bayesian approach to argument-based reasoning for attack estimation. Presented at: 26th International Joint Conference on Artificial Intelligence, Melbourne, Australia, 19-25 August 2017. Published in: Sierra, Carles ed. IJCAI'17: Proceedings of the 26th International Joint Conference on Artificial Intelligence. AAAI, pp. 249-255.

Kido, Hiroyuki ORCID: https://orcid.org/0000-0002-7622-4428 and Okamoto, Keishi 2017. Balancing between cognitive and semantic acceptability of arguments. Presented at: 10th International Conference on Knowledge Science, Engineering and Management, Melbourne, Australia, 19-20 Aug 2017. Published in: Li, Gang, Ge, Yong, Zili, ZHang, Jin, Zhi and Michael, Blumenstein eds. Knowledge Science, Engineering and Management. Lecture Notes in Computer Science. , vol.10412 Springer Verlag, pp. 160-173. 10.1007/978-3-319-63558-3_14
file

Kido, Hiroyuki ORCID: https://orcid.org/0000-0002-7622-4428, Ohsawa, Yukio and Nitta, Katsumi 2017. Paretian argumentation frameworks for Pareto optimal arguments. Journal of Logic and Computation 27 (1) , pp. 213-225. 10.1093/logcom/exv012
file

Kido, Hiroyuki ORCID: https://orcid.org/0000-0002-7622-4428 and Cerutti, Federico ORCID: https://orcid.org/0000-0003-0755-0358 2016. Formal reconciliatory dialogue based on shift from forward to backward deliberation. Argument and Computation 6 (3) , pp. 292-309. 10.1080/19462166.2016.1145139
file

This list was generated on Mon Oct 27 10:13:39 2025 GMT.


Maintained by Cardiff University IT