Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation.
Tuan Nguyen QuocKatsumi InoueChiaki SakamaPublished in: New Gener. Comput. (2022)
Keyphrases
- logic programs
- sparse representation
- regularized least squares
- logic programming
- dictionary learning
- sparse coding
- image classification
- fixpoint
- stable models
- answer sets
- face recognition
- prolog programs
- answer set programming
- signal processing
- inductive logic programming
- term rewriting systems
- joint optimization
- image representation
- compressive sensing
- dimensionality reduction
- computational properties
- partial deduction
- stable model semantics
- image segmentation
- normal logic programs
- logic program updates
- high dimensional data
- deductive databases
- semi supervised
- monotonicity constraints
- strong equivalence
- sparse coefficients
- semantics of logic programs
- higher order
- linear combination