论文信息 - Adaptive Course Generation and Presentation - 字舞流文

Adaptive Course Generation and Presentation

Volker Sorge | Jörg H. Siekmann | Paul Libbrecht | Andreas Meier | Christoph Benzmüller | Michael Kohlhase | Erica Melis | Helmut Horacek | Carsten Ullrich | Martin Pollet | Armin Fiedler | George Goguadze | Jürgen Zimmer | Andreas Franke

[1] Volker Sorge,et al. Agent-Oriented Integration of Distributed Mathematical Services , 1999, J. Univers. Comput. Sci..

[2] David A. Redfern,et al. The Maple Handbook: Maple V Release 3 , 1995 .

[3] Michael Kohlhase,et al. MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems , 2001, J. Symb. Comput..

[4] Erica Melis,et al. Knowledge-Based Proof Planning , 1999, Artif. Intell..

[5] Gerhard Weber,et al. User Modeling and Adaptive Navigation Support in WWW-Based Tutoring Systems , 1997 .

[6] Michael Kohlhase,et al. System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving , 1999, CADE.

[7] Tim Finin,et al. KQML - A Language and Protocol for Knowledge and Information Exchange , 1994 .