Keyphrases
- expert knowledge
- theorem proving
- prior knowledge
- learned knowledge
- expert systems
- knowledge acquisition
- knowledge engineering
- learning process
- domain knowledge
- domain experts
- first order logic
- proof planning
- theorem prover
- consequence finding
- genetic algorithm
- term rewriting
- parallel search
- decision procedures
- inference rules
- decision making