Sciweavers

1916 search results - page 109 / 384
» Reasoning with class algebra
Sort
View
121
Voted
AGP
2003
IEEE
15 years 6 months ago
Local Closed-World Assumptions for reasoning about Semantic Web data
Abstract The Semantic Web (SW) can be seen as abstract representation and exchange of data and metadata. Metadata is given in terms of data mark-up and reference to shared, Web-acc...
Elisa Bertino, Alessandro Provetti, Franco Salvett...
KRDB
1998
74views Database» more  KRDB 1998»
15 years 2 months ago
Reasoning About Web-Site Structure
Buildinglarge Websites is similar in manywaysto building knowledgeand database systems. In particular, byprovidinga declarative,logical viewof a Website's data andstructure, ...
Mary F. Fernandez, Daniela Florescu, Alon Y. Levy,...
103
Voted
CAI
2006
Springer
15 years 23 days ago
Symbolic Explanation of Similarities in Case-based Reasoning
CBR systems solve problems by assessing their similarity with already solved problems (cases). Explanation of a CBR system prediction usually consists of showing the user the set o...
Eva Armengol, Enric Plaza
83
Voted
IJCAI
1993
15 years 2 months ago
Generalization of the Dempster-Shafer Theory
The Dempster-Shafer theory gives a solid basis for reasoning applications characterized by uncertainty. A key feature of the theory is that propositions are represented as subsets...
J. W. Guan, David A. Bell
ICDT
1997
ACM
138views Database» more  ICDT 1997»
15 years 4 months ago
Tractable Iteration Mechanisms for Bag Languages
Abstract. The goal of this paper is to study tractable iteration mechanisms for bags. The presence of duplicates in bags prevents iteration mechanisms developed in the context of s...
Latha S. Colby, Leonid Libkin