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

• Multi-agent argumentation and dialogue

  Ryuta Arisaka; Jeremie Dauphin; Ken Satoh; Leendert van der Torre

  IfCoLog Journal of Logics and their Applications, Jul. 2022, Peer-reviewed, Lead author

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

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

  
• 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

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

  
• 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

  

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. 2024, Granted

  自動証明;プログラム検証;数理議論;信用;separation logic

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-21K12028/

Education

Teaching subject(s)

• 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. 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委員