LBI Cut Elimination Proof with BI-MultiCut. - Ryuta Arisaka; Shengchao Qin (TASE, 2012)

Proof-theoretical observations of BI and BBI base-logic interactions, and development of phased sequence calculus to define logic combinations. - Ryuta Arisaka (2013)

Gradual Classical Logic for Attributed Objects. - Ryuta Arisaka (CoRR, 2014)

A Belief Revision Technique to Model Civil Code Updates. - Ryuta Arisaka (JSAI-isAI Workshops, 2015)

Gradual Classical Logic for Attributed Objects - Extended in Re-Presentation. - Ryuta Arisaka (CoRR, 2015)

How do you revise your belief set with %$;@*? - Ryuta Arisaka (CoRR, 2015)

Latent Belief Theory and Belief Dependencies: A Solution to the Recovery Problem in the Belief Set Theories. - Ryuta Arisaka (CoRR, 2015)

On Nested Sequents for Constructive Modal Logics. - Ryuta Arisaka; Anupam Das 002; Lutz Straßburger (Log. Methods Comput. Sci., 2015)

Voluntary Manslaughter? A Case Study with Meta-Argumentation with Supports. - Ryuta Arisaka; Ken Satoh (JSAI-isAI Workshops, 2016)

Balancing Rationality and Utility in Logic-Based Argumentation with Classical Logic Sentences and Belief Contraction. - Ryuta Arisaka; Ken Satoh (PRIMA, 2016)

Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus. - Ryuta Arisaka (FSCD, 2016)

Predicate Gradual Logic and Linguistics. - Ryuta Arisaka (CoRR, 2016)

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 (AICOL, 2017)

Coalition Formability Semantics with Conflict-Eliminable Sets of Arguments. - Ryuta Arisaka; Ken Satoh (AAMAS, 2017)

Defence Outsourcing in Argumentation. - Ryuta Arisaka; Stefano Bistarelli (COMMA, 2018)

Abstract Argumentation / Persuasion / Dynamics. - Ryuta Arisaka; Ken Satoh (PRIMA, 2018)

Abstractly Interpreting Argumentation Frameworks for Sharpening Extensions. - Ryuta Arisaka; Jeremie Dauphin (CoRR, 2018)

Numerical Abstract Persuasion Argumentation for Expressing Concurrent Multi-Agent Negotiations. - Ryuta Arisaka; Takayuki Ito 001 (IJCAI, 2019)

Semantics of Opinion Transitions in Multi-Agent Forum Argumentation. - Ryuta Arisaka; Takayuki Ito 001 (PRICAI (1), 2019)

Block Argumentation. - Ryuta Arisaka; Francesco Santini 001; Stefano Bistarelli (PRIMA, 2019)

Deception/Honesty Detection and (Mis)trust Building in Manipulable Multi-Agent Argumentation: An Insight. - Ryuta Arisaka; Makoto Hagiwara; Takayuki Ito 001 (PRIMA, 2019)

Turing-Completeness of Dynamics in Abstract Persuasion Argumentation. - Ryuta Arisaka (CoRR, 2019)

Formulating Manipulable Argumentation with Intra-/Inter-Agent Preferences. - Ryuta Arisaka; Makoto Hagiwara; Takayuki Ito 001 (CoRR, 2019)

Broadening Label-Based Argumentation Semantics with May-Must Scales. - Ryuta Arisaka; Takayuki Ito 001 (CLAR, 2020)

Let's Accept a Mission Impossible with Formal Argumentation, or Not. - Ryuta Arisaka; Takayuki Ito 001 (DCAI, 2020)

Abstract Interpretation in Formal Argumentation: with a Galois Connection for Abstract Dialectical Frameworks and May-Must Argumentation (First Report). - Ryuta Arisaka; Takayuki Ito 001 (CoRR, 2020)

Relational Argumentation Semantics. - Ryuta Arisaka; Takayuki Ito 001 (CoRR, 2021)

Relational Acceptability Semantics of Abstract Argumentation. - Ryuta Arisaka; Takayuki Ito 001 (PRICAI (1), 2022)

Theme Aspect Argumentation Model for Handling Fallacies. - Ryuta Arisaka (CoRR, 2022)

Multi-agent Argumentation and Dialogue. - Ryuta Arisaka; Jérémie Dauphin; Ken Satoh; Leendert van der Torre (FLAP, 2022)

Semi-Automatic Discovery of Dependency Relationships Among Properties for Ranking-Based Semantics. - Kengo Hayashi; Ryuta Arisaka (ICTAI, 2024)

Converting Text Documents into Graph-based Documents with Local Discourse Structure and Semantic Hierarchy. - Keiichiro Nii; Ryuta Arisaka; Shiyao Ding; Takayuki Ito (KES, 2024)

Block Argumentation: Characterising Acceptability Semantics with Two Types of Semantic Constraints. - Ryuta Arisaka (PRICAI (5), 2024)

Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation. - Ryuta Arisaka (CoRR, 2024)