Basic Information

Faculty

• 工学部

Academic Degree

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

ID,URL

• J-Global ID

  202001001930745971

researchmap URL

• https://researchmap.jp/ryutaa

Research

Papers

• 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, 12 Nov. 2024, Peer-reviewed, Lead author, Corresponding author

  
• 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), 28 Oct. 2024, Peer-reviewed, Corresponding author

  
• 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, Peer-reviewed

  Access this paper :

  
• Predicate Gradual Logic and Linguistics

  Ryuta Arisaka

  arXiv.1603.05570, Mar. 2016, Lead author, Corresponding author

  
• Facilitation in Abstract Argumentation with Abstract Interpretation

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

  Studies in Computational Intelligence, 2021, Peer-reviewed, Lead author, Corresponding author

  
• Relational Acceptability Semantics of Abstract Argumentation.

  Ryuta Arisaka; Takayuki Ito 0001

  PRICAI (1), 2022, Peer-reviewed, Lead author, Corresponding author

  
• Multi-agent Argumentation and Dialogue

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

  IfCoLog Journal of Logics and their Applications, Aug. 2021, Peer-reviewed, Lead author

  
• Theme Aspect Argumentation Model for Handling Fallacies.

  Ryuta Arisaka

  CoRR, 2022, Lead author, Corresponding author

  
• Relational Argumentation Semantics.

  Ryuta Arisaka; Takayuki Ito

  CoRR, 2021, Lead author, Corresponding author

  
• 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, Lead author, Corresponding author

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

  Ryuta Arisaka; Takayuki Ito

  Distributed Computing and Artificial Intelligence, 17th International Conference, 2020, Peer-reviewed, Lead author, Corresponding author

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

  Ryuta Arisaka; Takayuki Ito

  Logic and Argumentation - Third International Conference, CLAR 2020, 2020, Peer-reviewed, Lead author, Corresponding author

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

  Ryuta Arisaka; Makoto Hagiwara; Takayuki Ito

  CoRR, 2019, Lead author, Corresponding author

  
• Turing-Completeness of Dynamics in Abstract Persuasion Argumentation.

  Ryuta Arisaka

  CoRR, 2019, Lead author, Corresponding author

  
• Block Argumentation.

  Ryuta Arisaka; Francesco Santini 0001; Stefano Bistarelli

  PRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, 2019, Peer-reviewed, Lead author, Corresponding author

  
• 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, Peer-reviewed, Lead author, Corresponding author

  
• 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, Peer-reviewed, Lead author, Corresponding author

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

  Ryuta Arisaka; Takayuki Ito

  IJCAI 2019 International Workshops, Revised Selected Best Papers, 2019, Peer-reviewed, Lead author, Corresponding author

  
• Abstractly Interpreting Argumentation Frameworks for Sharpening Extensions.

  Ryuta Arisaka; Jeremie Dauphin

  CoRR, 2018, Lead author, Corresponding author

  
• Abstract Argumentation / Persuasion / Dynamics.

  Ryuta Arisaka; Ken Satoh

  PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, 2018, Peer-reviewed, Lead author, Corresponding author

  
• Defence Outsourcing in Argumentation.

  Ryuta Arisaka; Stefano Bistarelli

  Computational Models of Argument - Proceedings of COMMA 2018, 2018, Peer-reviewed, Lead author, Corresponding author

  
• A Belief Revision Technique to Model Civil Code Updates

  Ryuta Arisaka

  NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 2017, Peer-reviewed, Lead author, Corresponding author

  
• 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, Peer-reviewed, Lead author, Corresponding author

  
• 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, Peer-reviewed, Lead author, Corresponding author

  
• 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, 01 Jun. 2016, Peer-reviewed, Lead author, Corresponding author

  
• 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, Peer-reviewed, Lead author, Corresponding author

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

  Ryuta Arisaka; Ken Satoh

  New Frontiers in Artificial Intelligence - JSAI-isAI 2016 Workshops, 2016, Peer-reviewed, Lead author, Corresponding author

  
• ON NESTED SEQUENTS FOR CONSTRUCTIVE MODAL LOGICS

  Ryuta Arisaka; Anupam Das; Lutz Strassburger

  LOGICAL METHODS IN COMPUTER SCIENCE, 2015, Peer-reviewed, Lead author

  
• 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, Peer-reviewed

  
• 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, Peer-reviewed, Lead author, Corresponding author

  
• 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, Peer-reviewed

  

Presentations

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

  Ryuta Arisaka

  21st Pacific Rim International Conference on Artificial Intelligence (PRICAI 2024), 22 Nov. 2024

  
• Theme Aspect Argumentation Model for Handling Fallacies

  Ryuta Arisaka

  ICR-CLAiM Seminar at Luxembourg University, 11 Dec. 2023, Invited

  
• Formalisation of SNS Argumentation in Block Argumentation

  Ryuta Arisaka

  The 1st International Workshop on Democracy and AI, 10 Nov. 2022, Invited

  

Books and Other Publications

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

  Rafik Hadfi; Reyhan Aydogan; Takayuki Ito; Ryuta Arisaka, Editor

  Springer, 21 Mar. 2023

  Find Kyoto University's collection of books :

  

External funds: Kakenhi

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

  Grant-in-Aid for Scientific Research (C)

  Basic Section 61030:Intelligent informatics-related

  Kyoto University

  蟻坂 竜大

  From 01 Apr. 2021, To 31 Mar. 2025, Granted

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

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

  Grant-in-Aid for Scientific Research (C)

  Basic Section 61030:Intelligent informatics-related

  Kyoto University

  蟻坂 竜大

  From 01 Apr. 2025, To 31 Mar. 2028, Granted

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

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

