A novel logic program like language, weight constraint rules, is developed for answer set
programming purposes. It generalizes normal logic programs by allowing weight constraints …

In this paper, we address the issue of how Gelfond and Lifschitz's answer set semantics for
extended logic programs can be suitably modified to handle prioritized programs. In such …

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 …

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

We introduce a methodology and framework for expressing general preference information
in logic programming under the answer set semantics. An ordered logic program is an …

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

We present ABA+, a new approach to handling preferences in a well known structured
argumentation formalism, Assumption-Based Argumentation (ABA). In ABA+, preference …

In nonrnonotonic reasoning conflicts among defaults are ubiquitous. For instance, more
specific rules may be in conflict with more general ones, a problem which has been studied …

The class of logic programs with negation as failure in the head is a subset of the logic of
MBNF introduced by Lifschitz and is an extension of the class of extended disjunctive …