Logic programming in tensor spaces

DOI10.1007/S10472-021-09767-XMaRDI QIDQ825007zbMATH OpenOpenAlexFDO

Authors Chiaki Sakama, Katsumi Inoue, 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)

Recommendations

• On computing logic programs
• Learning and reasoning with logic tensor networks
• TensorLog: a probabilistic database implemented using deep-learning infrastructure
• Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
• scientific article; zbMATH DE number 2090547

Cites work

• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 7455718 (Why is no real title available?)
• A linear algebraic approach to Datalog evaluation
• An efficient reasoning method on logic programming using partial evaluation in vector spaces
• Disjunctive \(LP+\) integrity constraints = stable model semantics.
• Dynamic updates of non-monotonic knowledge bases
• Learning and reasoning with logic tensor networks
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Matrix development of the calculus of relations
• Mixed integer programming methods for computing nonmonotonic deductive databases
• Tensor Decompositions and Applications
• The Semantics of Predicate Logic as a Programming Language

Cited in

(6)

• A differentiable first-order rule learner for inductive logic programming
• Learning and reasoning with logic tensor networks
• Sparse logical terms
• Towards an approximative ontology-agnostic approach for logic programs
• A formal approach to linking logical form and vector-space lexical semantics
• TensorLog: a probabilistic database implemented using deep-learning infrastructure

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q825007)