A linear algebraic approach to datalog evaluation
From MaRDI portal
Publication:4593086
DOI10.1017/S1471068417000023zbMath1379.68082arXiv1608.00139MaRDI QIDQ4593086
Publication date: 9 November 2017
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1608.00139
68N17: Logic programming
Related Items
Uses Software
Cites Work
- Unnamed Item
- Tensor Decompositions and Applications
- Filtering theory. With applications to fault detection, isolation, and estimation.
- Matrix multiplication via arithmetic progressions
- XSB: Extending Prolog with Tabled Logic Programming
- Computational Methods for Linear Matrix Equations
- RECSY and SCASY Library Software: Recursive Blocked and Parallel Algorithms for Sylvester-Type Matrix Equations with Some Applications
- A Hessenberg-Schur method for the problem AX + XB= C
- Algorithm 432 [C2: Solution of the matrix equation AX + XB = C [F4]]
- Recursive blocked algorithms for solving triangular systems—Part I
- Depth-First Search and Linear Graph Algorithms