Sciweavers

607 search results - page 68 / 122
» A Practical Student Model in an Intelligent Tutoring System
Sort
View
AIED
2009
Springer
15 years 6 months ago
Looking Into Collaborative Learning: Design from Macro- and Micro-Script Perspectives
Design of collaborative learning (CL) scenarios is a complex task, but necessary if the goal of the collaboration is learning. Creating well-thought-out CL scenarios requires exper...
Eloy D. Villasclaras-Fernández, Seiji Isota...
ATAL
2006
Springer
15 years 3 months ago
On the complexity of practical ATL model checking
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...
Wiebe van der Hoek, Alessio Lomuscio, Michael Wool...
WSC
2000
15 years 1 months ago
Teaching simulation using case studies
We have developed and implemented a case-based approach for introducing discrete event simulation to undergraduate and graduate manufacturing engineering students. Students learn ...
Charles R. Standridge
AIEDU
2005
93views more  AIEDU 2005»
14 years 11 months ago
The Logic-ITA in the Classroom: A Medium Scale Experiment
This paper presents the experiment and consequent evaluation of introducing the Logic-ITA in a second year tertiary undergraduate class. The Logic-ITA is a web-based Intelligent Te...
Kalina Yacef
AAAI
2006
15 years 1 months ago
LOCATE Intelligent Systems Demonstration: Adapting Help to the Cognitive Styles of Users
LOCATE is workspace layout design software that also serves as a testbed for developing and refining principles of adaptive aiding. This demonstration illustrates LOCATE's ab...
Jack L. Edwards, Greg Scott