External funds: others

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

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

  From 01 Oct. 2021, To 31 Mar. 2022

Education

Teaching subject(s)

• From 01 Apr. 2025, To 31 Mar. 2026

  Computer Science Laboratory and Exercise 1

  9138, Spring, Faculty of Engineering, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Practice of Information Systems

  3221, Spring, Graduate School of Informatics, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Information and Business

  9108, Spring, Faculty of Engineering, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Computer Science Laboratory and Exercise 1

  9138, Spring, Faculty of Engineering, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Practice of Information Systems

  3221, Spring, Graduate School of Informatics, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Computer Science Laboratory and Exercise 1

  9138, Spring, Faculty of Engineering, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Computer Science Laboratory and Exercise 2

  9022, Fall, Faculty of Engineering, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Practice of Information Systems

  3221, Spring, Graduate School of Informatics, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Computer Science Laboratory and Exercise 1

  9138, Spring, Faculty of Engineering, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Practice of Information Systems

  3221, Spring, Graduate School of Informatics, 2
• From Apr. 2021, To Mar. 2022

  Practice of Information Systems (Jp)

  Spring, 情報学研究科
• From Apr. 2021, To Mar. 2022

  Practice of Information Systems (En)

  Spring, 情報学研究科
• From Apr. 2021, To Mar. 2022

  Computer Science Laboratory and Exercise 1

  Spring, 工学部
• From Apr. 2021, To Mar. 2022

  Computer Science Laboratory and Exercise 1

  Spring, 工学部
• From Apr. 2021, To Mar. 2022

  Computer Science Laboratory and Exercise 2

  Fall, 工学部

Administration

Faculty management (title, position)

• From 01 Apr. 2023, To 31 Mar. 2025

  WebサイトWG
• From 01 Apr. 2024, To 31 Mar. 2025

  教務委員会委員
• From 01 Apr. 2023, To 31 Mar. 2024

  評価・広報委員会委員
• From 01 Apr. 2021, To 31 Mar. 2022

  情報セキュリティ委員会技術責任者
• From 01 Apr. 2021, To 31 Mar. 2022

  情報セキュリティ作業委員会委員
• From 01 Apr. 2021, To 31 Mar. 2022

  情報セキュリティWG委員
• From 01 Apr. 2021, To 31 Mar. 2022

  計算機小委員会委員
• From 01 Apr. 2021, To 31 Mar. 2022

  システム運用WG委員

Academic, Social Contribution

Committee Memberships

• From 2022, To 2025

  編集委員, 電子情報通信学会 「Special Section on Information and Communication Technology to Support Hyperconnectivity」小特集編集委員会
• From Jan. 2024, To Dec. 2024

  Program Committee Member, 18th International Workshop on Juris-informatics (JURISIN 2024)
• From Jan. 2024, To Dec. 2024

  Demo Track Program Committee Member, 27TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI-24)
• From Jan. 2024, To Dec. 2024

  Program Committee Member, The 21st Pacific Rim International conterence on Artificial Intelligence (PRICAI2024)
• From Jan. 2024, To Dec. 2024

  Program Co-Chair, The 25th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2024)
• From Jan. 2024, To Dec. 2024

  Program Committee Member, The 39th Annual AAAI Conference on Artificial Intelligence (AAAI-25)
• From Jan. 2023, To Dec. 2023

  Program Committee Member, 17th International Workshop on Juris-informatics (JURISIN 2023)
• From Jan. 2023, To Dec. 2023

  Program Committee Member, The 20th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2023)
• From Jan. 2023, To Dec. 2023

  Program Committee Member, The 38th Annual AAAI Conference on Artificial Intelligence (AAAI-24)
• From Jan. 2022, To Dec. 2022

  Workshop Co-Chair, 19th Pacific Rim International Conference on Artificial Intelligence (PRICAI2022)
• From Jan. 2022, To Dec. 2022

  Program Committee Member, 16th International Workshop on Juris-informatics (JURISIN 2022)
• From Jan. 2022, To Dec. 2022

  Local Arrangement Co-Chair, 17th International Conference on Knowledge, Information and Creativity Support Systems (KICSS2022)
• From Jan. 2022, To Dec. 2022

  Program Committee Member, The 37th Annual AAAI Conference on Artificial Intelligence (AAAI-23)
• From Jan. 2022, To Jan. 2022

  Program Committee Member, The 24th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2022)
• From Jan. 2021, To Dec. 2021

  Program Committee Member, 15th International Workshop on Juris-informatics (JURISIN 2021)
• From Jan. 2021, To Dec. 2021

  Program Committee Member, 30th International Joint Conference on Artificial Intelligence (IJCAI 2021)
• From Jan. 2021, To Dec. 2021

  Program Co-Chair, 5th IEEE International Conference on Agents (IEEE ICA2021)
• From Jan. 2020, To Dec. 2020

  Program Committee Member, 14th International Workshop on Juris-informatics (JURISIN 2020)
• From Jan. 2020, To Dec. 2020

  Program Committee Member, The 23rd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2020)
• From Jan. 2019, To Dec. 2019

  Program Committee Member, 13th International Workshop on Juris-informatics (JURISIN 2019)
• From Jan. 2019, To Dec. 2019

  Program Committee Member, The 22nd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2019)
• From Jan. 2018, To Dec. 2018

  Program Committee Member, 12th International Workshop on Juris-informatics (JURISIN 2018)
• From Jan. 2017, To Dec. 2017

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