An Intelligent Teaching Assistant System for Logic
ITS '02 Proceedings of the 6th International Conference on Intelligent Tutoring Systems
Evaluating e-learning web site quality in a fuzzy environment: Research Articles
International Journal of Intelligent Systems
Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
The evaluation of Learning Management Systems using an artificial intelligence fuzzy logic algorithm
Advances in Engineering Software
Visualizing educational data from logic tutors
ITS'10 Proceedings of the 10th international conference on Intelligent Tutoring Systems - Volume Part II
Ten years of computer-based tutors for teaching logic 2000-2010: lessons learned
TICTTL'11 Proceedings of the Third international congress conference on Tools for teaching logic
| Hi-index | 0.00 |
The SELL project described here is the design and development of a tool for assisting the learning of Logic in the context of a wholly online CS degree using a web-based learning environment. This tool should provide guidance, interactive feedback, and continuous assessment for Logic course students, covering major topics in an introductory course (natural deduction, resolution and semantics in propositional and predicate logic). The process of the design, implementation, use and development of the resulting tool, coined Logic E-learning Assistant, is presented.