5482 search results - page 326 / 1097 » Logic Programming and Databases |
175
click to vote
AAAI
2006
15 years 8 months ago
2006
A novel and simple combination of inductive logic programming with kernel methods is presented. The kFOIL algorithm integrates the well-known inductive logic programming system FO...
176
Voted
JMLR
2006
15 years 6 months ago
2006
We develop kernels for measuring the similarity between relational instances using background knowledge expressed in first-order logic. The method allows us to bridge the gap betw...
164
click to vote
STORAGESS
2005
ACM
16 years 8 days ago
2005
ACM
Database outsourcing is becoming increasingly popular introducing a new paradigm, called database-as-a-service (DAS), where an organization’s database is stored at an external s...
194
click to vote
LPNMR
2005
Springer
16 years 6 days 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...
160
click to vote
TACAS
1999
Springer
15 years 11 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...