Modular stratification and magic sets for Datalog programs with negation
From MaRDI portal
Recommendations
- Magic sets for disjunctive Datalog programs
- Extended magic for negation: efficient demand-driven evaluation of stratified Datalog with precise complexity guarantees
- The generalized supplementary magic-sets transformation for stratified Datalog
- Dynamic magic sets for disjunctive Datalog programs
- Logic Programming
- Modular materialisation of Datalog programs
- scientific article; zbMATH DE number 1059307
- Constructive negation and constraint logic programming with sets
- Modularization of logic programs
Cited in
(26)- Backchain iteration: Towards a practical inference method that is simple enough to be proved terminating, sound, and complete
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
- Magic sets for disjunctive Datalog programs
- Functional queries in datalog
- An extension of Van Gelder's alternating fixpoint to magic programs
- Maintenance of datalog materialisations revisited
- scientific article; zbMATH DE number 993474 (Why is no real title available?)
- Answer Set Programming: A Primer
- Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs
- Combining nonmonotonic knowledge bases with external sources
- Subsumption-stratified datalog
- A model building framework for answer set programming with external computations
- An abstract machine for fixed-order dynamically stratified programs
- Extended magic for negation: efficient demand-driven evaluation of stratified Datalog with precise complexity guarantees
- An algebraic construction of the well-founded model
- Enhancing magic sets with an application to ontological reasoning
- ADDING PROBABILITIES AND RULES TO OWL LITE SUBSETS BASED ON PROBABILISTIC DATALOG
- Database Theory - ICDT 2005
- Preference queries in deductive databases
- The limits of fixed-order computation
- Bottom-up evaluation and query optimization of well-founded models
- Monotonic aggregation in deductive databases
- The generalized supplementary magic-sets transformation for stratified Datalog
- Static filtering on stratified programs
- Aggregate semantics for propositional answer set programs
- Magic Sets and their application to data integration
This page was built for publication: Modular stratification and magic sets for Datalog programs with negation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4327632)
