Problem solving grammars as formal tools for intelligent CAI.
Mark L. MillerIra P. GoldsteinPublished in: ACM Annual Conference (1977)
Keyphrases
- visual languages
- decision support
- cooperative learning
- formal language
- software tools
- information processing
- case based reasoning
- artificial intelligence
- web based learning
- adaptive systems
- explanation based learning
- formal models
- complex problem solving
- knowledge acquisition
- intelligent systems
- user friendly
- learning process
- formal methods
- multi agent systems
- cooperative