A General Framework for Modal Correspondence in Dynamic Epistemic Logic. - Shota Motoura (LORI, 2015)

A general framework for dynamic epistemic logic: towards canonical correspondences. - Shota Motoura (J. Appl. Non Class. Logics, 2017)

Detecticon: A Prototype Inquiry Dialog System. - Takuya Hiraoka; Shota Motoura; Kunihiko Sadamasa (IWSDS, 2018)

Translating MFM into FOL: towards plant operation planning. - Shota Motoura; Kazeto Yamamoto; Shumpei Kubosawa; Takashi Onishi (CoRR, 2018)

Optimization of Information-Seeking Dialogue Strategy for Argumentation-Based Dialogue System. - Hisao Katsumi; Takuya Hiraoka; Koichiro Yoshino; Kazeto Yamamoto; Shota Motoura; Kunihiko Sadamasa; Satoshi Nakamura 001 (CoRR, 2018)

A Logic and Computation for Popper's Conditional Probabilities. - Shota Motoura (ECSQARU, 2021)

On Inverse Operators in Dynamic Epistemic Logic. - Shota Motoura; Shin-ya Katsumata (LFCS, 2022)

A Logical Framework for User-Feedback Dialogues on Hypotheses in Weighted Abduction. - Shota Motoura; Ayako Hoshino; Itaru Hosomi; Kunihiko Sadamasa (ECSQARU, 2023)

A logical formalisation of a hypothesis in weighted abduction: Towards user-feedback dialogues. - Shota Motoura; Ayako Hoshino; Itaru Hosomi; Kunihiko Sadamasa (Int. J. Approx. Reason., 2025)

Leveraging LLMs, IDEs, and Semantic Embeddings for Automated Move Method Refactoring. - Fraol Batole; Abhiram Bellur; Malinda Dilhara; Mohammed Raihan Ullah; Yaroslav Zharov; Timofey Bryksin; Kai Ishikawa; Haifeng Chen; Masaharu Morimoto; Shota Motoura; Takeo Hosomi; Tien N. Nguyen; et al. (CoRR, 2025)