Volume 64, Issue 1 | Annals of Mathematics and Artificial Intelligence

Search all Annals of Mathematics and Artificial Intelligence articles

Volume 64, Issue 1

January 2012

Filter by

Volume:

Sort by

Date published:

New to old Old to new

3 articles in this issue

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
A general method for deciding about logically constrained issues
Rosa Camps
Xavier Mora
Laia 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