IWAR 1992: Beijing, China

Chapter 1: Geometric Reasoning

Chapter 2: Nonmonotonic Reasoning

Chapter 3: Uncertain Reasoning

Chapter 4: Logic and Proving

Chapter 5: Pansystems Theory

Chapter 6: Search & Parallel Reasoning Search

Chapter 7: Temporal & Qualitative Reasoning

Chapter 8: Analogical Reasoning

Chapter 9: Constraint Reasoning

Chapter 10: Neurocomputing