Search
Search Research Projects
Search Researchers
How to Use
Japanese
English
Back to previous page
ARISAKA Ryuta
蟻坂 竜大
…
Alternative Names
蟻坂 竜大 アリサカ リュウタ
Less
Researcher Number
00774580
Other IDs
https://orcid.org/0000-0003-3203-1517
Affiliation (Current)
2025: 京都大学, 情報学研究科, 講師
Affiliation (based on the past Project Information)
*help
2025: 京都大学, 情報学研究科, 助教
2023: 京都大学, 情報学研究科, 講師
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
(
5
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
議論の形式検証を実現する論理的手法の研究
Principal Investigator
Principal Investigator
蟻坂 竜大
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
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] 形式的な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
×
×
×
