1162 search results - page 156 / 233 » Monotonic Semantic Interpretation |
168
Voted
AI
2008
Springer
15 years 22 days ago
2008
Springer
The work in this paper is directed towards sophisticated formalisms for reasoning under probabilistic uncertainty in ontologies in the Semantic Web. Ontologies play a central role...
105
Voted
BMCBI
2005
15 years 14 days ago
2005
Computational Biology needs computer-readable information records. Increasingly, meta-analysed and pre-digested information is being used in the follow up of high throughput exper...
119
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
Easy reuse and integration of declaratively described information in a distributed setting is one of the main motivations for building the Semantic Web. Despite of this claim, reu...
107
Voted
SAC
2006
ACM
15 years 6 months ago
2006
ACM
Traditional semantic web query languages support a logicbased access to the semantic web. They offer a retrieval (or reasoning) of data based on facts. On the traditional web and...
106
Voted
APLAS
2006
ACM
15 years 6 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...