Journal of Mathematics and Artificial Intelligence