On the power of magic
From MaRDI portal
Publication:3210147
Recommendations
Cited in
(44)- Grammars and automata to optimize chain logic queries
- A transformation system for deductive database modules with perfect model semantics
- Incorporating top-down information into bottom-up hypothetical reasoning
- The Relationlog system prototype
- Inherent complexity of recursive queries
- Disjunctive ASP with functions: decidable queries and effective computation
- On the graph traversal method for evaluating linear binary-chain programs
- Magic Sets and their application to data integration
- CoLab: A hybrid knowledge representation and compilation laboratory
- Implementation of logical query languages for databases
- A Theoretical Framework for the Declarative Debugging of Datalog Programs
- Compilation and evaluation of linear mutual recursions
- An improved depth-first control strategy for query-subquery nets in evaluating queries to Horn knowledge bases
- Graph traversal and top-down evaluation of logic queries
- Optimizing Fixpoint Evaluation of Logic Programs with Uncertainty
- scientific article; zbMATH DE number 4053071 (Why is no real title available?)
- Magic sets revisited
- Counting and topological order
- An extended constraint deductive database: theory and implementation
- Checking termination of bottom-up evaluation of logic programs with function symbols
- Magic sets for disjunctive Datalog programs
- Well-founded semantics and stratification for ordered logic programs
- Incremental reasoning on monadic second-order logics with logic programming
- Towards an efficient evaluation of recursive aggregates in deductive databases
- The Magic of ELFs
- Finite combinatory logic with predicates
- A generalization of the differential approach to recursive query evaluation
- Logic programming approach to automata-based decision procedures
- scientific article; zbMATH DE number 219225 (Why is no real title available?)
- Reasoning in description logics by a reduction to disjunctive datalog
- A simple correctness proof for magic transformation
- scientific article; zbMATH DE number 7453118 (Why is no real title available?)
- A framework for goal-directed query evaluation with negation
- Non-Horn magic sets to incorporate top-down inference into bottom-up theorem proving
- Generating Specialized Rules and Programs for Demand-Driven Analysis
- Magic-sets for localised analysis of Java bytecode
- Parallelism in logic programs
- Enhancing magic sets with an application to ontological reasoning
- On the Almighty Wand
- Old Magic Powers
- Magic semi-joins
- Loop checking in SLD-derivations by well-quasi-ordering of goals
- The pushdown method to optimize chain logic programs
- Complexity of super-coherence problems in ASP
This page was built for publication: On the power of magic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3210147)
