1. Preface

   • Deepak Kapur

   Preface Pages: 185 - 186

2. Abductive Theorem Proving for Analyzing Student Explanations to Guide Feedback in Intelligent Tutoring Systems

   • Maxim Makatchev
   • Pamela W. Jordan
   • Kurt VanLehn

   OriginalPaper Pages: 187 - 226

3. A Proof Environment for Teaching Mathematics

   • Richard Sommer
   • Gregory Nuckols

   OriginalPaper Pages: 227 - 258

4. Living Book – Deduction, Slicing, and Interaction

   • P. Baumgartner
   • U. Furbach
   • A. Sinner

   OriginalPaper Pages: 259 - 286