1568 search results - page 27 / 314 » Fusions of Description Logics |
FUIN
2008
14 years 9 months ago
2008
Many popular ontology languages are based on (subsets of) first-order predicate logic, with classes represented by unary predicates and properties by binary predicates. Specificall...
PCM
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, a new multiple description image coding scheme using directional lifting transform is proposed. The basic idea is to divide an image into two descriptions with quinc...
ROBOCUP
2001
Springer
15 years 2 months ago
2001
Springer
. 5dpo is a team created in 1998 in the Faculty of Engineering of the University of Porto in Portugal. The team regularly participates in RoboCup middle-size and small size leagues...
101
click to vote
TABLEAUX
2000
Springer
15 years 1 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 ...
CADE
1998
Springer
15 years 1 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...