Annals of mathematics and artificial intelligence (Baltzer Science Publishers)