Keyphrases
- semantic network
- theorem prover
- first order logic
- theorem proving
- term rewriting
- inference rules
- spreading activation
- automated theorem proving
- semantic net
- semantic relations
- knowledge base
- knowledge sources
- natural deduction
- proof search
- linguistic analysis
- array processor
- predicate calculus
- formal proof
- natural language text
- wordnet
- learning algorithm
- related concepts
- biomedical text
- machine learning
- modal logic
- knowledge acquisition
- bayesian networks
- proof planning
- data sets