48 search results - page 1 / 10 » Exploring Finite Models in the Description Logic |
84
Voted
ICFCA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In a previous ICFCA paper we have shown that, in the Description Logics EL and ELgfp, the set of general concept inclusions holding in a finite model always has a finit...
96
Voted
DLOG
2004
15 years 2 months ago
2004
81
Voted
DLOG
1996
15 years 2 months ago
1996
108
Voted
ICFCA
2010
Springer
15 years 8 months ago
2010
Springer
This paper is the successor to two previous papers published at the ICFCA conference. In the first paper we have shown that in the Description Logics EL and ELgfp, the set of gene...
93
Voted
CSL
2010
Springer
15 years 1 months ago
2010
Springer
We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic ...