Computing Logic Programming Semantics in Linear Algebra
Computing Logic Programming Semantics in Linear Algebra
Hien D. Nguyen,Chiaki Sakama,Taisuke Sato,Katsumi Inoue
2018 · DOI: 10.1007/978-3-030-03014-8_3
International Workshop on Multi-disciplinary Trends in Artificial Intelligence · 15 Citations
TLDR
New algorithms for computing logic programming semantics in linear algebra using matrices are developed and the complexity of them is analyzed and tested in practice.