1835 search results - page 31 / 367 » Classifying Description Logics |
144
click to vote
TLCA
2009
Springer
15 years 10 months ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...
109
Voted
IJCAI
1993
15 years 4 months ago
1993
Many learning algorithms form concept descriptions composed of clauses, each of which covers some proportion of the positive training data and a small to zero proportion of the ne...
148
click to vote
TABLEAUX
2000
Springer
15 years 7 months ago
2000
Springer
mspass is an extension of the first-order theorem prover spass, which can be used as a modal logic theorem prover, a theorem prover for description logics and a theorem prover for ...
129
Voted
CADE
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. leanK is a "lean", i.e., extremely compact, Prolog implementation of a free variable tableau calculus for propositional modal logics. leanK 2.0 includes additio...
115
click to vote
ICCV
2009
IEEE
15 years 1 months ago
2009
IEEE
We present two novel methods for face verification. Our first method