A Web-Based Education System for Predicate Logic.
Ioannis HatzilygeroudisChristos GiannoulisConstantinos KoutsojannisPublished in: ICALT (2004)
Keyphrases
- predicate logic
- web based education
- e learning
- web based learning
- learning management systems
- temporal logic
- educational technology
- student model
- knowledge representation and reasoning
- web enabled
- formal logic
- semantic network
- computational linguistics
- learning styles
- artificial intelligence
- learning technologies
- information retrieval
- model checking
- learning objects
- data analysis
- natural language