2395 search results - page 327 / 479 » Reasoning in Semantic Wikis |
133
click to vote
RWEB
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The Web and the Semantic Web, as we see it, can be understood as a “living organism” combining autonomously evolving data sources, each of them possibly reacting to e...
134
click to vote
SEMWEB
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents our ongoing effort on developing a principled methodology for automatic ontology mapping based on BayesOWL, a probabilistic framework we developed for modeling ...
121
click to vote
FOSSACS
2004
Springer
15 years 9 months ago
2004
Springer
More than a decade ago, Moller and Tofts published their seminal work on relating processes that are annotated with lower time bounds, with respect to speed. Their paper has left o...
141
click to vote
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
151
click to vote
ASP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In general, disjunction is considered to add expressive power to propositional logic programs under stable model semantics, and to enlarge the range of problems which can...