research
∙
09/22/2020
Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation
Algebraic characterization of logic programs has received increasing att...
share
research
∙
11/28/2018
Partial Evaluation of Logic Programs in Vector Spaces
In this paper, we introduce methods of encoding propositional logic prog...
research
∙
11/19/2013
Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning
Knowledge Representation and Reasoning and Machine Learning are two impo...
research
∙
08/30/2011