Tuan Nguyen Quoc

According to our database, Tuan Nguyen Quoc authored at least 4 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Linear Algebraic Abduction with Partial Evaluation.

Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama

Proceedings of the Practical Aspects of Declarative Languages, 2023

On Converting Logic Programs Into Matrices.

Tuan Nguyen Quoc, Katsumi Inoue

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

2021

Linear Algebraic Computation of Propositional Horn Abduction.

Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

2020

Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation.

Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama

Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020