2 citations · 2 across the 2 of their papers we have counts for
3 papers
cs.LG2019
A tensorized logic programming language for large-scale data
Ryosuke Kojima, Taisuke Sato
We introduce a new logic programming language T-PRISM based on tensor embeddings. Our embedding scheme is a modification of the distribution semantics in PRISM, one of the state-of…
cs.AI2018
Partial Evaluation of Logic Programs in Vector Spaces
Chiaki Sakama, Hien D. Nguyen, Taisuke Sato +1
In this paper, we introduce methods of encoding propositional logic programs in vector spaces. Interpretations are represented by vectors and programs are represented by matrices.…
cs.AI2017★ 2 cited
Embedding Tarskian Semantics in Vector Spaces
Taisuke Sato
We propose a new linear algebraic approach to the computation of Tarskian semantics in logic. We embed a finite model M in first-order logic with N entities in N-dimensional Euclid…