Arisaka, Ryuta(Graduate School of Informatics, Department of Informatics) | Activity Database on Education and Research, Kyoto University

Arisaka, Ryuta

Graduate School of Informatics, Department of Informatics Senior Lecturer/ Junior Associate Professor

Last Updated :2025/05/27

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

Last Updated :2025/05/27

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

Last Updated :2025/05/27

Education

Teaching subject(s)

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, 工学部

Last Updated :2025/05/27

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

ページ上部へ戻る