3793 search results - page 43 / 759 » Expressive Description Logics |
CADE
2010
Springer
14 years 11 months ago
2010
Springer
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...
101
click to vote
IFM
2010
Springer
14 years 8 months ago
2010
Springer
We present a logical framework that is able to deal with variability in product family descriptions. The temporal logic MHML is based on the classical Hennessy–Milner logic with ...
DLOG
2003
14 years 11 months ago
2003
In this paper we introduce a decidable fixpoint extension of temporal Description Logics. We exploit the decidability results obtained for various monodic extensions of Descripti...
EUSFLAT
2009
14 years 7 months ago
2009