Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Ryuta Arisaka

Ryuta Arisaka

INRIA Saclay - Ile de France

Relational Argumentation Semantics


Apr 26, 2021
Ryuta Arisaka, Takayuki Ito


  Access Paper or Ask Questions

Abstract Interpretation in Formal Argumentation: with a Galois Connection for Abstract Dialectical Frameworks and May-Must Argumentation (First Report)


Jul 22, 2020
Ryuta Arisaka, Takayuki Ito


  Access Paper or Ask Questions

Broadening Label-based Argumentation Semantics with May-Must Scales


Feb 04, 2020
Ryuta Arisaka, Takayuki Ito

* Changes made to the previous version. 1. Corrected the definition of a preferred labelling to be a complete labelling. (Definition 10) 2. Removed an incorrect illustration in Conclusion. Reference to Example 4 was instead made 

  Access Paper or Ask Questions

Numerical Abstract Persuasion Argumentation for Expressing Concurrent Multi-Agent Negotiations


Jan 23, 2020
Ryuta Arisaka, Takayuki Ito


  Access Paper or Ask Questions

Formulating Manipulable Argumentation with Intra-/Inter-Agent Preferences


Sep 15, 2019
Ryuta Arisaka, Makoto Hagiwara, Takayuki Ito

* No major change except for some stylistic change 

  Access Paper or Ask Questions

Turing-Completeness of Dynamics in Abstract Persuasion Argumentation


Mar 19, 2019
Ryuta Arisaka


  Access Paper or Ask Questions

Block Argumentation


Jan 18, 2019
Ryuta Arisaka, Stefano Bistarelli, Francesco Santini


  Access Paper or Ask Questions

Abstractly Interpreting Argumentation Frameworks for Sharpening Extensions


Feb 05, 2018
Ryuta Arisaka, Jeremie Dauphin


  Access Paper or Ask Questions

Abstract Argumentation / Persuasion / Dynamics


Jun 02, 2017
Ryuta Arisaka, Ken Satoh

* The definition of defendedness corrected 

  Access Paper or Ask Questions

Coalition Formability Semantics with Conflict-Eliminable Sets of Arguments


May 21, 2017
Ryuta Arisaka, Ken Satoh


  Access Paper or Ask Questions

Predicate Gradual Logic and Linguistics


Mar 17, 2016
Ryuta Arisaka


  Access Paper or Ask Questions

How do you revise your belief set with %$;@*?


Jan 27, 2016
Ryuta Arisaka

* Corrected the following: 1. In Definition 1, the function I and Assoc were both defined to map into 2^Props x 2^Props, but they should be clearly into 2^{Props x Props}. 2. In Definition 1, one disjunctive case was being omitted. One case (5th item) was inserted to complete the picture 

  Access Paper or Ask Questions

Latent Belief Theory and Belief Dependencies: A Solution to the Recovery Problem in the Belief Set Theories


Jan 27, 2016
Ryuta Arisaka

* Corrected the following: 1. in Definition 1, earlier versions had 2^Props x 2^Props x N, but clearly it should be 2^{Props x Props x N}. 2. in Definition 1, one disjunctive case was missing. The 5th item is newly added to complete. 3. On page 3, in the right column, the 2nd axiom for Compactness has a typo. It is not P \in X, but should be P \in L(X) 

  Access Paper or Ask Questions

Gradual Classical Logic for Attributed Objects - Extended in Re-Presentation


Apr 19, 2015
Ryuta Arisaka

* arXiv admin note: substantial text overlap with arXiv:1404.6036 

  Access Paper or Ask Questions

Gradual Classical Logic for Attributed Objects


Apr 24, 2014
Ryuta Arisaka


  Access Paper or Ask Questions