Linear Algebraic Partial Evaluation of Logic Programs.

Tuan Nguyen, Katsumi Inoue, Chiaki Sakama

Browse the full ICTAI paper archive.