Nonground Abductive Logic Programming with Probabilistic Integrity Constraints.
Elena BellodiMarco GavanelliRiccardo ZeseEvelina LammaFabrizio RiguzziPublished in: Theory Pract. Log. Program. (2021)
Keyphrases
- integrity constraints
- abductive logic programming
- deductive databases
- integrity checking
- conjunctive queries
- logic programs
- query answering
- functional dependencies
- inclusion dependencies
- bayesian networks
- database schema
- active rules
- xml documents
- probabilistic databases
- probabilistic reasoning
- proof procedure
- incomplete information
- probabilistic inference
- answer set programming
- active databases
- belief networks