We investigate the interplay between a modality for controlling the beha...
We investigate the interplay between two modalities for controlling the
...
In this paper we show that the problem of checking consistency of a know...
This works is motivated by a real-world case study where it is necessary...