Realization of stable models with subspace methods.
N. L. C. ChuiJan M. MaciejowskiPublished in: Autom. (1996)
Keyphrases
- stable models
- subspace methods
- logic programs
- logic programming
- normal logic programs
- face recognition
- answer set programming
- stable model semantics
- linear discriminant analysis
- ensemble methods
- fixpoint
- deductive databases
- face databases
- principal component analysis
- benchmark datasets
- support vector machine
- blind source separation
- lower dimensional
- linear subspace
- semantics for logic programs
- decision trees
- answer sets
- object detection
- knowledge representation
- data points