Taisuke Sato

A tensorized logic programming language for large-scale data

2019 · arXiv (Cornell University)

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-the-art probabilistic logic programming languages, by replacing distribution …

Towards End-to-End ASP Computation

2026 · Neurosymbolic Artificial Intelligence

We propose an end-to-end approach for Answer Set Programming (ASP) and linear algebraically compute stable models satisfying given constraints. The idea is to implement Lin-Zhao’s theorem together with constraints directly in vector spaces as numerical …