AI magazine (American Association for Artificial Intelligence, 1980)