2395 search results - page 165 / 479 » Reasoning in Semantic Wikis |
131
click to vote
SIGMOD
2003
ACM
16 years 4 months ago
2003
ACM
We consider the problem of mapping data in peer-topeer data-sharing systems. Such systems often rely on the use of mapping tables listing pairs of corresponding values to search f...
128
click to vote
KR
2010
Springer
15 years 9 months ago
2010
Springer
The aim of semantic science is to allow for the publications of ontologies, observation data, and hypotheses/theories. Hypotheses make predictions on data and on new cases. Those ...
147
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
Church's Higher Order Logic is a basis for proof assistants -- HOL and PVS. Church's logic has a simple set-theoretic semantics, making it trustworthy and extensible. We ...
133
click to vote
COORDINATION
2004
Springer
15 years 10 months ago
2004
Springer
There has been significant recent interest in exploring the role of coordination languages as middleware for distributed systems. These languages provide operations that allow pro...
141
click to vote
GIS
2009
ACM
15 years 8 months ago
2009
ACM
Geospatial information (GI) constitutes a significant portion of available data and are a key factor in planning and decision-making in a variety of domains,such as emergency man...