基本情報

学部兼担

• 工学部

学位

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

ID,URL

• J-Global ID

  202001001930745971

researchmap URL

• https://researchmap.jp/ryutaa

研究

論文

• Multi-agent argumentation and dialogue

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

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

  
• 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年, 査読有り

  

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

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

  基盤研究(C)

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

  京都大学

  蟻坂 竜大

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

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

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

教育

担当科目

• 自 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月

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

  後期, 工学部

大学運営

部局運営(役職等)

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