Assistant Tools for Teaching FOL to CF Conversion.
Foteini GrivokostopoulouIsidoros PerikosIoannis HatzilygeroudisPublished in: AIAI (1) (2012)
Keyphrases
- learning systems
- software tools
- first order logic
- test bed
- cooperative learning
- computer programming
- educational software
- high school
- learning process
- online learning
- user friendly
- web based learning
- inference rules
- collaborative filtering
- meaningful learning
- learning environment
- computer networking
- teacher education
- technical expertise
- life long
- design principles
- virtual learning environments
- theorem proving
- computer technology
- artificial intelligence
- matrix factorization
- decision support
- knowledge representation
- end users
- e learning