William Billingsley

Publication List Details

Period

1953 - 2008

Number

4

Co-Authors

2006, ‘Writing questions for an Intelligent Book using external AI (2008)

William Billingsley, Kasim Rehman, Peter Robinson

Intelligent Books are Web-based textbooks that can adapt and improve their content and guide students through graphical example exercises that resemble the diagrams and notations a student might use...

Student Proof Exercises using MathsTiles and Isabelle/HOL in an Intelligent Book (2008)

William Billingsley

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 Environment. In this paper, we...

Intelligent tutoring and supervised problem solving in the browser (2004)

William Billingsley, Peter Robinson, Mark Ashdown, Chris Hanson

Web-based intelligent tutoring systems are becoming increasingly sophisticated. One approach to the resulting complexity is to separate the application into a front-end applet providing the user...