"PLATO System"@cs .