An evaluation framework based on timed automata for Malleable Learning Scenario.
Manel BenSassiMona LaroussiPublished in: EDUCON (2014)
Keyphrases
- learning scenarios
- timed automata
- model checking
- reachability analysis
- theorem prover
- learning processes
- learning experience
- learning situations
- learning activities
- theorem proving
- evaluation framework
- ims ld
- learning styles
- first order logic
- temporal logic
- design process
- real time systems
- instructional designers
- authoring environment
- inference rules
- educational modeling languages
- learning environment
- e learning
- learning process
- expert systems
- real world