基本情報

学部兼担

• 工学部

学位

• M.S.(University of Manchester)
• Ph.D.(Teesside University)

ID,URL

• J-Global ID

  202001001930745971

researchmap URL

• https://researchmap.jp/ryutaa

研究

論文

• PRIMA 2024: Principles and Practice of Multi-Agent Systems

  Lecture Notes in Computer Science, 2025年

  
• Block Argumentation: Characterising Acceptability Semantics with Two Types of Semantic Constraints

  Ryuta Arisaka

  Lecture Notes in Computer Science, 2024年11月12日, 査読有り, 筆頭著者, 責任著者

  
• Semi-Automatic Discovery of Dependency Relationships Among Properties for Ranking-Based Semantics

  Kengo Hayashi; Ryuta Arisaka

  2024 IEEE 36th International Conference on Tools with Artificial Intelligence (ICTAI), 2024年10月28日, 査読有り, 責任著者

  
• Converting Text Documents into Graph-based Documents with Local Discourse Structure and Semantic Hierarchy

  Keiichiro Nii; Ryuta Arisaka; Shiyao Ding; Takayuki Ito

  Procedia Computer Science, 2024年, 査読有り

  この論文にアクセスする：

  
• Predicate Gradual Logic and Linguistics

  Ryuta Arisaka

  arXiv.1603.05570, 2016年03月, 筆頭著者, 責任著者

  
• Facilitation in Abstract Argumentation with Abstract Interpretation

  Ryuta Arisaka; Jérémie Dauphin; Takayuki Ito

  Studies in Computational Intelligence, 2021年, 査読有り, 筆頭著者, 責任著者

  
• Relational Acceptability Semantics of Abstract Argumentation.

  Ryuta Arisaka; Takayuki Ito 0001

  PRICAI (1), 2022年, 査読有り, 筆頭著者, 責任著者

  
• Multi-agent Argumentation and Dialogue

  Ryuta Arisaka; Jérémie Dauphin; Ken Satoh; Leendert van der Torre

  IfCoLog Journal of Logics and their Applications, 2021年08月, 査読有り, 筆頭著者

  
• Theme Aspect Argumentation Model for Handling Fallacies.

  Ryuta Arisaka

  CoRR, 2022年, 筆頭著者, 責任著者

  
• Relational Argumentation Semantics.

  Ryuta Arisaka; Takayuki Ito

  CoRR, 2021年, 筆頭著者, 責任著者

  
• Abstract Interpretation in Formal Argumentation: with a Galois Connection for Abstract Dialectical Frameworks and May-Must Argumentation (First Report).

  Ryuta Arisaka; Takayuki Ito

  CoRR, 2020年, 筆頭著者, 責任著者

  
• Let's Accept a Mission Impossible with Formal Argumentation, or Not.

  Ryuta Arisaka; Takayuki Ito

  Distributed Computing and Artificial Intelligence, 17th International Conference, 2020年, 査読有り, 筆頭著者, 責任著者

  
• Broadening Label-Based Argumentation Semantics with May-Must Scales.

  Ryuta Arisaka; Takayuki Ito

  Logic and Argumentation - Third International Conference, CLAR 2020, 2020年, 査読有り, 筆頭著者, 責任著者

  
• Formulating Manipulable Argumentation with Intra-/Inter-Agent Preferences.

  Ryuta Arisaka; Makoto Hagiwara; Takayuki Ito

  CoRR, 2019年, 筆頭著者, 責任著者

  
• Turing-Completeness of Dynamics in Abstract Persuasion Argumentation.

  Ryuta Arisaka

  CoRR, 2019年, 筆頭著者, 責任著者

  
• Block Argumentation.

  Ryuta Arisaka; Francesco Santini 0001; Stefano Bistarelli

  PRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, 2019年, 査読有り, 筆頭著者, 責任著者

  
• Deception/Honesty Detection and (Mis)trust Building in Manipulable Multi-Agent Argumentation: An Insight.

  Ryuta Arisaka; Makoto Hagiwara; Takayuki Ito

  PRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, 2019年, 査読有り, 筆頭著者, 責任著者

  
• Semantics of Opinion Transitions in Multi-Agent Forum Argumentation.

  Ryuta Arisaka; Takayuki Ito

  PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, 2019年, 査読有り, 筆頭著者, 責任著者

  
• Numerical Abstract Persuasion Argumentation for Expressing Concurrent Multi-Agent Negotiations.

  Ryuta Arisaka; Takayuki Ito

  IJCAI 2019 International Workshops, Revised Selected Best Papers, 2019年, 査読有り, 筆頭著者, 責任著者

  
• Abstractly Interpreting Argumentation Frameworks for Sharpening Extensions.

  Ryuta Arisaka; Jeremie Dauphin

  CoRR, 2018年, 筆頭著者, 責任著者

  
• Abstract Argumentation / Persuasion / Dynamics.

  Ryuta Arisaka; Ken Satoh

  PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, 2018年, 査読有り, 筆頭著者, 責任著者

  
