27 search results - page 4 / 6 » tableaux 2007 |
168
click to vote
OTM
2007
Springer
16 years 1 days ago
2007
Springer
Practical scalability of Description Logic (DL) reasoning is an important premise for the adoption of OWL in a real-world setting. Many highly efficient optimizations for the DL ta...
192
click to vote
TABLEAUX
2007
Springer
16 years 17 hour ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
152
click to vote
COMBINATORICS
2007
15 years 5 months ago
2007
Let λ be a partition, and denote by fλ the number of standard tableaux of shape λ. The asymptotic shape of λ maximizing fλ was determined in the classical work of Logan and S...
141
click to vote
TABLEAUX
2007
Springer
16 years 17 hour ago
2007
Springer
Bi-intuitionistic logic is the extension of intuitionistic logic with a connective dual to implication. Bi-intuitionistic logic was introduced by Rauszer as a Hilbert calculus with...
155
click to vote
TABLEAUX
2007
Springer
16 years 17 hour ago
2007
Springer
We construct a sound, complete, and terminating tableau system for the interval temporal logic D · interpreted in interval structures over dense linear orderings endowed with stri...