Follow
Sosuke Moriguchi
Sosuke Moriguchi
Kwansei Gakuen University
Verified email at acm.org
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
72018
Hybrid Reasoning on a Bipolar Argumentation Framework
T Kawasaki, S Moriguchi, K Takahashi
International Conference on Scalable Uncertainty Management, 79-92, 2019
42019
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
42013
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
関数リアクティブプログラミング言語のための時間制約付きイベントの記述方式
堀紗知子, 森口草介, 渡部卓雄
研究報告組込みシステム (EMB) 2021 (3), 1-2, 2021
2021
関数リアクティブプログラミングにおける時変値の初期値の自動決定
白鳥佑弥, 森口草介, 渡部卓雄
研究報告組込みシステム (EMB) 2021 (2), 1-5, 2021
2021
組込みシステム向け FRP 言語におけるモデル検査を用いた状態依存動作の検証
内藤博, 森口草介, 渡部卓雄
研究報告組込みシステム (EMB) 2021 (4), 1-2, 2021
2021
WSAN 向けマクロプログラミング言語の提案
後藤司, 森口草介, 渡部卓雄
コンピュータ ソフトウェア 38 (2), 2_20-2_26, 2021
2021
Functional Reactive Programming for Embedded Systems with GPGPUs
Y Sakurai, S Moriguchi, T Watanabe
2021 10th International Conference on Software and Computer Applications, 75-80, 2021
2021
A Functional Reactive Programming Language for Small-Scale Embedded Systems with Recursive Data Types
A Yokoyama, S Moriguchi, T Watanabe
Journal of Information Processing 29, 685-706, 2021
2021
組込みシステム向け関数リアクティブプログラミング言語の内部 DSL としての実装
辻裕太, 森口草介, 渡部卓雄
研究報告組込みシステム (EMB) 2020 (3), 1-8, 2020
2020
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
The system can't perform the operation now. Try again later.
Articles 1–20