This is an introduction to multicast routing, which is the study of methods for routing from one
source to many destinations, or from many sources to many destinations. Multicast is …

This work explores some aspects of a new and natural semantical dimension that can be
accommodated within the syntax of description logics which opens up when passing from …

Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain.
They are equipped with a formal logic-based semantics. Knowledge representation systems …

Modal logics are widely used in multi-agent systems to reason about actions, abilities,
norms, or epistemic states. Combined with description logic languages, they are also a …

Modal logics are widely used in multi-agent systems to reason about actions, abilities,
norms, or epistemic states. Combined with description logic languages, they are also a …

Recently, there has been a growing interest in constructive reinterpretations of description
logics. This has been motivated by the need to model in the DLs setting problems that have …

This paper proposes an approach to use constructive description logics as a typing system
for streaming data in the domain of auditing. We introduce the constructive description logic …

This work explores some aspects of a new and natural semantical dimension that can be
accommodated within the syntax of description logics which opens up when passing from …

Abstract Description logics (DLs) represent a widely studied logical formalism with a
significant impact in the field of knowledge representation that was put to practice in …

We aim to establish the multi-modal logic CK n as a baseline for a constructive
correspondence theory of constructive modal logics. Just like many classical multi-modal …