Keyphrases
- term rewriting
- theorem proving
- theorem prover
- operational semantics
- rewrite systems
- knuth bendix
- inductive inference
- constructive induction
- inductive learning
- inductive logic programming
- program synthesis
- rule induction
- inference rules
- bayesian networks
- explanation based learning
- subgroup discovery
- integrity constraints
- multiagent systems
- dynamic environments