280 search results - page 37 / 56 » On the Semantic Relationship between Datalog and Description... |
ISVC
2007
Springer
14 years 2 months ago
2007
Springer
Video event understanding requires a formalism that can model complex logical temporal and spatial relations between composing sub-events. In this paper we argue that the Petri-Net...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
We consider an extension of bi-intuitionistic logic with the traditional modalities , , and from tense logic Kt. Proof theoretically, this extension is obtained simply by extendin...
IFIP
2010
Springer
13 years 3 months ago
2010
Springer
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with "strangers". This makes ...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
We present YAGO, a light-weight and extensible ontology with high coverage and quality. YAGO builds on entities and relations and currently contains more than 1 million entities a...
SEMWEB
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Internet business-to-business transactions present great challenges in merging information from different sources. In this paper we describe a project to integrate four ...