Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue. Computing Logic Programming Semantics in Linear Algebra. In Manasawee Kaenampornpan, Rainer Malaka, Duc Dung Nguyen, Nicolas Schwind, editors, Multi-disciplinary Trends in Artificial Intelligence - 12th International Conference, MIWAI 2018, Hanoi, Vietnam, November 18-20, 2018, Proceedings. Volume 11248 of Lecture Notes in Computer Science, pages 32-48, Springer, 2018. [doi]
Abstract is missing.