Ryuta Arisaka - RankMe

43 papers A* 1A 1B 9C 1Misc 2Journal 20Unranked 7

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Discussion Graph Semantics of First-Order Logic with Equality for Reasoning About Discussion and Argumentation. PRIMA Ryuta Arisaka
2025	B	`ed.`	PRIMA 2024: Principles and Practice of Multi-Agent Systems - 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings PRIMA Ryuta Arisaka, Víctor Sánchez-Anguix, Sebastian Stein, Reyhan Aydogan, Leon van der Torre, Takayuki Ito
2024	—	`conf`	Block Argumentation: Characterising Acceptability Semantics with Two Types of Semantic Constraints. PRICAI (5) Ryuta Arisaka
2024	B	`conf`	Converting Text Documents into Graph-based Documents with Local Discourse Structure and Semantic Hierarchy. KES Keiichiro Nii, Ryuta Arisaka, Shiyao Ding, Takayuki Ito
2024	J	`jnl`	Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation. CoRR Ryuta Arisaka
2024	B	`conf`	Semi-Automatic Discovery of Dependency Relationships Among Properties for Ranking-Based Semantics. ICTAI Kengo Hayashi, Ryuta Arisaka
2023	—	`ed.`	Recent Advances in Agent-Based Negotiation: Applications and Competition Challenges, ACAN@IJCAI 2022, Vienna, Austria, July 24, 2022. ACAN@IJCAI Rafik Hadfi, Reyhan Aydogan, Takayuki Ito, Ryuta Arisaka
2022	J	`jnl`	Multi-agent Argumentation and Dialogue. FLAP Ryuta Arisaka, Jérémie Dauphin, Ken Satoh, Leendert van der Torre
2022	—	`conf`	Relational Acceptability Semantics of Abstract Argumentation. PRICAI (1) Ryuta Arisaka, Takayuki Ito
2022	J	`jnl`	Theme Aspect Argumentation Model for Handling Fallacies. CoRR Ryuta Arisaka
2021	J	`jnl`	Relational Argumentation Semantics. CoRR Ryuta Arisaka, Takayuki Ito
2020	J	`jnl`	Abstract Interpretation in Formal Argumentation: with a Galois Connection for Abstract Dialectical Frameworks and May-Must Argumentation (First Report). CoRR Ryuta Arisaka, Takayuki Ito
2020	—	`conf`	Broadening Label-Based Argumentation Semantics with May-Must Scales. CLAR Ryuta Arisaka, Takayuki Ito
2020	J	`jnl`	Broadening Label-based Argumentation Semantics with May-Must Scales. CoRR Ryuta Arisaka, Takayuki Ito
2020	Misc	`conf`	Let's Accept a Mission Impossible with Formal Argumentation, or Not. DCAI Ryuta Arisaka, Takayuki Ito
2020	J	`jnl`	Numerical Abstract Persuasion Argumentation for Expressing Concurrent Multi-Agent Negotiations. CoRR Ryuta Arisaka, Takayuki Ito
2019	B	`conf`	Block Argumentation. PRIMA Ryuta Arisaka, Francesco Santini, Stefano Bistarelli
2019	J	`jnl`	Block Argumentation. CoRR Ryuta Arisaka, Stefano Bistarelli, Francesco Santini
2019	B	`conf`	Deception/Honesty Detection and (Mis)trust Building in Manipulable Multi-Agent Argumentation: An Insight. PRIMA Ryuta Arisaka, Makoto Hagiwara, Takayuki Ito
2019	J	`jnl`	Formulating Manipulable Argumentation with Intra-/Inter-Agent Preferences. CoRR Ryuta Arisaka, Makoto Hagiwara, Takayuki Ito
2019	A*	`conf`	Numerical Abstract Persuasion Argumentation for Expressing Concurrent Multi-Agent Negotiations. IJCAI Ryuta Arisaka, Takayuki Ito
2019	—	`conf`	Semantics of Opinion Transitions in Multi-Agent Forum Argumentation. PRICAI (1) Ryuta Arisaka, Takayuki Ito
2019	J	`jnl`	Turing-Completeness of Dynamics in Abstract Persuasion Argumentation. CoRR Ryuta Arisaka
2018	B	`conf`	Abstract Argumentation / Persuasion / Dynamics. PRIMA Ryuta Arisaka, Ken Satoh
2018	J	`jnl`	Abstractly Interpreting Argumentation Frameworks for Sharpening Extensions. CoRR Ryuta Arisaka, Jeremie Dauphin
2018	C	`conf`	Defence Outsourcing in Argumentation. COMMA Ryuta Arisaka, Stefano Bistarelli
2017	J	`jnl`	Abstract Argumentation / Persuasion / Dynamics. CoRR Ryuta Arisaka, Ken Satoh
2017	—	`conf`	Anything You Say May Be Used Against You in a Court of Law - Abstract Agent Argumentation (Triple-A). AICOL Ryuta Arisaka, Ken Satoh, Leendert W. N. van der Torre
2017	A	`conf`	Coalition Formability Semantics with Conflict-Eliminable Sets of Arguments. AAMAS Ryuta Arisaka, Ken Satoh
2016	B	`conf`	Balancing Rationality and Utility in Logic-Based Argumentation with Classical Logic Sentences and Belief Contraction. PRIMA Ryuta Arisaka, Ken Satoh
2016	J	`jnl`	Coalition Formability Semantics with Conflict-Eliminable Sets of Arguments. CoRR Ryuta Arisaka, Ken Satoh
2016	J	`jnl`	Predicate Gradual Logic and Linguistics. CoRR Ryuta Arisaka
2016	B	`conf`	Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus. FSCD Ryuta Arisaka
2016	—	`conf`	Voluntary Manslaughter? A Case Study with Meta-Argumentation with Supports. JSAI-isAI Workshops Ryuta Arisaka, Ken Satoh
2015	—	`conf`	A Belief Revision Technique to Model Civil Code Updates. JSAI-isAI Workshops Ryuta Arisaka
2015	J	`jnl`	Gradual Classical Logic for Attributed Objects - Extended in Re-Presentation. CoRR Ryuta Arisaka
2015	J	`jnl`	How do you revise your belief set with %$;@*? CoRR Ryuta Arisaka
2015	J	`jnl`	Latent Belief Theory and Belief Dependencies: A Solution to the Recovery Problem in the Belief Set Theories. CoRR Ryuta Arisaka
2015	J	`jnl`	On Nested Sequents for Constructive Modal Logics. Log. Methods Comput. Sci. Ryuta Arisaka, Anupam Das, Lutz Straßburger
2014	J	`jnl`	Gradual Classical Logic for Attributed Objects. CoRR Ryuta Arisaka
2014	J	`jnl`	Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus. CoRR Ryuta Arisaka
2013	—	`—`	Proof-theoretical observations of BI and BBI base-logic interactions, and development of phased sequence calculus to define logic combinations. Ryuta Arisaka
2012	Misc	`conf`	LBI Cut Elimination Proof with BI-MultiCut. TASE Ryuta Arisaka, Shengchao Qin