2302 search results - page 27 / 461 » Basic Description Logics |
96
Voted
CADE
2005
Springer
15 years 6 months ago
2005
Springer
CADE
2009
Springer
15 years 5 months ago
2009
Springer
90
Voted
CSL
2010
Springer
15 years 25 days 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 ...
74
Voted
CSL
2000
Springer
15 years 5 months ago
2000
Springer
We study definability of languages in arithmetic and the free monoid by bounded versions of fixed-point and transitive-closure logics. In particular we give logical characterisat...
95
Voted
ISORC
2009
IEEE
15 years 7 months ago
2009
IEEE
Distributed real-time automotive embedded systems have to be highly dependable as well as cost-efficient due to the large number of manufactured units. To close the gap between r...