1027 search results - page 150 / 206 » Representing and Reasoning with Operational Semantics |
ADBIS
2008
Springer
15 years 7 months ago
2008
Springer
A similarity join correlating fragments in XML documents, which are similar in structure and content, can be used as the core algorithm to support data cleaning and data integratio...
79
Voted
ECSQARU
2005
Springer
15 years 6 months ago
2005
Springer
Information often comes from different sources and merging these sources usually leads to apparition of inconsistencies. Fusion is the operation which consists in restoring the co...
118
Voted
AAAI
2008
15 years 2 months ago
2008
Probabilistic logic programming is a powerful technique to represent and reason with imprecise probabilistic knowledge. A probabilistic logic program (PLP) is a knowledge base whi...
112
click to vote
CIA
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. This paper introduces a formal method to aggregate over basic beliefs, in order to deduce aggregated or complex beliefs as often used in applications. Complex beliefs can...
110
Voted
ICFEM
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...