789 search results - page 92 / 158 » On Theory Revision with Queries |
105
Voted
CAISE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
109
click to vote
FOCS
2003
IEEE
15 years 6 months ago
2003
IEEE
We give a complexity theoretic classification of homomorphism problems for graphs and, more generally, relational structures obtained by restricting the left hand side structure ...
93
Voted
SIGIR
2003
ACM
15 years 6 months ago
2003
ACM
Recent work has demonstrated that the assessment of pairwise object similarity can be approached in an axiomatic manner using information theory. We extend this concept specifica...
CORR
2010
Springer
15 years 27 days ago
2010
Springer
Abstract-- The problem of private information "leakage" (inadvertently or by malicious design) from the myriad large centralized searchable data repositories drives the n...
107
Voted
PODS
2007
ACM
16 years 27 days ago
2007
ACM
Many applications today need to manage large data sets with uncertainties. In this paper we describe the foundations of managing data where the uncertainties are quantified as pro...