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 …
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 …
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 …
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 …
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 …
seguindo o paradigma da complexidade. A pesquisa que ora reportamos busca selecionar …