Annals of Mathematics and Artificial Intelligence, Volume 71

Volume 71, Numbers 1-3, July 2014

Interval Temporal Logics

Volume 71, Number 4, August 2014

Selected papers from the 2012 International Symposium on Artificial Intelligence and Mathematics
a service of Schloss Dagstuhl - Leibniz Center for Informatics