Keyphrases
- theory revision
- knowledge base
- first order logic
- concept learning
- action theories
- higher order
- theoretical framework
- video sequences
- distributive lattices
- domain theory
- clifford algebra
- logical theories
- spatial reasoning
- classical first order logic
- propositional theories
- linear temporal logic
- logical formulas
- cognitive psychology
- neural network
- background knowledge
- learning algorithm