Formalization of a normalization theorem in simplicial topology Laureano LambánFrancisco-Jesús Martín–MateosJosé-Luis Ruiz–Reina OriginalPaper 08 January 2012 Pages: 1 - 37
A general method for deciding about logically constrained issues Rosa CampsXavier MoraLaia Saumell OriginalPaper 29 March 2012 Pages: 39 - 72
Exception diagnosis in multiagent contract executions Özgür KafalıPaolo Torroni OriginalPaper 08 March 2012 Pages: 73 - 107