This article surveys various complexity and expressiveness results on different forms of logic
programming. The main focus is on decidable forms of logic programming, in particular …

Disjunctive Logic Programming (DLP) is an advanced formalism for knowledge
representation and reasoning, which is very expressive in a precise mathematical sense: it …

This paper surveys various complexity results on different forms of logic programming. The
main focus is on decidable forms of logic programming, in particular propositional logic …

In recommender systems, explanations serve as an additional type of information that can
help users to better understand the system's output and promote objectives such as trust …

Abstract Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to
extend logic programming into a framework suitable for a variety of problems in Artificial …

This paper presents an extension of Disjunctive Datalog (DATALOG/sup V,/spl sim//) by
integrity constraints. These are of two types: strong, that is, classical integrity constraints and …

The need for representing indefinite information led to disjunctive deductive databases,
which also fertilized work on disjunctive logic programming. Based on this paradigm, the …

Representing and reasoning with priorities are important in commonsense reasoning. This
paper introduces a framework of prioritized logic programming (PLP), which has a …

The extension of logic programming by disjunction and true negation has been pointed out
as a necessary requirement for knowledge representation [16, 2]. This view has been …

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 …