251 search results - page 1 / 51 » Finite Model Reasoning in Description Logics |
DLOG
1996
15 years 4 months ago
1996
112
click to vote
CSL
2010
Springer
15 years 3 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 ...
CADE
2004
Springer
16 years 3 months ago
2004
Springer