Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation.
Tuan Nguyen QuocKatsumi InoueChiaki SakamaPublished in: ICLP Technical Communications (2020)
Keyphrases
- logic programs
- sparse representation
- regularized least squares
- dictionary learning
- logic programming
- sparse coding
- fixpoint
- answer set programming
- compressive sensing
- face recognition
- image classification
- answer sets
- stable models
- joint optimization
- partial deduction
- computational properties
- signal processing
- stable model semantics
- prolog programs
- inductive logic programming
- image representation
- normal logic programs
- term rewriting systems
- deductive databases
- strong equivalence
- dimensionality reduction
- principal component analysis
- feature space
- sparse coefficients
- machine learning
- data sets