Advances in artificial intelligence-II : Seventh European Conference on Artificial Intelligence, ECAI-86, Brighton, U.K., July 20-25, 1986 / ed. by Ben du Boulay and David Hogg, Luc SteelsTeaching, learning and using Prolog / guest ed.: Paul Brna, Helen Pain, Benedict Du BoulayArtificial intelligence V : methodology, systems, applications : proceedings of the fifth International conference on artificial intelligence : methodology, systems, applications (AIMSA '92) Sofia, Bulgaria, 21-24 September, 1992 / ed. by B. du Boulay and V. SgurevArtificial intelligence through search / Christopher James Thornton, Benedict du BoulayArtificial intelligence in education : knowledge and media in learning systems : proceedings of AI-ED 97 world conference on artificial intelligence in education, Kobe, Japan / ed. by B. du Boulay and R. Mizoguchi