Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book

W Billingsley, P Robinson - Journal of Automated Reasoning, 2007 - Springer
Abstract The Intelligent Book project aims to improve online education by designing
materials that can model the subject matter they teach, in the manner of a reactive learning …

[PDF][PDF] Searching questions, informal modelling, and massively multiple choice

W Billingsley, P Robinson - Beyond control: Learning technology for the …, 2007 - Citeseer
Abstract The Intelligent Book project aims to improve online education by designing
materials that can model the subject matter they teach, in the manner of a Reactive Learning …

[PDF][PDF] Assessment Models and Qualitative and Symbolic Analysis Techniques for an Electrical Circuits eTutor

A Muscat, J Debono, M Corradino - Citeseer
This paper is about assessment models, domain expert models and user interfaces as
components in an Intelligent Tutoring System that serves junior classes in electrical circuits …

[PDF][PDF] An electrical circuits e-tutor based on symbolic and qualitative analysis

J Debono, A Muscat - The Fifth International Conference on …, 2011 - researchgate.net
Numerical Time Domain electrical circuit simulators are the de facto standard in industry and
education. Nevertheless circuits simulators based on symbolic or qualitative techniques …

[PDF][PDF] METODOLOGIA PARA SISTEMA BASEADO EM CONHECIMENTO DE LIVRO AUTOPOIÉTICO

BE de Mello, FAP Fialho, JAP Sacenti - researchgate.net
RESUMO Nós escrevemos este artigo em modo pessoal–primeira pessoa do plural–
seguindo o paradigma da complexidade. A pesquisa que ora reportamos busca selecionar …