Pedagogically Founded Courseware Generation for Web-Based Learning: An HTN-Planning-Based Approach Implemented in Paigos (Lecture Notes in Computer ... Notes in Computer Science, 5260, Band 5260)