Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation.
Jean-François BagetFabien GarreauMarie-Laure MugnierSwan RocherPublished in: CoRR (2014)
Keyphrases
- logic programming
- logic programs
- query answering
- existentially quantified
- extended logic programs
- strong equivalence
- semantics for logic programs
- multi context systems
- nonmonotonic reasoning
- answer set semantics
- default rules
- defeasible logic
- active rules
- answer sets
- default logic
- integrity constraints
- termination analysis
- stable models
- default theories
- deductive databases
- functional dependencies
- normal logic programs
- nonmonotonic logics
- data exchange
- inductive logic programming
- data integration
- incomplete information
- open world
- term rewriting
- data dependencies
- horn clauses
- production rules
- answer set programming