Keyphrases
- discriminant analysis
- default logic
- default reasoning
- nonmonotonic reasoning
- principal component analysis
- logic programs
- situation calculus
- commonsense knowledge
- feature extraction
- appearance based face recognition
- closed world assumption
- autoepistemic logic
- theorem prover
- neural network
- stable model semantics
- class separability
- artificial intelligence
- event calculus
- nonmonotonic logics
- linear discriminant
- image processing
- discriminant features
- disjunctive logic programming
- loop formulas
- answer sets
- first order logic
- locality preserving projections
- logic programming
- face recognition
- minimal models
- databases
- closed world reasoning