scientific article; zbMATH DE number 7455718

MaRDI QIDQ5020978

Chiaki Sakama, Tuan Nguyen Quoc, Katsumi Inoue

Publication date: 11 January 2022

Full work available at URL: https://arxiv.org/abs/2009.10247

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Logic programming in tensor spaces

Uses Software

• Eigen
• Clingo
• KONECT
• TensorLog

Cites Work

• The Semantics of Predicate Logic as a Programming Language
• Two Fast Algorithms for Sparse Matrices: Multiplication and Permuted Transposition
• The complexity of logic-based abduction
• Dynamic updates of non-monotonic knowledge bases
• A linear algebraic approach to datalog evaluation

This page was built for publication: