A logic program Π1 is said to be equivalent to a logic program Π2 in the sense of the answer
set semantics if Π1 and Π2 have the same answer sets. We are interested in the following …

This paper relates inference in extended logic programming with nonclassical,
nonmonotonic logics. We define a nonmonotonic logic, called equilibrium logic, based on …

In this paper we give a short introduction to logic programming approach to knowledge
representation and reasoning. The intention is to help the reader to develop a 'feel'for the …

Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from
logic programs to arbitrary sets of formulas. Logic programs correspond to the special case …

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 …

The paper characterises the nonmonotonic inference relation associated with the stable
model semantics for logic programs as follows: a formula is entailed by a program in the …

In this paper, we review some recent work on declarative logic programming languages
based on stable models/answer sets semantics of logic programs. These languages …

Equilibrium logic is an approach to nonmonotonic reasoning that generalises the stable
model and answer set semantics for logic programs. We present a method to implement …

Answer set programming (ASP) is a logic programming paradigm that can be used to solve
complex combinatorial search problems. Aggregates are an ASP construct that plays an …

We investigate two large families of logics, differing from each other by the treatment of
negation. The logics in one of them are obtained from the positive fragment of classical logic …