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 | 4 | 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 | 2 | 2018 |
Operations for Shape Transformations based on Angles. M Tosue, S Moriguchi, K Takahashi ICAART (2), 576-583, 2019 | 1 | 2019 |
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 |
組込みシステム向け関数リアクティブプログラミング言語の内部 DSL としての実装 辻裕太, 森口草介, 渡部卓雄 研究報告組込みシステム (EMB) 2020 (3), 1-8, 2020 | | 2020 |
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 回全国大会講演論文集 2019 (1), 199-200, 2019 | | 2019 |
法律構成を表す双極議論フレームワーク上での推論 川ア樹, 森口草介, 高橋和子 人工知能学会全国大会論文集 第 33 回全国大会 (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 |