Argumentation is a powerful paradigm able to formalize commonsense reasoning, finding application in different domains such as automated reasoning, decision making, legal dispute, automated negotiation, etc. However, most ...

In this paper we present an embedding of abstract argumentation systems into the framework of Barwise and Seligman’s logic of information flow.We show that, taking P.M. Dung’s characterization of argument systems, a local ...

Knowledge representation is an important topic in common-sense reasoning and Artificial Intelligence, and one of the earliest techniques to represent it is by means of knowledge bases encoded into logic clauses. Encoding ...