Logic programming in tensor spaces

DOI10.1007/s10472-021-09767-xzbMath1496.68092OpenAlexW3195968268MaRDI QIDQ825007

Katsumi Inoue, Chiaki Sakama, Taisuke Sato

Publication date: 17 December 2021

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-021-09767-x

zbMATH Keywords

linear algebratensor spaceknowledge representation and reasoninglogic program

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Knowledge representation (68T30) Logic programming (68N17)

Cites Work

• Unnamed Item
• Unnamed Item
• Tensor Decompositions and Applications
• Disjunctive \(LP+\) integrity constraints = stable model semantics.
• An efficient reasoning method on logic programming using partial evaluation in vector spaces
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• The Semantics of Predicate Logic as a Programming Language
• Mixed integer programming methods for computing nonmonotonic deductive databases
• Dynamic updates of non-monotonic knowledge bases
• A linear algebraic approach to datalog evaluation
• Learning and Reasoning with Logic Tensor Networks
• Matrix development of the calculus of relations

This page was built for publication: Logic programming in tensor spaces