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
Operations for Shape Transformations based on Angles.
M Tosue, S Moriguchi, K Takahashi
ICAART (2), 576-583, 2019
12019
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
組込みシステム向け関数リアクティブプログラミング言語の内部 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
法律構成を表す双極議論フレームワーク上での推論
川ア樹, 森口草介, 高橋和子
人工知能学会全国大会論文集 一般社団法人 人工知能学会, 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
The system can't perform the operation now. Try again later.
Articles 1–20