Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning.
Jiani HuangZiyang LiBinghong ChenKaran SamelMayur NaikLe SongXujie SiPublished in: NeurIPS (2021)
Keyphrases
- deductive databases
- logic programming
- integrity constraints
- hypothetical reasoning
- probabilistic reasoning
- probabilistic logic
- fixpoint
- query evaluation
- disjunctive deductive databases
- semantic query optimization
- reasoning tasks
- integrity checking
- declarative language
- declarative semantics
- model theoretic
- constraint checking
- knowledge representation
- automated reasoning
- logic programs
- knowledge base
- knowledge representation and reasoning
- closed world assumption
- default reasoning
- stable models
- data mining
- belief networks
- relational data
- relational databases
- bayesian networks
- artificial intelligence
- machine learning