2302 search results - page 27 / 461 » Basic Description Logics |
CADE
2005
Springer
14 years 2 months ago
2005
Springer
CADE
2009
Springer
14 years 1 months ago
2009
Springer
CSL
2010
Springer
13 years 8 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 ...
CSL
2000
Springer
14 years 25 days 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...
ISORC
2009
IEEE
14 years 3 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...