蟻坂竜大 ARISAKA Ryuta

研究者番号	00774580
その他のID	https://orcid.org/0000-0003-3203-1517
所属 (現在)	2026年度: 京都大学, 情報学研究科, 講師
所属 (過去の研究課題情報に基づく) *注記	2023年度 – 2025年度: 京都大学, 情報学研究科, 講師 2021年度 – 2022年度: 京都大学, 情報学研究科, 助教
審査区分/研究分野	研究代表者小区分61030:知能情報学関連
キーワード	研究代表者形式検証 / 数理議論 / システム開発 / 対話の数理 / separation logic / 信用 / プログラム検証 / 自動証明 / 詭弁検証 / 議論進行サポート / 汎用議論モデル / 議論検証 / 半自動検証

対話進行手法の数理研究：モデル化および対話進行の適切性判断推論手法開発研究代表者
- 研究代表者
  
  蟻坂竜大
- 研究期間 (年度)
  2025 – 2027
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分61030:知能情報学関連
- 研究機関
  京都大学
議論の形式検証を実現する論理的手法の研究研究代表者
- 研究代表者
  
  蟻坂竜大
- 研究期間 (年度)
  2021 – 2024
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分61030:知能情報学関連
- 研究機関
  京都大学

すべて 2025 2024 2023 2022

すべて雑誌論文学会発表

[雑誌論文] Theme Aspect Argumentation Model for Handling Fallacies2023
- 著者名/発表者名
  Ryuta Arisaka and Ryoma Nakai and Yusuke Kawamoto and Takayuki Ito
- 雑誌名
  
  arXiv
  
  巻: - ページ: 1-71
- オープンアクセス
- データソース
  KAKENHI-PROJECT-21K12028
[雑誌論文] Theme Aspect Argumentation Model for Handling Fallacies2022
- 著者名/発表者名
  Ryuta Arisaka
- 雑誌名
  
  arXiv
  
  巻: -
- オープンアクセス
- データソース
  KAKENHI-PROJECT-21K12028
[学会発表] Argumentation and Logic: A Modern and Natural Connection2025
- 著者名/発表者名
  Ryuta Arisaka
- 学会等名
  6th International Conference on Logic and Argumentation
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K12028
[学会発表] プログラムを用いた定義や証明などの検査とその有用性について2025
- 著者名/発表者名
  蟻坂竜大
- 学会等名
  人工知能と計算論理に関する研究会
- 招待講演
- データソース
  KAKENHI-PROJECT-21K12028
[学会発表] Block Argumentation: Characterising Acceptability Semantics with Two Types of Semantic Constraints2024
- 著者名/発表者名
  Ryuta Arisaka
- 学会等名
  The 21st Pacific Rim International Conference on Artificial Intelligence
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K12028
[学会発表] Semi-Automatic Discovery of Dependency Relationships Among Properties for Ranking-Based Semantics2024
- 著者名/発表者名
  Kengo Hayashi and Ryuta Arisaka
- 学会等名
  The 36th IEEE International Conference on Tools with Artificial Intelligence
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K12028
[学会発表] 形式的なFallacy Detectionについて2023
- 著者名/発表者名
  Ryuta Arisaka
- 学会等名
  合同エージェントワークショップ＆シンポジウム2023 (JAWS2023)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K12028
[学会発表] 数理議論と議論のreasoningについて2023
- 著者名/発表者名
  Ryuta Arisaka
- 学会等名
  合同エージェントワークショップ＆シンポジウム2023 (JAWS2023)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K12028
[学会発表] Relational Acceptability Semantics of Abstract Argumentation2023
- 著者名/発表者名
  Ryuta Arisaka
- 学会等名
  20th Pacific Rim International Conference on Artificial Intelligence (Pricai 23)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K12028

1. 伊藤孝行 (50333555)

共同の研究課題数: 1件

共同の研究成果数: 1件
2. 川本裕輔 (60760006)

共同の研究課題数: 1件

共同の研究成果数: 1件

蟻坂 竜大 ARISAKA Ryuta

研究課題

研究成果

共同研究者

対話進行手法の数理研究：モデル化および対話進行の適切性判断推論手法開発研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

議論の形式検証を実現する論理的手法の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

[雑誌論文] Theme Aspect Argumentation Model for Handling Fallacies2023

著者名/発表者名

雑誌名

データソース

[雑誌論文] Theme Aspect Argumentation Model for Handling Fallacies2022

著者名/発表者名

雑誌名

データソース

[学会発表] Argumentation and Logic: A Modern and Natural Connection2025

著者名/発表者名

学会等名

データソース

[学会発表] プログラムを用いた定義や証明などの検査とその有用性について2025

著者名/発表者名

学会等名

データソース

[学会発表] Block Argumentation: Characterising Acceptability Semantics with Two Types of Semantic Constraints2024

著者名/発表者名

学会等名

データソース

[学会発表] Semi-Automatic Discovery of Dependency Relationships Among Properties for Ranking-Based Semantics2024

著者名/発表者名

学会等名

データソース

[学会発表] 形式的なFallacy Detectionについて2023

著者名/発表者名

学会等名

データソース

[学会発表] 数理議論と議論のreasoningについて2023

著者名/発表者名

学会等名

データソース

[学会発表] Relational Acceptability Semantics of Abstract Argumentation2023

著者名/発表者名

学会等名

データソース

蟻坂竜大 ARISAKA Ryuta