Keyphrases
- theoretic analysis
- mathematical proofs
- theorem prover
- theorem proving
- linear logic
- proof planning
- evolutionary algorithm
- theoretical framework
- cognitive psychology
- cognitive architecture
- classical first order logic
- logical rules
- underlying assumptions
- database
- logic programs
- learning algorithm
- machine learning
- databases