1060 search results - page 71 / 212 » Mechanized semantics |
MIR
2005
ACM
15 years 3 months ago
2005
ACM
Learning semantics from annotated images to enhance content-based retrieval is an important research direction. In this paper, annotation data are assumed available for only a sub...
AUSAI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present a semantic model of typicality of concept members in description logics that accords well with a binary, globalist cognitive model of class membership and typi...
BIRTHDAY
2005
Springer
15 years 3 months ago
2005
Springer
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...
DALT
2007
Springer
15 years 4 months ago
2007
Springer
A rational agent derives its choice of action from its beliefs and goals. Goals can be distinguished into achievement goals and maintenance goals. The aim of this paper is to defi...
CACM
2000
14 years 9 months ago
2000
data model provides an abstract, conceptual framework; a concrete syntax is also required and XML is used for this purpose. The XML namespace mechanism serves to identify RDF Schem...