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 .