2035 search results - page 5 / 407 » On the complexity of stratified logics |
CADE
1994
Springer
15 years 2 months ago
1994
Springer
101
click to vote
CADE
2007
Springer
15 years 10 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
114
click to vote
FROCOS
2009
Springer
15 years 4 months ago
2009
Springer
Temporal logic of knowledge is a combination of temporal and epistemic logic that has been shown to be very useful in areas such as distributed systems, security, and multi-agent s...
JASIS
2000
14 years 10 months ago
2000
In the logical approach to information retrieval (IR), retrieval is considered as uncertain inference. Whereas classical IR models are based on propositional logic, we combine Dat...
CSL
2005
Springer
15 years 3 months ago
2005
Springer
We study the complexity of model-checking for the fixpoint extension of Hintikka and Sandu’s independence-friendly logic. We show that this logic captures ExpTime; and by embedd...