238 citations · 254 across the 10 of their papers we have counts for
1 paper · 1 filter
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.…