%0 Journal Article %1 journals/logcom/NguyenSSI21 %A Nguyen, Hien D. %A Sakama, Chiaki %A Sato, Taisuke %A Inoue, Katsumi %D 2021 %J J. Log. Comput. %K dblp %N 5 %P 1298-1316 %T An efficient reasoning method on logic programming using partial evaluation in vector spaces. %U http://dblp.uni-trier.de/db/journals/logcom/logcom31.html#NguyenSSI21 %V 31

@article{journals/logcom/NguyenSSI21, added-at = {2021-09-29T00:00:00.000+0200}, author = {Nguyen, Hien D. and Sakama, Chiaki and Sato, Taisuke and Inoue, Katsumi}, biburl = {https://www.bibsonomy.org/bibtex/2d6fc1a6deacd5c5c3118d9151ac007c6/dblp}, ee = {https://doi.org/10.1093/logcom/exab010}, interhash = {b374b11a627669e51d05a2451285d113}, intrahash = {d6fc1a6deacd5c5c3118d9151ac007c6}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 5, pages = {1298-1316}, timestamp = {2024-04-09T05:12:36.000+0200}, title = {An efficient reasoning method on logic programming using partial evaluation in vector spaces.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom31.html#NguyenSSI21}, volume = 31, year = 2021 }