2035 search results - page 8 / 407 » On the complexity of stratified logics |
CSL
2010
Springer
14 years 11 months ago
2010
Springer
Modal dependence logic was introduced very recently by V
107
click to vote
SAC
2006
ACM
15 years 4 months ago
2006
ACM
“The curse of dimensionality” is pertinent to many learning algorithms, and it denotes the drastic raise of computational complexity and classification error in high dimension...
APAL
2004
14 years 10 months ago
2004
The model-checking problem for a logic L on a class C of structures asks whether a given L-sentence holds in a given structure in C. In this paper, we give super-exponential lower...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Autoepistemic logic extends propositional logic by the modal operator L. A formula that is preceded by an L is said to be "believed". The logic was introduced by Moore ...
ECAI
2010
Springer
14 years 11 months ago
2010
Springer
In the clock semantics for epistemic logic, two situations are indistinguishable for an agent when it makes the same observation and the time in the situations is the same. The pa...