Sosuke Moriguchi
Sosuke Moriguchi
Kwansei Gakuen University
No verified email
TitleCited byYear
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
12018
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
論理型言語 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
The system can't perform the operation now. Try again later.
Articles 1–20