An Intelligent Tutoring System for Teaching FOL Equivalence.
Foteini GrivokostopoulouIsidoros PerikosIoannis HatzilygeroudisPublished in: AIED Workshops (2013)
Keyphrases
- first order logic
- knowledge representation
- intelligent tutors
- e learning
- distance learning
- learning environment
- high school
- university level
- effective learning
- learning process
- intelligent tutoring systems
- computer programming
- cooperative learning
- tutoring system
- educational software
- theorem proving
- web based learning
- hong kong
- online learning
- hybrid learning
- inference rules
- learning analytics
- learning systems
- student model
- authoring tool
- secondary school
- datalog programs
- logic programming
- learning objects
- artificial intelligence