Keyphrases
- theorem proving
- educational software
- lecture notes
- united kingdom
- computer science
- united states
- lecture notes in artificial intelligence
- computer science education
- international conference
- international symposium
- inference rules
- first order logic
- proof planning
- theorem prover
- computer games
- software design
- keynote address
- international workshop
- consequence finding
- expert systems
- north america
- computational intelligence
- machine learning
- teaching materials
- collaborative learning
- case study
- e learning
- learning algorithm
- data mining