Keyphrases
- cooperative learning
- formal model
- abductive inference
- explanation based learning
- formal specification
- formal language
- mathematical theory
- data sets
- case based reasoning
- knowledge structures
- database systems
- case study
- social networks
- solving problems
- knowledge level
- formal representation
- artificial intelligence
- learning algorithm
- hierarchical problem solving
- machine learning