Fundamental mechanisms for artificial intelligence programming languages.- Advanced topics in automated deduction.- Qualitative reasoning.- Knowledge acquisition for expert systems.- Fundamental mechanisms in machine learning and inductive Part 2.- Topics in planning.- Natural language systems.