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
maintained by Schloss Dagstuhl LZI at University of Trier