Publisher Summary This chapter discusses Answer Set Prolog, which is a language for
knowledge representation and reasoning based on the answer set/stable model semantics …

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

Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

The addition of aggregates has been one of the most relevant enhancements to the
language of answer set programming (ASP). They strengthen the modelling power of ASP in …

Abstract Answer Set Programming (ASP) is a well-established paradigm of declarative
programming that has been developed in the field of logic programming and non-monotonic …

Logic programs with ordered disjunction (LPODs) contain a new connective which allows
representing alternative, ranked options for problem solutions in the heads of rules: A× B …

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 need for representing indefinite information led to disjunctive deductive databases,
which also fertilized work on disjunctive logic programming. Based on this paradigm, the …

Answer set programming (ASP) emerged in the late 1990s as a new logic programming
paradigm that has been successfully applied in various application domains. Also motivated …

Answer set programming is a new programming paradigm proposed in [1] and [2], and
based on the answer set semantics of Prolog [3]. It is well known that an answer set for a …