Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation. - Tuan Nguyen Quoc; Katsumi Inoue; Chiaki Sakama (ICLP Technical Communications, 2020)

Linear Algebraic Computation of Propositional Horn Abduction. - Tuan Nguyen Quoc; Katsumi Inoue; Chiaki Sakama (ICTAI, 2021)

On Converting Logic Programs Into Matrices. - Tuan Nguyen Quoc; Katsumi Inoue (ICAART (2), 2023)

Linear Algebraic Abduction with Partial Evaluation. - Tuan Nguyen Quoc; Katsumi Inoue; Chiaki Sakama (PADL, 2023)