These twenty-eight contributions report advances in one of the most active research areas in artificial intellgence. Qualitative modeling techniques are an essential part of building second generation
The arithmetic Riemann-Roch Theorem has been shown recently by Bismut-Gillet-Soul. The proof mixes algebra, arithmetic, and analysis. The purpose of this book is to give a concise introduction to the
These twenty-eight contributions report advances in one of the most active research areas in artificial intellgence. Qualitative modeling techniques are an essential part of building second generation
A new and complete treatment of semi-abelian degenerations of abelian varieties, and their application to the construction of arithmetic compactifications of Siegel moduli space, with most of the resu
This volume contains selected papers based on talks given at the 2013 Arbeitstagung, held at the Max Planck Institute for Mathematics in Bonn, Germany, from May 22-28. The 2013 meeting, and this resul