AI magazine : an official publication of the American Association for Artificial Intelligence - American Association for Artificial Intelligence (1980)