789 search results - page 92 / 158 » On Theory Revision with Queries |
182
Voted
CAISE
2004
Springer
16 years 8 days 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...
174
Voted
FOCS
2003
IEEE
16 years 4 days 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 ...
157
click to vote
SIGIR
2003
ACM
16 years 3 days 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...
149
click to vote
CORR
2010
Springer
15 years 7 months 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...
174
Voted
PODS
2007
ACM
16 years 7 months 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...