Breadcrumb navigation

Our Researchers

October 31, 2019

Shota Motoura

Ph.D. (Science)
Automated Reasoning Research Group
Data Science Research Laboratories

Research Area

  • Mathematical Logic
  • Dialogue System

Papers

PhD thesis

  • A General Framework for Dynamic Epistemic Logic; supervisor Kazushige Terui

Refereed journals

  • Katsumi Hisao, 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 (in Japanese). Journal of The Japanese Society for Artificial Intelligence, 2020.
  • Shota Motoura, "A general framework for dynamic epistemic logic: towards canonical correspondences."
    Journal of Applied Non-Classical Logics 27(1-2):50-89, 2017.

Conferences

Refereed Conferences

  • Hisao Katsumi, Takuya Hiraoka, Koichiro Yoshino, Kazeto Yamamoto, Shota Motoura, Kunihiko Sadamasa and Satoshi Nakamura. Optimization of Information-Seeking Dialogue Strategy for Argumentation-Based Dialogue System. The Thirty-Third AAAI Conference on Artificial Intelligence, Workshop on Reasoning and Learning for Human-Machine Dialogues (DEEP-DIAL 2019), January, 2019.
  • Takuya Hiraoka, Shota Motoura, and Kunihiko Sadamasa. Detecticon: A Prototype Inquiry Dialog System. the Ninth International Workshop on Spoken Dialogue Systems Technology (IWSDS 2018), 2018/05/16.
  • Shota Motoura, Kazeto Yamamoto, Shumpei Kubosawa, and Takashi Onishi. Translating MFM into FOL: towards plant operation planning. Proceedings of the Third International Workshop on Functional Modelling for Design and Operation of Engineering Systems, 24 - 25 May, 2018, Kurashiki, Japan
  • Shota Motoura, "A General Framework for Modal Correspondence in Dynamic Epistemic Logic", In Proceedings of 5th International Workshop on Logic, Rationality, and Interaction (LORI 2015), LNCS 9394, pp. 282-294, Taipei, Taiwan, 28-30 October 2015

Non-refereed workshops

  • Shota Motoura, "A General Framework for Dynamic Epistemic Logic" [Invited], Prague Workshop on Nonclassical Logics, Prague, Czech Republic, 9 December 2016
  • Shota Motoura, "A General Framework for Modal Correspondence in Dynamic Epistemic Logic" [Invited], Epistemic logic + Modal Logic Workshop, Tokyo, Japan, 4-5 December 2015
  • Shota Motoura, "On the semantic meaning of reduction axioms in public announcement logic", SLAGICS 2013: ALGI and SLACS Join Forces, Kyoto, Japan, 24-26 September 2013
  • Shota Motoura, "On the semantic meaning of reduction axioms in public announcement logic" [Invited], Workshop on Epistemic Logic and Game Theory, Tsukuba, Japan, 8-9 March 2013
  • Shota Motoura, "On the semantic meaning of reduction axioms in public announcement logic", 47th Mathematical Logic Group Meeting, Niigata, Japan, 16-18 November 2012

Biography

2011
Keio University, BSc Mathematics
2013
Kyoto University, MSc Mathematics
2017
Kyoto University, PhD Science