Abstract Answer Set Programming (ASP) is a declarative problem solving paradigm, rooted
in Logic Programming and Nonmonotonic Reasoning, which has been gaining increasing …

Equilibrium logic is a general purpose nonmonotonic reasoning formalism closely aligned
with answer set programming (ASP). In particular it provides a logical foundation for ASP as …

Many real-world applications, like planning or model checking, comprise a parameter
reflecting the size of a solution. In a propositional formalism like Answer Set Programming …

This paper is a contribution to the research on dynamics in assumption-based
argumentation (ABA). We investigate situations where a given knowledge base undergoes …

In this article, we compare the expressive powers of classes of normal logic programs that
are obtained by constraining the number of positive subgoals (n) in the bodies of rules. The …

In recent research on nonmonotonic logic programming, repeatedly strong equivalence of
logic programs P and Q has been considered, which holds if the programs P∪ R and Q∪ R …

Practically all programming languages allow the programmer to split a program into several
modules which brings along several advantages in software development. In this paper, we …

We introduce a general framework for specifying program correspondence under the
answer-set semantics. The framework allows to define different kinds of equivalence …

A Gaifman-Shapiro-style architecture of program modules is introduced in the case of
normal logic programs under stable model semantics. The composition of program modules …

In recent research on nonmonotonic logic programming, repeatedly strong equivalence of
logic programs P and Q has been considered, which holds if the programs P∪ R and Q∪ R …