Problem Solving with Interactive-Theorem Proving - A Case Study.
Shivashish JaishyNobuhiro ItoYoshinobu KawabePublished in: ACIT/CSII/BCD (2017)
Keyphrases
- interactive theorem proving
- artificial intelligence
- case based reasoning
- test bed
- information processing
- case study
- analogical reasoning
- complex problem solving
- engineering design
- explanation based learning
- knowledge acquisition
- search algorithm
- information systems
- distributed artificial intelligence
- collaborative problem solving
- knowledge structures
- data sets
- hierarchical problem solving
- distributed problem solving
- procedural knowledge
- digital libraries
- video sequences