- Bruno Buchberger. Automated programming, symbolic computation, machine learning: my personal view. Annals of Mathematics and Artificial Intelligence, 91(5):569-589, October 2023.
- Renyan Feng, Yisong Wang, Ren Qian, Lei Yang, Panfeng Chen. Knowledge forgetting in propositional μ-calculus. Annals of Mathematics and Artificial Intelligence, 91(1):1-43, 2023.
- Sorin Stratulat. ID cyclic proofs. Annals of Mathematics and Artificial Intelligence, 91(5):651-673, October 2023.
- Fred Espen Benth, Nils Detering, Luca Galimberti. Neural networks in Fréchet spaces. Annals of Mathematics and Artificial Intelligence, 91(1):75-103, 2023.
- Zoltán Kovács, Predrag Janicic. Formalization of geometry, automated and interactive geometric reasoning. Annals of Mathematics and Artificial Intelligence, 91(6):751-752, December 2023.
- Nuno Baeta, Pedro Quaresma. Towards a geometry deductive database prover. Annals of Mathematics and Artificial Intelligence, 91(6):851-863, December 2023.
- Chaoming Hu, Shaojun Lu, Min Kong, Xinbao Liu, Panos M. Pardalos. Parallel machine scheduling with linearly increasing energy consumption cost. Annals of Mathematics and Artificial Intelligence, 91(2):239-258, June 2023.
- Julio B. Clempner. A Bayesian reinforcement learning approach in markov games for computing near-optimal policies. Annals of Mathematics and Artificial Intelligence, 91(5):675-690, October 2023.
- Daniel C. Cohen, Michael Farber, Shmuel Weinberger. Correction to: Parametrized topological complexity of collision‑free motion planning in the plane. Annals of Mathematics and Artificial Intelligence, 91(1):105-106, 2023.
- Julian Gutierrez 0001, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge. On the complexity of rational verification. Annals of Mathematics and Artificial Intelligence, 91(4):409-430, August 2023.