research
∙
12/31/2017
A Light Modality for Recursion
We investigate the interplay between a modality for controlling the beha...
share
research
∙
12/31/2017
Two Light Modalities for Recursion
We investigate the interplay between two modalities for controlling the ...
research
∙
11/12/2015
Complexity of the Description Logic ALCM
In this paper we show that the problem of checking consistency of a know...
research
∙
10/29/2014
