Keyphrases
- theory revision
- action theories
- knowledge base
- higher order
- theoretical framework
- first order logic
- concept learning
- logical theories
- term rewriting
- neural network
- cognitive psychology
- background knowledge
- information systems
- real time
- knowledge based systems
- situation calculus
- domain theory
- decision theory
- evolutionary algorithm
- formal models
- information retrieval
- data mining
- propositional theories
- classical first order logic