activity
20172023
most citedEmbedding Tarskian Semantics in Vector Spaces

2 citations · 3 across the 4 of their papers we have counts for

collaborators
Showing cs.LGShow all

1 paper · 1 filter

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…