Search
Search Research Projects
Search Researchers
How to Use
Japanese
English
Back to previous page
ARISAKA Ryuta
蟻坂 竜大
…
Alternative Names
Arisaka Ryuta 蟻坂 竜大
Less
Researcher Number
00774580
Other IDs
https://orcid.org/0000-0003-3203-1517
Affiliation (Current)
2026: 京都大学, 情報学研究科, 講師
Affiliation (based on the past Project Information)
*help
2023 – 2025: 京都大学, 情報学研究科, 講師
2021 – 2022: 京都大学, 情報学研究科, 助教
Review Section/Research Field
Principal Investigator
Basic Section 61030:Intelligent informatics-related
Keywords
Principal Investigator
形式検証 / 数理議論 / システム開発 / 対話の数理 / separation logic / 信用 / プログラム検証 / 自動証明 / 詭弁検証 / 議論進行サポート / 汎用議論モデル / 議論検証 / 半自動検証
Research Projects
(
2
results)
Research Products
(
9
results)
Co-Researchers
(
2
People)
Project Start Year (Newest)
Project Start Year (Oldest)
対話進行手法の数理研究：モデル化および対話進行の適切性判断推論手法開発
Principal Investigator
Principal Investigator
蟻坂 竜大
Project Period (FY)
2025 – 2027
Research Category
Grant-in-Aid for Scientific Research (C)
Review Section
Basic Section 61030:Intelligent informatics-related
Research Institution
Kyoto University
Research on Logical Methods for the Formal Verification of Argumentation
Principal Investigator
Principal Investigator
Arisaka Ryuta
Project Period (FY)
2021 – 2024
Research Category
Grant-in-Aid for Scientific Research (C)
Review Section
Basic Section 61030:Intelligent informatics-related
Research Institution
Kyoto University
All
2025
2024
2023
2022
All
Journal Article
Presentation
[Journal Article] Theme Aspect Argumentation Model for Handling Fallacies
2023
Author(s)
Ryuta Arisaka and Ryoma Nakai and Yusuke Kawamoto and Takayuki Ito
Journal Title
arXiv
Volume
: -
Pages
: 1-71
Open Access
Data Source
KAKENHI-PROJECT-21K12028
[Journal Article] Theme Aspect Argumentation Model for Handling Fallacies
2022
Author(s)
Ryuta Arisaka
Journal Title
arXiv
Volume
: -
Open Access
Data Source
KAKENHI-PROJECT-21K12028
[Presentation] Argumentation and Logic: A Modern and Natural Connection
2025
Author(s)
Ryuta Arisaka
Organizer
6th International Conference on Logic and Argumentation
Invited / Int'l Joint Research
Data Source
KAKENHI-PROJECT-21K12028
[Presentation] プログラムを用いた定義や証明などの検査とその有用性について
2025
Author(s)
蟻坂竜大
Organizer
人工知能と計算論理に関する研究会
Invited
Data Source
KAKENHI-PROJECT-21K12028
[Presentation] Block Argumentation: Characterising Acceptability Semantics with Two Types of Semantic Constraints
2024
Author(s)
Ryuta Arisaka
Organizer
The 21st Pacific Rim International Conference on Artificial Intelligence
Int'l Joint Research
Data Source
KAKENHI-PROJECT-21K12028
[Presentation] Semi-Automatic Discovery of Dependency Relationships Among Properties for Ranking-Based Semantics
2024
Author(s)
Kengo Hayashi and Ryuta Arisaka
Organizer
The 36th IEEE International Conference on Tools with Artificial Intelligence
Int'l Joint Research
Data Source
KAKENHI-PROJECT-21K12028
[Presentation] 形式的なFallacy Detectionについて
2023
Author(s)
Ryuta Arisaka
Organizer
合同エージェントワークショップ＆シンポジウム2023 (JAWS2023)
Int'l Joint Research
Data Source
KAKENHI-PROJECT-21K12028
[Presentation] 数理議論と議論のreasoningについて
2023
Author(s)
Ryuta Arisaka
Organizer
合同エージェントワークショップ＆シンポジウム2023 (JAWS2023)
Int'l Joint Research
Data Source
KAKENHI-PROJECT-21K12028
[Presentation] Relational Acceptability Semantics of Abstract Argumentation
2023
Author(s)
Ryuta Arisaka
Organizer
20th Pacific Rim International Conference on Artificial Intelligence (Pricai 23)
Int'l Joint Research
Data Source
KAKENHI-PROJECT-21K12028
# of Projects (Dsc)
# of Projects (Asc)
1.
伊藤 孝行
(50333555)
# of Collaborated Projects:
1 results
# of Collaborated Products:
1 results
2.
川本 裕輔
(60760006)
# of Collaborated Projects:
1 results
# of Collaborated Products:
1 results
×
×
×
