356 search results - page 15 / 72 » Representation and Reasoning with Attributive Descriptions |
AIME
2007
Springer
14 years 1 months ago
2007
Springer
Reification of parthood relations according to the SEP-triplet encoding pattern has been employed in the clinical terminology SNOMED CT to simulate transitivity of the part-of rel...
DSS
2008
13 years 7 months ago
2008
Most recommender systems present recommended products in lists to the user. By doing so, much information is lost about the mutual similarity between recommended products. We prop...
CVPR
2009
IEEE
15 years 2 months ago
2009
IEEE
We study the problem of object classification when training
and test classes are disjoint, i.e. no training examples of
the target classes are available. This setup has hardly be...
KI
2007
Springer
14 years 1 months ago
2007
Springer
The relationship and possible interplay between different knowledge representation and reasoning paradigms is a fundamental topic in artificial intelligence. For expressive knowl...
CADE
2007
Springer
14 years 7 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...