Keyphrases
- plan recognition
- matrix representation
- reduction method
- information systems
- case based planning
- plan generation
- linear algebra
- theorem prover
- covariance matrix
- decision theoretic
- similarity matrix
- theorem proving
- hopfield neural network
- singular value decomposition
- sparse matrix
- genetic algorithm
- proof planning
- domain independent planning