research
∙
06/12/2023
Towards end-to-end ASP computation
We propose an end-to-end approach for answer set programming (ASP) and l...
share
research
∙
08/14/2021
MatSat: a matrix-based differentiable SAT solver
We propose a new approach to SAT solving which solves SAT problems in ve...
research
∙
01/20/2019
A tensorized logic programming language for large-scale data
We introduce a new logic programming language T-PRISM based on tensor em...
research
∙
11/28/2018
Partial Evaluation of Logic Programs in Vector Spaces
In this paper, we introduce methods of encoding propositional logic prog...
research
∙
07/30/2016
A Linear Algebraic Approach to Datalog Evaluation
In this paper, we propose a fundamentally new approach to Datalog evalua...
research
∙
03/22/2013
Viterbi training in PRISM
VT (Viterbi training), or hard EM, is an efficient way of parameter lear...
research
∙
08/25/2011