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 …

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

We consider the simplification of logic programs under the stable-model semantics, with
respect to the notions of strong and uniform equivalence between logic programs …

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 …

Abstraction is an important technique utilized by humans in model building and problem
solving, in order to figure out key elements and relevant details of a world of interest. This …

Abstraction is a well-known approach to simplify a complex problem by over-approximating
it with a deliberate loss of information. It was not considered so far in Answer Set …

We present some applications of intermediate logics in the field of Answer Set Programming
(ASP). A brief, but comprehensive introduction to the answer set semantics, intuitionistic and …

We present a Hilbert-style axiomatization of a recently introduced logic, called G'3 G'3 is
based on a 3-valued semantics. We prove a soundness and completeness theorem. The …

Recent research in nonmonotonic logic programming focuses on alternative notions of
equivalence. In particular, strong and uniform equivalence are both proposed as useful tools …

We consider the problem of obtaining a minimal logic program strongly equivalent (under
the stable models semantics) to a given arbitrary propositional theory. We propose a method …