Chiaki Sakama, Katsumi Inoue, Taisuke Sato. Linear Algebraic Characterization of Logic Programs. In Gang Li, Yong Ge, Zili Zhang, Zhi Jin, Michael Blumenstein, editors, Knowledge Science, Engineering and Management - 10th International Conference, KSEM 2017, Melbourne, VIC, Australia, August 19-20, 2017, Proceedings. Volume 10412 of Lecture Notes in Computer Science, pages 520-533, Springer, 2017. [doi]
Abstract is missing.