• Defence Outsourcing in Argumentation.

  Ryuta Arisaka; Stefano Bistarelli

  Computational Models of Argument - Proceedings of COMMA 2018, 2018年, 査読有り, 筆頭著者, 責任著者

  
• A Belief Revision Technique to Model Civil Code Updates

  Ryuta Arisaka

  NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 2017年, 査読有り, 筆頭著者, 責任著者

  
• Coalition Formability Semantics with Conflict-Eliminable Sets of Arguments.

  Ryuta Arisaka; Ken Satoh

  Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, 2017年, 査読有り, 筆頭著者, 責任著者

  
• Anything You Say May Be Used Against You in a Court of Law - Abstract Agent Argumentation (Triple-A).

  Ryuta Arisaka; Ken Satoh; Leendert W. N. van der Torre

  AI Approaches to the Complexity of Legal Systems - AICOL International Workshops 2015-2017, 2017年, 査読有り, 筆頭著者, 責任著者

  
• Structural interactions and absorption of structural rules in BI sequent calculus

  Ryuta Arisaka

  1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, 2016年06月01日, 査読有り, 筆頭著者, 責任著者

  
• Balancing Rationality and Utility in Logic-Based Argumentation with Classical Logic Sentences and Belief Contraction

  Ryuta Arisaka; Ken Satoh

  PRIMA 2016: PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS, 2016年, 査読有り, 筆頭著者, 責任著者

  
• Voluntary Manslaughter? A Case Study with Meta-Argumentation with Supports.

  Ryuta Arisaka; Ken Satoh

  New Frontiers in Artificial Intelligence - JSAI-isAI 2016 Workshops, 2016年, 査読有り, 筆頭著者, 責任著者

  
• ON NESTED SEQUENTS FOR CONSTRUCTIVE MODAL LOGICS

  Ryuta Arisaka; Anupam Das; Lutz Strassburger

  LOGICAL METHODS IN COMPUTER SCIENCE, 2015年, 査読有り, 筆頭著者

  
• RB_DSOP: a rule based disjoint sum of products synthesis method

  P Balasubramanian; R Arisaka; HR Arabnia

  Proceedings of the International Conference on Computer Design (CDES), 2012年, 査読有り

  
• LBI cut elimination proof with BI-MultiCut

  Ryuta Arisaka; Shengchao Qin

  Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 2012年, 査読有り, 筆頭著者, 責任著者

  
• A set theory based factoring technique and its use for low power logic design

  Padmanabhan Balasubramanian; Ryuta Arisaka

  International Journal of Computer, Electrical, Automation, Control and Information Engineering, 2007年, 査読有り

  

講演・口頭発表等

• Block Argumentation: Characterising Acceptability Semantics with Two Types of Constraints

  Ryuta Arisaka

  21st Pacific Rim International Conference on Artificial Intelligence (PRICAI 2024), 2024年11月22日

  
• Theme Aspect Argumentation Model for Handling Fallacies

  Ryuta Arisaka

  ICR-CLAiM Seminar at Luxembourg University, 2023年12月11日, 招待有り

  
• Formalisation of SNS Argumentation in Block Argumentation

  Ryuta Arisaka

  The 1st International Workshop on Democracy and AI, 2022年11月10日, 招待有り

  

書籍等出版物

• Recent Advances in Agent-Based Negotiation: Applications and Competition Challenges (Studies in Computational Intelligence, 1092)

  Rafik Hadfi; Reyhan Aydogan; Takayuki Ito; Ryuta Arisaka, 編者(編著者)

  Springer, 2023年03月21日

  京大の蔵書を調べる：

  

外部資金：科学研究費補助金

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

  基盤研究(C)

  小区分61030:知能情報学関連

  京都大学

  蟻坂 竜大

  自 2021年04月01日, 至 2025年03月31日, 交付

  詭弁検証;議論検証;数理議論;議論進行サポート;形式検証;自動証明;プログラム検証;信用;separation logic

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-21K12028/
• 対話進行手法の数理研究：モデル化および対話進行の適切性判断推論手法開発

  基盤研究(C)

  小区分61030:知能情報学関連

  京都大学

  蟻坂 竜大

  自 2025年04月01日, 至 2028年03月31日, 交付

  対話の数理;数理議論;形式検証;システム開発

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-25K15245/

外部資金：その他

• [特定課題調査] 詭弁からの防御のためのAI技術に関する議論モデル・技術の検討と大規模化可能性の検証

  Japan Science and Technology Agency, 戦略的創造研究推進事業

  自 2021年10月01日, 至 2022年03月31日

教育

担当科目

• 自 2025年04月01日, 至 2026年03月31日

  計算機科学実験及演習１

  9138, 前期, 工学部, 2
• 自 2025年04月01日, 至 2026年03月31日

  Practice of Information Systems

  3221, 前期, 情報学研究科, 2
• 自 2024年04月01日, 至 2025年03月31日

  情報と職業

  9108, 前期, 工学部, 2
• 自 2024年04月01日, 至 2025年03月31日

  計算機科学実験及演習１

  9138, 前期, 工学部, 2
• 自 2024年04月01日, 至 2025年03月31日

  Practice of Information Systems

  3221, 前期, 情報学研究科, 2
