2395 search results - page 282 / 479 » Reasoning in Semantic Wikis |
249
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
133
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
169
click to vote
FMICS
2007
Springer
15 years 10 months ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
146
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...
133
click to vote
DLOG
2004
15 years 5 months ago
2004
We present algorithms based on truth-prefixed tableaux to solve both Concept Abduction and Contraction in ALN DL. We also analyze the computational complexity of the problems, sho...