A theory and methodology of inductive learning
Prototypical knowledge for expert systems
Call for papers: AAAI-83 : 1983 national conference on artificial intelligence August 22–26, 1983, Washington, DC, U.S.A.
Association for automated reasoning : Open maths problems computer competition
International conference on data bases in the humanities and social sciences : Rutgers—The State University June 10–12, 1983, New Brunswick, NJ, U.S.A.