Generative Datalog with Stable Negation.
Mario AlvianoMatthias LanzingerMichael MorakAndreas PierisPublished in: CoRR (2022)
Keyphrases
- deductive databases
- datalog programs
- logic programming
- containment of conjunctive queries
- expressive power
- disjunctive datalog
- logic programs
- generative model
- query answering
- integrity constraints
- query language
- fixpoint
- neural network
- programming language
- conjunctive queries
- fixpoint semantics
- discriminative learning
- datalog programs with negation
- data driven
- query evaluation
- transitive closure
- relational databases
- databases
- knowledge base
- database languages
- natural language
- stable models
- unsupervised learning
- data model
- hidden markov models
- data integration