1059 search results - page 142 / 212 » Unification-Based Semantic Interpretation |
200
click to vote
AI
2008
Springer
15 years 4 months 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...
141
click to vote
BMCBI
2005
15 years 4 months 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...
162
click to vote
WWW
2008
ACM
16 years 5 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...
148
click to vote
SAC
2006
ACM
15 years 10 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...
141
click to vote
APLAS
2006
ACM
15 years 10 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...