In the current paper, we re-examine how abstract argumentation can be formulated in terms
of labellings, and how the resulting theory can be applied in the field of modal logic. In …

What makes teamwork tick? Cooperation matters, in daily life and in complex applications.
After all, many tasks need more than a single agent to be effectively performed. Therefore …

The present chapter is aimed at giving a conceptual exposition of the mathematical
principles underlying Sahlqvist correspondence theory. These principles are argued to be …

Abductive reasoning generates explanatory hypotheses for new observations using prior
knowledge. This paper investigates the use of forgetting, also known as uniform …

Signature-Based Abduction for Expressive Description Logics Page 1 Signature-Based
Abduction for Expressive Description Logics Patrick Koopmann1 , Warren Del-Pinto2 , Sophie …

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 …

The question whether an ontology can safely be replaced by another, possibly simpler, one
is fundamental for many ontology engineering and maintenance tasks. It underpins, for …

This paper is part of a research program centered around argumentation networks and
offering several research directions for argumentation networks, with a view of using such …

We propose a method for forgetting concept symbols and non-transitive roles symbols of
SHQ-ontologies, or for computing uniform interpolants in SHQ. Uniform interpolants restrict …

We present a method to compute uniform interpolants with fixpoints for ontologies specified
in the description logic ALC. The aim of uniform interpolation is to reformulate an ontology …