Picture for Taisuke Sato

Taisuke Sato

National Institute of Informatics

Towards end-to-end ASP computation

Add code
Jun 13, 2023
Viaarxiv icon

MatSat: a matrix-based differentiable SAT solver

Add code
Aug 14, 2021
Figure 1 for MatSat: a matrix-based differentiable SAT solver
Figure 2 for MatSat: a matrix-based differentiable SAT solver
Figure 3 for MatSat: a matrix-based differentiable SAT solver
Figure 4 for MatSat: a matrix-based differentiable SAT solver
Viaarxiv icon

A tensorized logic programming language for large-scale data

Add code
Jan 20, 2019
Figure 1 for A tensorized logic programming language for large-scale data
Figure 2 for A tensorized logic programming language for large-scale data
Figure 3 for A tensorized logic programming language for large-scale data
Viaarxiv icon

Partial Evaluation of Logic Programs in Vector Spaces

Add code
Nov 28, 2018
Figure 1 for Partial Evaluation of Logic Programs in Vector Spaces
Figure 2 for Partial Evaluation of Logic Programs in Vector Spaces
Figure 3 for Partial Evaluation of Logic Programs in Vector Spaces
Figure 4 for Partial Evaluation of Logic Programs in Vector Spaces
Viaarxiv icon

Embedding Tarskian Semantics in Vector Spaces

Add code
Mar 09, 2017
Figure 1 for Embedding Tarskian Semantics in Vector Spaces
Viaarxiv icon

A Linear Algebraic Approach to Datalog Evaluation

Add code
Feb 24, 2017
Figure 1 for A Linear Algebraic Approach to Datalog Evaluation
Figure 2 for A Linear Algebraic Approach to Datalog Evaluation
Figure 3 for A Linear Algebraic Approach to Datalog Evaluation
Figure 4 for A Linear Algebraic Approach to Datalog Evaluation
Viaarxiv icon

A Logic-based Approach to Generatively Defined Discriminative Modeling

Add code
Oct 15, 2014
Figure 1 for A Logic-based Approach to Generatively Defined Discriminative Modeling
Figure 2 for A Logic-based Approach to Generatively Defined Discriminative Modeling
Figure 3 for A Logic-based Approach to Generatively Defined Discriminative Modeling
Figure 4 for A Logic-based Approach to Generatively Defined Discriminative Modeling
Viaarxiv icon

Viterbi training in PRISM

Add code
Nov 29, 2013
Figure 1 for Viterbi training in PRISM
Figure 2 for Viterbi training in PRISM
Figure 3 for Viterbi training in PRISM
Viaarxiv icon

Verbal Characterization of Probabilistic Clusters using Minimal Discriminative Propositions

Add code
Aug 31, 2011
Figure 1 for Verbal Characterization of Probabilistic Clusters using Minimal Discriminative Propositions
Figure 2 for Verbal Characterization of Probabilistic Clusters using Minimal Discriminative Propositions
Viaarxiv icon

CHR(PRISM)-based Probabilistic Logic Learning

Add code
Jul 22, 2010
Figure 1 for CHR(PRISM)-based Probabilistic Logic Learning
Figure 2 for CHR(PRISM)-based Probabilistic Logic Learning
Viaarxiv icon