WinKE: A Pedagogical Tool for Teaching Logic and Reasoning.
Marcello D'AgostinoMarco MondadoriUlrich EndrissDov M. GabbayJeremy PittPublished in: Intelligent Tutoring Systems (1998)
Keyphrases
- learning environment
- e learning
- learning process
- automated reasoning
- computational properties
- logical framework
- teaching mathematics
- order of magnitude reasoning
- proof theory
- blended learning
- deductive reasoning
- learning analytics
- proof theoretic
- learning design
- teaching strategies
- distance learning
- probabilistic logic
- reasoning engine
- intuitionistic logic
- human reasoning
- horn logic
- online learning
- logical rules
- educational contexts
- web based education
- student progress
- high school teachers
- reasoning tasks
- computer programming
- technology enhanced learning
- learning activities
- hybrid learning
- high school
- teaching practices
- modal logic
- knowledge base
- knowledge representation
- collaborative learning
- pedagogical design
- logic programming
- learning systems
- higher education
- language learning
- educational material
- teaching materials
- technology supported
- technology integration