Convergence of datalog over (pre-) semirings
From MaRDI portal
Cites work
- A kripke-kleene semantics for logic programs*
- A relational model of data for large shared data banks
- A Theorem on Boolean Matrices
- A Unified Approach to Path Problems
- Algebraic structures for transitive closure
- Applications of a Planar Separator Theorem
- Bilattices and the semantics of logic programming
- Bucket elimination: a unifying framework for processing hard and soft constraints
- Commutative Regular Equations and Parikh's Theorem
- Complexity of constraints. An overview of current research themes
- Convergence of Newton's method over commutative semirings
- Datalog and recursive query processing
- Elements of finite model theory.
- Extrema predicates in deductive databases
- Fixpoint semantics and optimization of recursive Datalog programs with aggregates
- Fixpoint semantics for logic programming a survey
- Founded semantics and constraint semantics of logic rules
- Generalized Nested Dissection
- Global Data Flow Analysis and Iterative Algorithms
- Graphs, dioids and semirings. New models and algorithms.
- Greedy algorithms in Datalog
- scientific article; zbMATH DE number 4014944 (Why is no real title available?)
- scientific article; zbMATH DE number 4147534 (Why is no real title available?)
- scientific article; zbMATH DE number 4160107 (Why is no real title available?)
- scientific article; zbMATH DE number 3711960 (Why is no real title available?)
- scientific article; zbMATH DE number 3487231 (Why is no real title available?)
- scientific article; zbMATH DE number 3541864 (Why is no real title available?)
- scientific article; zbMATH DE number 1268810 (Why is no real title available?)
- scientific article; zbMATH DE number 1324833 (Why is no real title available?)
- scientific article; zbMATH DE number 1163635 (Why is no real title available?)
- scientific article; zbMATH DE number 1945067 (Why is no real title available?)
- scientific article; zbMATH DE number 194916 (Why is no real title available?)
- scientific article; zbMATH DE number 839556 (Why is no real title available?)
- Kleene's Logic, Generalized
- Les éléments p-réguliers dans les dioides
- Linear and combinatorial optimization in ordered algebraic structures
- Newtonian program analysis
- Newtonian program analysis via tensor product
- Numerical Optimization
- On Context-Free Languages
- Recursive rules with aggregation: a simple unified semantics
- Regular Algebra Applied to Path-finding Problems
- Scaling-up reasoning and advanced analytics on BigData
- Semiring induced valuation algebras: exact and approximate local computation algorithms
- The DLV system for knowledge representation and reasoning
- The expressive power of stratified logic programs
- The family of stable models
- The generalized distributive law
- The well-founded semantics for general logic programs
- Why not negation by fixpoint?
This page was built for publication: Convergence of datalog over (pre-) semirings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7031254)
