Keyphrases
- domain theory
- fixed point theorem
- fixed point
- boundary conditions
- boundary value problem
- explanation based learning
- inductive learning
- domain knowledge
- continuous functions
- background knowledge
- training examples
- sufficient conditions
- differential equations
- case base
- artificial intelligence
- inductive logic programming
- neural network
- dynamical systems
- case based reasoning
- graph cuts
- variational inequalities
- training data
- similarity measure