Ryuta Arisaka

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 33

Top Venues

CoRR

PRIMA

JSAI-isAI Workshops

PRICAI (1)

Teesside University, UK (PHD)

Education History

Teesside University, UK

PHD

Publications

Ryuta Arisaka
Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation. CoRR (2024)
Ryuta Arisaka, Jérémie Dauphin, Ken Satoh, Leendert van der Torre
Multi-agent Argumentation and Dialogue. FLAP 9 (4) (2022)
Ryuta Arisaka
Theme Aspect Argumentation Model for Handling Fallacies. CoRR (2022)
Ryuta Arisaka, Takayuki Ito
Relational Acceptability Semantics of Abstract Argumentation. PRICAI (1) (2022)
Ryuta Arisaka, Takayuki Ito
Relational Argumentation Semantics. CoRR (2021)
Ryuta Arisaka, Takayuki Ito
Abstract Interpretation in Formal Argumentation: with a Galois Connection for Abstract Dialectical Frameworks and May-Must Argumentation (First Report). CoRR (2020)
Ryuta Arisaka, Takayuki Ito
Let's Accept a Mission Impossible with Formal Argumentation, or Not. DCAI (2020)
Ryuta Arisaka, Takayuki Ito
Broadening Label-based Argumentation Semantics with May-Must Scales. CoRR (2020)
Ryuta Arisaka, Takayuki Ito
Broadening Label-Based Argumentation Semantics with May-Must Scales. CLAR (2020)
Ryuta Arisaka, Takayuki Ito
Numerical Abstract Persuasion Argumentation for Expressing Concurrent Multi-Agent Negotiations. CoRR (2020)
Ryuta Arisaka, Makoto Hagiwara, Takayuki Ito
Deception/Honesty Detection and (Mis)trust Building in Manipulable Multi-Agent Argumentation: An Insight. PRIMA (2019)
Ryuta Arisaka, Takayuki Ito
Numerical Abstract Persuasion Argumentation for Expressing Concurrent Multi-Agent Negotiations. IJCAI (2019)
Ryuta Arisaka, Stefano Bistarelli, Francesco Santini
Block Argumentation. CoRR (2019)
Ryuta Arisaka, Takayuki Ito
Semantics of Opinion Transitions in Multi-Agent Forum Argumentation. PRICAI (1) (2019)
Ryuta Arisaka
Turing-Completeness of Dynamics in Abstract Persuasion Argumentation. CoRR (2019)
Ryuta Arisaka, Makoto Hagiwara, Takayuki Ito
Formulating Manipulable Argumentation with Intra-/Inter-Agent Preferences. CoRR (2019)
Ryuta Arisaka, Francesco Santini, Stefano Bistarelli
Block Argumentation. PRIMA (2019)
Ryuta Arisaka, Jeremie Dauphin
Abstractly Interpreting Argumentation Frameworks for Sharpening Extensions. CoRR (2018)
Ryuta Arisaka, Stefano Bistarelli
Defence Outsourcing in Argumentation. COMMA (2018)
Ryuta Arisaka, Ken Satoh
Abstract Argumentation / Persuasion / Dynamics. PRIMA (2018)
Ryuta Arisaka, Ken Satoh
Abstract Argumentation / Persuasion / Dynamics. CoRR (2017)
Ryuta Arisaka, Ken Satoh
Coalition Formability Semantics with Conflict-Eliminable Sets of Arguments. AAMAS (2017)
Ryuta Arisaka, Ken Satoh, Leendert W. N. van der Torre
Anything You Say May Be Used Against You in a Court of Law - Abstract Agent Argumentation (Triple-A). AICOL (2017)
Ryuta Arisaka
Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus. FSCD (2016)
Ryuta Arisaka, Ken Satoh
Balancing Rationality and Utility in Logic-Based Argumentation with Classical Logic Sentences and Belief Contraction. PRIMA (2016)
Ryuta Arisaka, Ken Satoh
Coalition Formability Semantics with Conflict-Eliminable Sets of Arguments. CoRR (2016)
Ryuta Arisaka
Predicate Gradual Logic and Linguistics. CoRR (2016)
Ryuta Arisaka, Ken Satoh
Voluntary Manslaughter? A Case Study with Meta-Argumentation with Supports. JSAI-isAI Workshops (2016)
Ryuta Arisaka
Gradual Classical Logic for Attributed Objects - Extended in Re-Presentation. CoRR (2015)
Ryuta Arisaka
How do you revise your belief set with %$;@*? CoRR (2015)
Ryuta Arisaka
Latent Belief Theory and Belief Dependencies: A Solution to the Recovery Problem in the Belief Set Theories. CoRR (2015)
Ryuta Arisaka
A Belief Revision Technique to Model Civil Code Updates. JSAI-isAI Workshops (2015)
Ryuta Arisaka, Anupam Das, Lutz Straßburger
On Nested Sequents for Constructive Modal Logics. Log. Methods Comput. Sci. 11 (3) (2015)
Ryuta Arisaka
Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus. CoRR (2014)
Ryuta Arisaka
Gradual Classical Logic for Attributed Objects. CoRR (2014)
Ryuta Arisaka, Shengchao Qin
LBI Cut Elimination Proof with BI-MultiCut. TASE (2012)

Ryuta Arisaka.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ryuta Arisaka