Generative Datalog with Stable Negation.
Mario AlvianoMatthias LanzingerMichael MorakAndreas PierisPublished in: PODS (2023)
Keyphrases
- deductive databases
- datalog programs
- logic programming
- containment of conjunctive queries
- expressive power
- disjunctive datalog
- logic programs
- generative model
- fixpoint
- query answering
- datalog programs with negation
- integrity constraints
- existentially quantified
- data driven
- unsupervised learning
- fixpoint semantics
- answer set programming
- conjunctive queries
- stable models
- discriminative learning
- semantics for logic programs
- knowledge representation
- query language