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 …

Answer Set Programming (ASP) is a declarative problem solving approach, initially tailored
to modeling problems in the area of Knowledge Representation and Reasoning (KRR) …

Answer set programming (ASP) is a form of declarative programming oriented towards
difficult search problems. As an outgrowth of research on the use of nonmonotonic …

We introduce an approach to computing answer sets of logic programs, based on concepts
successfully applied in Satisfiability (SAT) checking. The idea is to view inferences in …

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 …

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 …

We extend the answer set semantics to a class of logic programs with nested expressions
permitted in the bodies and heads of rules. These expressions are formed from literals using …

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 …

The concept of a stable model provided a declarative semantics for Prolog programs with
negation as failure and became a starting point for the development of answer set …