1. Preface

   • Adel Bouhoula
   • Bruno Buchberger
   • Temur Kutsia

   EditorialNotes 02 May 2023 Pages: 563 - 565

2. Correction to: Preface

   • Adel Bouhoula
   • Bruno Buchberger
   • Temur Kutsia

   Correction 25 May 2023 Pages: 567 - 567

3. Automated programming, symbolic computation, machine learning: my personal view

   • Bruno Buchberger

   OriginalPaper Open access 10 October 2023 Pages: 569 - 589

4. Hypergeometric structures in Feynman integrals

   • J. Blümlein
   • M. Saragnese
   • C. Schneider

   OriginalPaper Open access 03 April 2023 Pages: 591 - 649

5. Mechanical certification of FOL_ID cyclic proofs

   • Sorin Stratulat

   OriginalPaper 16 February 2023 Pages: 651 - 673

6. A Bayesian reinforcement learning approach in markov games for computing near-optimal policies

   • Julio B. Clempner

   Regular Submission 10 June 2023 Pages: 675 - 690

7. Lattice point of view for argumentation framework

   • Mohammed Elaroussi
   • Lhouari Nourine
   • Mohammed Said Radjef

   OriginalPaper 17 June 2023 Pages: 691 - 711

8. Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells

   • Tarek Khaled
   • Belaid Benhamou
   • Van-Giang Trinh

   Regular Submission 31 July 2023 Pages: 713 - 750