435 search results - page 59 / 87 » Probability logic, logical probability, and inductive suppor... |
ENTCS
2006
14 years 11 months ago
2006
Anonymity means that the identity of the user performing a certain action is maintained secret. The protocols for ensuring anonymity often use random mechanisms which can be descr...
149
click to vote
SIGMOD
2012
ACM
13 years 2 months ago
2012
ACM
While extensive work has been done on evaluating queries over tuple-independent probabilistic databases, query evaluation over correlated data has received much less attention eve...
101
click to vote
LPNMR
2005
Springer
15 years 5 months ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
106
click to vote
PKDD
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents a novel method for multi-relational classification via an aggregation-based Inductive Logic Programming (ILP) approach. We extend the classical ILP representati...
BIRTHDAY
2010
Springer
15 years 20 hour ago
2010
Springer
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...