1. Formalization of a normalization theorem in simplicial topology

   • Laureano Lambán
   • Francisco-Jesús Martín–Mateos
   • José-Luis Ruiz–Reina

   OriginalPaper 08 January 2012 Pages: 1 - 37

2. A general method for deciding about logically constrained issues

   • Rosa Camps
   • Xavier Mora
   • Laia Saumell

   OriginalPaper 29 March 2012 Pages: 39 - 72

3. Exception diagnosis in multiagent contract executions

   • Özgür Kafalı
   • Paolo Torroni

   OriginalPaper 08 March 2012 Pages: 73 - 107