Annals of Mathematics and Artificial Intelligence

Preface

Adel Bouhoula, Bruno Buchberger, Tetsuo Ida, Temur Kutsia

Correction to: Preface

• Correction

Adel Bouhoula, Bruno Buchberger, Tetsuo Ida, Temur Kutsia

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

• Open Access

Bruno Buchberger

Hypergeometric structures in Feynman integrals

• Open Access

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

Mechanical certification of FOLID cyclic proofs

Sorin Stratulat

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

• Regular Submission

Julio B. Clempner

Lattice point of view for argumentation framework

Mohammed Elaroussi, Lhouari Nourine, Mohammed Said Radjef

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

• Regular Submission

Tarek Khaled, Belaid Benhamou, Van-Giang Trinh