52 citations · 137 across the 11 of their papers we have counts for
4 papers · 1 filter
Abstract Argumentation / Persuasion / Dynamics
Ryuta Arisaka, Ken Satoh
The act of persuasion, a key component in rhetoric argumentation, may be viewed as a dynamics modifier. We extend Dung's frameworks with acts of persuasion among agents, and consid…
Coalition Formability Semantics with Conflict-Eliminable Sets of Arguments
Ryuta Arisaka, Ken Satoh
We consider abstract-argumentation-theoretic coalition formability in this work. Taking a model from political alliance among political parties, we will contemplate profitability,…
Consistency Management of Normal Logic Program by Top-down Abductive Proof Procedure
Ken Satoh
This paper presents a method of computing a revision of a function-free normal logic program. If an added rule is inconsistent with a program, that is, if it leads to a situation s…
Computing Circumscriptive Databases by Integer Programming: Revisited (Extended Abstract)
Ken Satoh, Hidenori Okamoto
In this paper, we consider a method of computing minimal models in circumscription using integer programming in propositional logic and first-order logic with domain closure axioms…