• 自 2023年04月01日, 至 2024年03月31日

  計算機科学実験及演習１

  9138, 前期, 工学部, 2
• 自 2023年04月01日, 至 2024年03月31日

  計算機科学実験及演習２

  9022, 後期, 工学部, 2
• 自 2023年04月01日, 至 2024年03月31日

  Practice of Information Systems

  3221, 前期, 情報学研究科, 2
• 自 2022年04月01日, 至 2023年03月31日

  計算機科学実験及演習１

  9138, 前期, 工学部, 2
• 自 2022年04月01日, 至 2023年03月31日

  Practice of Information Systems

  3221, 前期, 情報学研究科, 2
• 自 2021年04月, 至 2022年03月

  情報システム論実習（日本語）

  前期, 情報学研究科
• 自 2021年04月, 至 2022年03月

  情報システム論実習（英語）

  前期, 情報学研究科
• 自 2021年04月, 至 2022年03月

  計算機科学実験及演習１（H26以前入学者）

  前期, 工学部
• 自 2021年04月, 至 2022年03月

  計算機科学実験及演習１（H27以降入学者）

  前期, 工学部
• 自 2021年04月, 至 2022年03月

  計算機科学実験及演習２（計算機）

  後期, 工学部

大学運営

部局運営(役職等)

• 自 2023年04月01日, 至 2025年03月31日

  WebサイトWG
• 自 2024年04月01日, 至 2025年03月31日

  教務委員会委員
• 自 2023年04月01日, 至 2024年03月31日

  評価・広報委員会委員
• 自 2021年04月01日, 至 2022年03月31日

  情報セキュリティ委員会技術責任者
• 自 2021年04月01日, 至 2022年03月31日

  情報セキュリティ作業委員会委員
• 自 2021年04月01日, 至 2022年03月31日

  情報セキュリティWG委員
• 自 2021年04月01日, 至 2022年03月31日

  計算機小委員会委員
• 自 2021年04月01日, 至 2022年03月31日

  システム運用WG委員

学術・社会貢献

委員歴

• 自 2022年, 至 2025年

  編集委員, 電子情報通信学会 「Special Section on Information and Communication Technology to Support Hyperconnectivity」小特集編集委員会
• 自 2024年01月, 至 2024年12月

  Program Committee Member, 18th International Workshop on Juris-informatics (JURISIN 2024)
• 自 2024年01月, 至 2024年12月

  Demo Track Program Committee Member, 27TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI-24)
• 自 2024年01月, 至 2024年12月

  Program Committee Member, The 21st Pacific Rim International conterence on Artificial Intelligence (PRICAI2024)
• 自 2024年01月, 至 2024年12月

  Program Co-Chair, The 25th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2024)
• 自 2024年01月, 至 2024年12月

  Program Committee Member, The 39th Annual AAAI Conference on Artificial Intelligence (AAAI-25)
• 自 2023年01月, 至 2023年12月

  Program Committee Member, 17th International Workshop on Juris-informatics (JURISIN 2023)
• 自 2023年01月, 至 2023年12月

  Program Committee Member, The 20th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2023)
• 自 2023年01月, 至 2023年12月

  Program Committee Member, The 38th Annual AAAI Conference on Artificial Intelligence (AAAI-24)
• 自 2022年01月, 至 2022年12月

  Workshop Co-Chair, 19th Pacific Rim International Conference on Artificial Intelligence (PRICAI2022)
• 自 2022年01月, 至 2022年12月

  Program Committee Member, 16th International Workshop on Juris-informatics (JURISIN 2022)
• 自 2022年01月, 至 2022年12月

  Local Arrangement Co-Chair, 17th International Conference on Knowledge, Information and Creativity Support Systems (KICSS2022)
• 自 2022年01月, 至 2022年12月

  Program Committee Member, The 37th Annual AAAI Conference on Artificial Intelligence (AAAI-23)
• 自 2022年01月, 至 2022年01月

  Program Committee Member, The 24th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2022)
• 自 2021年01月, 至 2021年12月

  Program Committee Member, 15th International Workshop on Juris-informatics (JURISIN 2021)
• 自 2021年01月, 至 2021年12月

  Program Committee Member, 30th International Joint Conference on Artificial Intelligence (IJCAI 2021)
• 自 2021年01月, 至 2021年12月

  Program Co-Chair, 5th IEEE International Conference on Agents (IEEE ICA2021)
• 自 2020年01月, 至 2020年12月

  Program Committee Member, 14th International Workshop on Juris-informatics (JURISIN 2020)
• 自 2020年01月, 至 2020年12月

  Program Committee Member, The 23rd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2020)
• 自 2019年01月, 至 2019年12月

  Program Committee Member, 13th International Workshop on Juris-informatics (JURISIN 2019)
• 自 2019年01月, 至 2019年12月

  Program Committee Member, The 22nd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2019)
• 自 2018年01月, 至 2018年12月

  Program Committee Member, 12th International Workshop on Juris-informatics (JURISIN 2018)
• 自 2017年01月, 至 2017年12月

  Program Committee Member, 11th International Workshop on Juris-informatics (JURISIN 2017)