In recent years, there has been a large amount of disparate work concerning the
representation and reasoning with qualitative preferential information by means of …

In this paper, we consider an approach to update nonmonotonic knowledge bases
represented as extended logic programs under the answer set semantics. In this approach …

The notion of forgetting, also known as variable elimination, has been investigated
extensively in the context of classical logic, but less so in (nonmonotonic) logic programming …

This paper introduces an abductive framework for updating knowledge bases represented
by extended disjunctive programs. We first provide a simple transformation from abductive …

The paper proposes a new knowledge representation language, called DLP<, which
extends disjunctive logic programming (with strong negation) by inheritance. The addition of …

Most of the work conducted so far in the field of logic programming has focused on
representing static knowledge, ie, knowledge that does not evolve with time. To overcome …

We provide a semantic framework for preference handling in answer set programming. To
this end, we introduce preference preserving consequence operators. The resulting fixpoint …

Abstract According to Dynamic Logic Programming (DLP), knowledge may be given by a
sequence of theories (encoded as logic programs) representing different states of …

Recently, several approaches for updating knowledge bases represented as logic programs
have been proposed. In this paper, we present a generic framework for declarative …

We extend answer set semantics to deal with inconsistent programs (containing classical
negation), by finding a “best” answer set. Within the context of inconsistent programs, it is …