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 …

Forgetting is an ambivalent concept of (human) intelligence. By definition, it is negatively
related to knowledge in that knowledge is lost, be it deliberately or not, and therefore …

Answer set programming at a glance Page 1 C r e D It t K 92 CommunICatIonS of tHe aCm |
DeceMBer 2011 | voL. 54 | No. 12 review articles Page 2 C r e D It t K review articles DeceMBer …

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

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 …

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 increasing availability of streaming data has accelerated advances in information
processing tools that no longer store data for static querying but push information to …

Abstract Answer Set Programming (ASP) is a declarative problem solving paradigm, rooted
in Logic Programming and Nonmonotonic Reasoning, which has been gaining increasing …

This paper develops a declarative language, P-log, that combines logical and probabilistic
arguments in its reasoning. Answer Set Prolog is used as the logical foundation, while …

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 …