Epistemic negation not along with default negation¬ plays a key role in knowledge
representation and nonmonotonic reasoning. However, the existing epistemic approaches …

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

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

Epistemic logic programs constitute an extension of the stable model semantics to deal with
new constructs called subjective literals. Informally speaking, a subjective literal allows …

An epistemic logic program is a set of rules written in the language of Epistemic
Specifications, an extension of the language of answer set programming that provides for …

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 …

This paper presents a novel algorithm for computing world views of different semantics of
epistemic logic programs (ELP) and two of its realization, called EP-ASP (for an older …

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

Abstract Answer Set Programming is widely applied research area for knowledge
representation and for solving industrial domains. One of the challenges of this formalism …

Abstract Epistemic Abstract Argumentation Framework (EAAF) extends Dung's framework
(AAF)—a central formalism in AI for modeling disputes among agents—by allowing the …