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 …

We address the issue of forgetting in assumption-based argumentation (ABA). Forgetting is
driven by the goal to remove certain elements from a knowledge base, while preserving the …

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 …

Forgetting–or variable elimination–is an operation that allows the removal, from a
knowledge base, of middle variables no longer deemed relevant. In recent years, many …

It is generally agreed upon that so-called strong persistence (SP) captures best the essence
of forgetting in logic programming. While classes of operators, such as FR and FSP, that …

Whereas the operation of forgetting has recently seen a considerable amount of attention in
the context of Answer Set Programming (ASP), most of it has focused on theoretical aspects …

Simplification of logic programs under the answer-set semantics has been studied from the
very beginning of the field. One natural simplification is the removal of atoms that are …

The notion of forgetting, as considered in the famous paper by Lin and Reiter in 1994 has
been extensively studied in classical logic and more recently, in non-monotonic formalisms …

Answer Set Programming (ASP) is a prominent rule-based language for knowledge
representation and reasoning with roots in logic programming and non-monotonic …

Abstract Forgetting in Answer Set Programming (ASP) aims at reducing the language of a
logic program without affecting the consequences over the remaining language. It has …