3032 search results - page 40 / 607 » Description Logic Rules |
CADE
2009
Springer
14 years 2 months ago
2009
Springer
JAIR
2008
13 years 10 months ago
2008
The notion of strong equivalence on logic programs with answer set semantics gives rise to a consequence relation on logic program rules, called SE-consequence. We present a sound...
CSL
2010
Springer
13 years 10 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 2 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...
CORR
2006
Springer
13 years 10 months ago
2006
Springer
