Annals of Mathematics and Artificial Intelligence
A general method for deciding about logically constrained issues
Exception diagnosis in multiagent contract executions
Formalization of a normalization theorem in simplicial topology