Non-ground Abductive Logic Programming with Probabilistic Integrity Constraints.
Elena BellodiMarco GavanelliRiccardo ZeseEvelina LammaFabrizio RiguzziPublished in: CoRR (2021)
Keyphrases
- integrity constraints
- abductive logic programming
- integrity checking
- logic programs
- deductive databases
- functional dependencies
- query answering
- database schema
- inclusion dependencies
- conjunctive queries
- consistent query answering
- xml documents
- database
- inference rules
- answering queries
- proof procedure
- bayesian networks