Keyphrases
- analogical reasoning
- statistical mechanics
- domain theory
- analogy making
- timed automata
- provably correct
- automated deduction
- nearest neighbour algorithm
- database
- computer algebra
- algebraic structure
- automated theorem proving
- qualitative spatial reasoning
- real numbers
- first order logic
- information processing
- data model
- case study
- website
- computer vision
- genetic algorithm