- Jan Vermaelen, Tom Holvoet. Tumato 2.0 - a constraint-based planning approach for safe and robust robot behavior. Annals of Mathematics and Artificial Intelligence, 93(4):541-567, August 2025.
- Zoltán Kovács, Pedro Quaresma. Foreword: special issue on formalisation of geometry, automated and interactive geometric reasoning. Annals of Mathematics and Artificial Intelligence, 93(6):841-842, December 2025.
- Yingqian Zhang 0001, Tias Guns, Michele Lombardi 0001, Patrick De Causmaecker. Data science meets optimization II. Annals of Mathematics and Artificial Intelligence, 93(3):343-345, June 2025.
- Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes. Can't you answer while you wait?. Annals of Mathematics and Artificial Intelligence, 93(5):727-758, October 2025.
- Zoltán Kovács, Tomás Recio, M. Pilar Vélez. On automated completion of geometry statements and proofs with GeoGebra Discovery. Annals of Mathematics and Artificial Intelligence, 93(6):995-1009, December 2025.
- Hossein Moosaei, Fatemeh Bazikar, Panos M. Pardalos. An improved multi-task least squares twin support vector machine. Annals of Mathematics and Artificial Intelligence, 93(1):21-41, February 2025.
- Danijela Simic, Sana Stojanovic Durdevic, Ivana Tanasijevic. Towards automated proving in solid geometry. Annals of Mathematics and Artificial Intelligence, 93(6):907-952, December 2025.
- Faisal N. Abu-Khzam, Mohamed Mahmoud Abd El-Wahab, Moussa Haidous, Noureldin Yosri. Learning from obstructions: An effective deep learning approach for minimum vertex cover. Annals of Mathematics and Artificial Intelligence, 93(3):347-358, June 2025.
- Panos K. Syriopoulos, Nektarios G. Kalampalikis, Sotiris B. Kotsiantis, Michael N. Vrahatis. kNN Classification: a review. Annals of Mathematics and Artificial Intelligence, 93(1):43-75, February 2025.
- Floris Doolaard, Neil Yorke-Smith. Online learning of variable ordering heuristics for constraint optimisation problems. Annals of Mathematics and Artificial Intelligence, 93(3):359-388, June 2025.