Shota Motoura

11 papers C 2Misc 1Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Logical Formalisation of a Hypothesis in Weighted Abduction: towards User-Feedback Dialogues.
CoRR
Shota Motoura, Ayako Hoshino, Itaru Hosomi, Kunihiko Sadamasa
2025 J jnl
A logical formalisation of a hypothesis in weighted abduction: Towards user-feedback dialogues.
Int. J. Approx. Reason.
Shota Motoura, Ayako Hoshino, Itaru Hosomi, Kunihiko Sadamasa
2025 J jnl
Leveraging LLMs, IDEs, and Semantic Embeddings for Automated Move Method Refactoring.
CoRR
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, Hridesh Rajan, Nikolaos Tsantalis, Danny Dig
2023 C conf
A Logical Framework for User-Feedback Dialogues on Hypotheses in Weighted Abduction.
ECSQARU
Shota Motoura, Ayako Hoshino, Itaru Hosomi, Kunihiko Sadamasa
2022 Misc conf
On Inverse Operators in Dynamic Epistemic Logic.
LFCS
Shota Motoura, Shin-ya Katsumata
2021 C conf
A Logic and Computation for Popper's Conditional Probabilities.
ECSQARU
Shota Motoura
2018 — conf
Detecticon: A Prototype Inquiry Dialog System.
IWSDS
Takuya Hiraoka, Shota Motoura, Kunihiko Sadamasa
2018 J jnl
Optimization of Information-Seeking Dialogue Strategy for Argumentation-Based Dialogue System.
CoRR
Hisao Katsumi, Takuya Hiraoka, Koichiro Yoshino, Kazeto Yamamoto, Shota Motoura, Kunihiko Sadamasa, Satoshi Nakamura
2018 J jnl
Translating MFM into FOL: towards plant operation planning.
CoRR
Shota Motoura, Kazeto Yamamoto, Shumpei Kubosawa, Takashi Onishi
2017 J jnl
A general framework for dynamic epistemic logic: towards canonical correspondences.
J. Appl. Non Class. Logics
Shota Motoura
2015 — conf
A General Framework for Modal Correspondence in Dynamic Epistemic Logic.
LORI
Shota Motoura