| Transformation from PROLEG to a Bipolar Argumentation Framework T KAWASAKI, S MORIGUCHI, K TAKAHASHI SAFA@ COMMA, 36-47, 2018 | 4 | 2018 |
| An interactive extension mechanism for reusing verified programs S Moriguchi, T Watanabe Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1236-1243, 2013 | 3 | 2013 |
| Qualitative Shape Representation and Reasoning Based on Concavity and Tangent Point M Tosue, S Moriguchi, K Takahashi Proceedings of the 31st International Workshop on Qualitative Reasoning, 2018 | 1 | 2018 |
| Expressing the Characteristics of an Argumentation Framework. S Moriguchi, K Takahashi SAFA@ COMMA, 60-71, 2018 | 1 | 2018 |
| Towards Verified Construction for Planar Class of a Qualitative Spatial Representation. S Moriguchi, M Goto, K Takahashi SCSS, 117-129, 2016 | 1 | 2016 |
| Formalization of a surface subdivision allowing a region with holes without coordinates K Takahashi, S Moriguchi, M Goto ADG2016, 190-207, 2016 | 1 | 2016 |
| Formalization of the behavior of content-centric networking S Moriguchi, T Morishima, M Goto, K Takahashi Procedia Computer Science 56, 197-204, 2015 | 1 | 2015 |
| Hybrid Reasoning on a Bipolar Argumentation Framework T Kawasaki, S Moriguchi, K Takahashi International Conference on Scalable Uncertainty Management, 79-92, 2019 | | 2019 |
| Compiling Arguments in an Argumentation Framework into Three-valued Logical Expressions S Moriguchi, K Takahashi arXiv preprint arXiv:1911.01185, 2019 | | 2019 |
| 論理型言語 PROLEG から双極議論フレームワークへの変換の Coq による形式化と証明 中西瑠海， 森口草介， 高橋和子 情報処理学会第 81 回全国大会 5, 02, 2019 | | 2019 |
| 法律構成を表す双極議論フレームワーク上での推論 川﨑樹， 森口草介， 高橋和子 人工知能学会全国大会論文集 一般社団法人 人工知能学会, 4E3OS7b03-4E3OS7b03, 2019 | | 2019 |
| Reasoning by a Bipolar Argumentation Framework for PROLEG T Kawasaki, S Moriguchi, K Takahashi JSAI International Symposium on Artificial Intelligence, 115-130, 2018 | | 2018 |
| プログラム操作のためのホーア論理の拡張 森口草介 日本ソフトウェア科学会大会論文集 34, 279-286, 2017 | | 2017 |
| Superposition of Qualitative Rectangles using a Quantitative Model. T Kato, S Moriguchi, K Takahashi ICAART (2), 423-430, 2017 | | 2017 |
| Verification of Content-Centric Networking Using Proof Assistant S Moriguchi, T Morishima, M Goto, K Takahashi IEICE Transactions on Communications 99 (11), 2297-2304, 2016 | | 2016 |
| レコードの拡張を許す対話的修正機構 森口草介， 高橋和子 コンピュータ ソフトウェア 33 (2), 2_125-2_138, 2016 | | 2016 |
| 定性空間表現の Coq による形式化およびその平面性の証明 後藤瑞貴， 森口草介， 高橋和子 情報処理学会論文誌プログラミング (PRO) 8 (3), 36-36, 2015 | | 2015 |
| Coq を使ったツリー型ネットワークトポロジ上での CCN のモデル化と検証について 森嶋崇， 後藤瑞貴， 森口草介， 高橋和子 情報処理学会論文誌プログラミング (PRO) 8 (3), 35-35, 2015 | | 2015 |
| Towards Verification of Program Generation S Moriguchi 九州大学マス・フォア・インダストリ研究所 61, 9-10, 2015 | | 2015 |
| 対話的修正と対象プログラムとの合成手法 森口草介， 高橋和子 日本ソフトウェア科学会大会論文集 31, 486-493, 2014 | | 2014 |
