Annals of Mathematics and Artificial Intelligence, Volume 82

Volume 82, Numbers 1-3, March 2018

Ontologies and Logic Programming for Query Answering

Volume 82, Number 4, April 2018

Selected Papers from ISAIM 2016: The Fourteenth International Symposium on Artificial Intelligence and Mathematics
maintained by Schloss Dagstuhl LZI at University of Trier