Correction to: Preface Adel BouhoulaBruno BuchbergerTemur Kutsia Correction 25 May 2023 Pages: 567 - 567
Automated programming, symbolic computation, machine learning: my personal view Bruno Buchberger OriginalPaper Open access 10 October 2023 Pages: 569 - 589
Hypergeometric structures in Feynman integrals J. BlümleinM. SaragneseC. Schneider OriginalPaper Open access 03 April 2023 Pages: 591 - 649
Mechanical certification of FOLID cyclic proofs Sorin Stratulat OriginalPaper 16 February 2023 Pages: 651 - 673
A Bayesian reinforcement learning approach in markov games for computing near-optimal policies Julio B. Clempner Regular Submission 10 June 2023 Pages: 675 - 690
Lattice point of view for argumentation framework Mohammed ElaroussiLhouari NourineMohammed Said Radjef OriginalPaper 17 June 2023 Pages: 691 - 711
Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells Tarek KhaledBelaid BenhamouVan-Giang Trinh Regular Submission 31 July 2023 Pages: 713 - 750