Rchr
J-GLOBAL ID：201601013528023590
Update date: Nov. 08, 2022
Motoura Shota
モトウラ ショウタ | Motoura Shota
Affiliation and department：
Research field (3)：
Intelligent informatics
, Applied mathematics and statistics
, Basic mathematics
Research keywords (7)：
Machine Learning
, Cybersecurity
, Artificial Intelligence
, dialogue system
, dynamic epistemic logic
, modal logic
, logic
Papers (12)：
-
Shota Motoura, Shin-ya Katsumata. On Inverse Operators in Dynamic Epistemic Logic. Proceedings of Logical Foundations of Computer Science. LFCS 2022. 2022. 217-235
-
Shota Motoura, Ayako Hoshino, Itaru Hosomi. Cooperative Hypothesis Building for Computer Security Incident Response. ICT with Intelligent Applications; Proceedings of ICTIS 2021. 2022. 489-497
-
Shota Motoura. A Logic and Computation for Popper’s Conditional Probabilities. Proceedings of Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2021. 2021. 657-671
-
Hisao Katsumi, Koichiro Yoshino, Takuya Hiraoka, Kosuke Akimoto, Kazeto Yamamoto, Shota Motoura, Kunihiko Sadamasa, Satoshi Nakamura. Optimization of Information-Seeking Dialogue Strategy for Argumentation-Based Dialogue System. Transactions of the Japanese Society for Artificial Intelligence. 2020. 35. 1. DSI-D_1
-
勝見 久央, 吉野 幸一郎, 平岡 拓也, 本浦 庄太, 山本 風人, 定政 邦彦, 中村 哲. 合理的な論証構築ための情報探索対話戦略の最適化と評価. 言語処理学会第25回年次大会(NLP2019) 発表論文集. 2019
ｍore...
Lectures and oral presentations (16)：
-
On Inverse Operators in Dynamic Epistemic Logic
(Logical Foundations Of Computer Science, LFCS 2022 2022)
-
A Logic and Computation for Popper’s Conditional Probabilities
(The Sixteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2021) 2021)
-
Cooperative Hypothesis Building For Computer Security Incident Response
(5th International Conference on ICT for Intelligent Systems 2021)
-
On Logic and Computation of Probabilities of Propositional Formulae
(2019)
-
On Logic for Conditional Probabilities of Propositional Formulae
(2019)
ｍore...
Education (5)：
- 2019 - 2020 MITx on edX Micromasters in Statistics and Data Science
- 2013 - 2017 Kyoto University Research Institute for Mathematical Sciences Doctor Course
- 2015 - 2015 University of Amsterdam Institute for Logic, Language and Computation Visiting Researcher
- 2011 - 2013 Kyoto University Research Institute for Mathematical Sciences Master Course
- 2007 - 2011 Keio University Mathematics Bachelor Course
Professional career (1)：
Work history (1)：
- 2017/04 - 現在 NEC Resaercher
Committee career (1)：
- 2018/06 - 現在 Mathematical Reviews (MathSciNet) Reviewer (Review Writer)
Association Membership(s) (2)：
THE MATHEMATICAL SOCIETY OF JAPAN
, THE JAPANESE SOCIETY FOR ARTIFICIAL INTELLIGENCE
