Default Negation for Non-Guarded Existential Rules.
Mario AlvianoAndreas PierisPublished in: PODS (2015)
Keyphrases
- horn clauses
- query answering
- default rules
- existentially quantified
- association rules
- association rule mining
- decision rules
- rule sets
- derivation rules
- fixed point
- classification rules
- logic programs
- first order logic
- rule extraction
- nonmonotonic inference
- deductive databases
- query processing
- extended logic programs
- search algorithm
- neural network