Algebraic Connection Between Logic Programming and Machine Learning
K Inoue - International Symposium on Functional and Logic …, 2024 - Springer
There have been attempts to connect machine learning and symbolic reasoning, providing
interfaces between them. This work focuses on our original approach to integrate machine …
interfaces between them. This work focuses on our original approach to integrate machine …
[PDF][PDF] Linear Algebraic Partial Evaluation of Logic Programs
In logic programming, partial evaluation performs unfolding rules of a program in advance to
reduce the cost of inferencing steps. Recently, partial evaluation of logic programs has been …
reduce the cost of inferencing steps. Recently, partial evaluation of logic programs has been …