Dung's Argumentation Framework (AF) has been extended in several directions. Among the
numerous proposed extensions, three of them seem to be of particular interest and have …

ABSTRACT Dung's Abstract Argumentation Framework (AAF) has emerged as a central
formalism in AI for modeling disputes among agents. In this paper, we introduce an …

Defined by Gelfond in 1991, epistemic specifications constitute an extension of Answer Set
Programming (ASP) that introduces subjective literals. A subjective literal allows checking …

The language of epistemic specifications and epistemic logic programs extends disjunctive
logic programs under the stable model semantics with modal constructs called subjective …

Abstract Dung's Argumentation Framework (AF) has been extended in several directions. An
interesting extension, among others, is the Epistemic AF (EAF) which allows representing …

We describe eclingo, a solver for epistemic logic programs under Gelfond 1991 semantics
built upon the Answer Set Programming system clingo. The input language of eclingo uses …

Epistemic logic programs (ELPs) are a popular generalization of standard Answer Set
Programming (ASP) providing means for reasoning over answer sets within the language …

This paper introduces a new epistemic extension of answer set programming (ASP) called
epistemic ASP (E-ASP). Then, it compares E-ASP with existing approaches, showing the …

Epistemic specifications extend disjunctive answer-set programs by an epistemic modal
operator that may occur in the body of rules. Their semantics is in terms of world views …

Abstract Dung's Abstract Argumentation Framework (AAF) has emerged as a central
formalism in AI for modeling disputes among agents. A recent extension of the Dung's …