Keyphrases
- linear time temporal logic
- universal quantification
- first order logic
- machine learning
- action theories
- inductive learning
- polynomial hierarchy
- neural network
- knowledge representation
- model checking
- concept learning
- situation calculus
- relational databases
- inductive inference
- transitive closure
- knowledge base
- inductive reasoning
- genetic algorithm