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 …

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 decision problem of quantified Boolean formulas (QBFs) is the archetypical problem for
the complexity class PSPACE. Beside such theoretical aspects QBF also provides an …

Forgetting is an operation on knowledge bases that has been addressed in different areas of
Knowledge Representation and with respect to different formalisms, including classical …

A Gaifman-Shapiro-style architecture of program modules is introduced in the case of
normal logic programs under stable model semantics. The composition of program modules …

Abstraction is an important technique utilized by humans in model building and problem
solving, in order to figure out key elements and relevant details of a world of interest. This …

In artificial intelligence, a key question concerns how an agent may rationally revise its
beliefs in light of new information. The standard (AGM) approach to belief revision assumes …

Selectively forgetting information while preserving what matters the most is becoming an
increasingly important issue in many areas, including in knowledge representation and …

A new semantic forgetting for answer set programs (ASP), called SM-forgetting, is proposed
in the paper. It distinguishes itself from the others in that it preserves not only skeptical and …

Aggregation functions are widely used in answer set programming for representing and
reasoning on knowledge involving sets of objects collectively. Current implementations …