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 …

Many approaches for forgetting in Answer Set Programming (ASP) have been proposed in
recent years, in the form of specific operators, or classes of operators, following different …

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 …

A complete revision of mainstream logic is an urgent task to be achieved. This revision will
be able to bring logic into a creative rapprochement with cognitive science. This can be …

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

A variety of proposals for forgetting in logic programs under different semantics have
emerged that satisfy differing sets of properties considered desirable. Despite the achieved …

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 …

Among the myriad of desirable properties discussed in the context of forgetting in Answer
Set Programming, strong persistence naturally captures its essence. Recently, it has been …

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

The naturalization of logic aims at a revision of mainstream logic. In this article, I contend it is
an urgent task to be completed. This new project will permit a new collaboration between …