3032 search results - page 40 / 607 » Description Logic Rules |
164
click to vote
JAIR
2008
15 years 5 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...
146
click to vote
CSL
2010
Springer
15 years 5 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 ...
119
Voted
CSL
2000
Springer
15 years 10 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...
