- Yitzchak Shmalo
:
Stability of accuracy for the training of DNNs via the uniform doubling condition. Ann. Math. Artif. Intell. 92(2): 439-483 (2024) - Fernando Tohmé
, Rocco Gangle
, Gianluca Caterina
:
A category theory approach to the semiotics of machine learning. Ann. Math. Artif. Intell. 92(3): 733-751 (2024) - Nicolas Troquard
:
Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention. Ann. Math. Artif. Intell. 92(2): 317-353 (2024) - 2023
- Theofanis I. Aravanis
:
Deductive belief change. Ann. Math. Artif. Intell. 91(4): 489-515 (2023) - Nuno Baeta
, Pedro Quaresma
:
Towards a geometry deductive database prover. Ann. Math. Artif. Intell. 91(6): 851-863 (2023) - Fred Espen Benth, Nils Detering
, Luca Galimberti:
Neural networks in Fréchet spaces. Ann. Math. Artif. Intell. 91(1): 75-103 (2023) - Line van den Berg
, Manuel Atencia, Jérôme Euzenat:
Raising awareness without disclosing truth. Ann. Math. Artif. Intell. 91(4): 431-464 (2023) - Johannes Blümlein, Marco Saragnese, Carsten Schneider
:
Hypergeometric structures in Feynman integrals. Ann. Math. Artif. Intell. 91(5): 591-649 (2023) - Giovanni Bocchi
, Stefano Botteghi, Martina Brasini, Patrizio Frosini
, Nicola Quercioli:
On the finite representation of linear group equivariant operators via permutant measures. Ann. Math. Artif. Intell. 91(4): 465-487 (2023) - Adel Bouhoula, Bruno Buchberger, Tetsuo Ida, Temur Kutsia
:
Preface. Ann. Math. Artif. Intell. 91(5): 563-565 (2023) - Adel Bouhoula, Bruno Buchberger, Tetsuo Ida, Temur Kutsia:
Correction to: Preface. Ann. Math. Artif. Intell. 91(5): 567 (2023) - Bruno Buchberger:
Automated programming, symbolic computation, machine learning: my personal view. Ann. Math. Artif. Intell. 91(5): 569-589 (2023) - Antonio Candelieri, Andrea Ponti
, Ilaria Giordani, Francesco Archetti:
On the use of Wasserstein distance in the distributional analysis of human decision making under uncertainty. Ann. Math. Artif. Intell. 91(2-3): 217-238 (2023) - Julio B. Clempner
:
A Bayesian reinforcement learning approach in markov games for computing near-optimal policies. Ann. Math. Artif. Intell. 91(5): 675-690 (2023) - Daniel C. Cohen
, Michael Farber, Shmuel Weinberger:
Correction to: Parametrized topological complexity of collision‑free motion planning in the plane. Ann. Math. Artif. Intell. 91(1): 105-106 (2023) - Jiaojie Du, Yalan Wen, Ling Wang, Pinggai Zhang, Minrui Fei, Panos M. Pardalos:
An adaptive human learning optimization with enhanced exploration-exploitation balance. Ann. Math. Artif. Intell. 91(2-3): 177-216 (2023) - Suhendry Effendy, Roland H. C. Yap
:
Real-time passenger bus routing problems with preferences and tradeoffs. Ann. Math. Artif. Intell. 91(2-3): 287-307 (2023) - Mohammed Elaroussi
, Lhouari Nourine, Mohammed Said Radjef
:
Lattice point of view for argumentation framework. Ann. Math. Artif. Intell. 91(5): 691-711 (2023) - Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla:
Probabilistic causal bipolar abstract argumentation: an approach based on credal networks. Ann. Math. Artif. Intell. 91(4): 517-536 (2023) - Renyan Feng, Yisong Wang
, Ren Qian, Lei Yang, Panfeng Chen
:
Knowledge forgetting in propositional μ-calculus. Ann. Math. Artif. Intell. 91(1): 1-43 (2023) - Maurizio Giordano
, Lucia Maddalena
, Mario Manzo
, Mario Rosario Guarracino
:
Adversarial attacks on graph-level embedding methods: a case study. Ann. Math. Artif. Intell. 91(2-3): 259-285 (2023) - Julian Gutierrez, Muhammad Najib
, Giuseppe Perelli
, Michael J. Wooldridge:
On the complexity of rational verification. Ann. Math. Artif. Intell. 91(4): 409-430 (2023) - Chaoming Hu, Shaojun Lu
, Min Kong, Xinbao Liu, Panos M. Pardalos:
Parallel machine scheduling with linearly increasing energy consumption cost. Ann. Math. Artif. Intell. 91(2-3): 239-258 (2023) - Predrag Janicic
, Julien Narboux
:
Automated generation of illustrated proofs in geometry and beyond. Ann. Math. Artif. Intell. 91(6): 797-820 (2023) - Tarek Khaled, Belaid Benhamou, Van-Giang Trinh
:
Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells. Ann. Math. Artif. Intell. 91(5): 713-750 (2023) - Ilias S. Kotsireas, Panos M. Pardalos, Dimitris E. Simos:
Preface: Selected revised papers from the LION 15 conference. Ann. Math. Artif. Intell. 91(2-3): 107-108 (2023) - Ilias S. Kotsireas, Panos M. Pardalos, Dimitris E. Simos:
Correction to: Preface: Selected revised papers from the LION 15 conference. Ann. Math. Artif. Intell. 91(6): 901 (2023) - Zoltán Kovács, Predrag Janicic:
Formalization of geometry, automated and interactive geometric reasoning. Ann. Math. Artif. Intell. 91(6): 751-752 (2023) - Alexander Y. Krylatov
, Anastasiya Raevskaya, Petr Ageev:
Optimization strategies for the bilevel network design problem with affine cost functions. Ann. Math. Artif. Intell. 91(2-3): 329-347 (2023) - Shaowen Lan, Wenjuan Fan, Shanlin Yang, Panos M. Pardalos:
Physician scheduling problem in Mobile Cabin Hospitals of China during Covid-19 outbreak. Ann. Math. Artif. Intell. 91(2-3): 349-372 (2023)