Sosuke Moriguchi
Sosuke Moriguchi
Kwansei Gakuen University
No verified email
Title
Cited by
Cited by
Year
Transformation from PROLEG to a Bipolar Argumentation Framework
T KAWASAKI, S MORIGUCHI, K TAKAHASHI
SAFA@ COMMA, 36-47, 2018
42018
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
32013
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
22018
Expressing the Characteristics of an Argumentation Framework.
S Moriguchi, K Takahashi
SAFA@ COMMA, 60-71, 2018
12018
Towards Verified Construction for Planar Class of a Qualitative Spatial Representation.
S Moriguchi, M Goto, K Takahashi
SCSS, 117-129, 2016
12016
Formalization of a surface subdivision allowing a region with holes without coordinates
K Takahashi, S Moriguchi, M Goto
ADG2016, 190-207, 2016
12016
Formalization of the behavior of content-centric networking
S Moriguchi, T Morishima, M Goto, K Takahashi
Procedia Computer Science 56, 197-204, 2015
12015
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
Operations for Shape Transformations Based on Angles
M Tosue, S Moriguchi, K Takahashi
Proceedings of the 11th International Conference on Agents and Artificial …, 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
The system can't perform the operation now. Try again later.
Articles 1–20