Sign in
Ann. Math. Artif. Intell.
1990
2001
2013
2024
1990
2024
Keyphrases
Publications
volume 92, number 1, 2024
T. Kalyani
,
S. Annadurai
,
T. T. Raman
,
Durairaj Gnanaraj Thomas
Tetrahedral tile pasting systems.
Ann. Math. Artif. Intell.
92 (1) (2024)
Bernhard Ganter
Cost-aware sequential diagnostics.
Ann. Math. Artif. Intell.
92 (1) (2024)
Müge Saadetoglu
,
Benedek Nagy
,
Aydin Avkan
Digital continuity of rotations in the 2D regular grids.
Ann. Math. Artif. Intell.
92 (1) (2024)
Niccolò Di Marco
,
Azzurra di Palma
,
Andrea Frosini
A study on the predictive strength of fractal dimension of white and grey matter on MRI images in Alzheimer's disease.
Ann. Math. Artif. Intell.
92 (1) (2024)
Valentin E. Brimkov
Combinatorial and geometric problems in imaging sciences.
Ann. Math. Artif. Intell.
92 (1) (2024)
Vladimir Gurvich
,
Mariya Naumova
Lexicographically maximal edges of dual hypergraphs and Nash-solvability of tight game forms.
Ann. Math. Artif. Intell.
92 (1) (2024)
Timothy C. Petersen
,
Benjamin Cavy
,
David M. Paganin
,
Imants D. Svalbe
Families of multi-level Legendre-like arrays.
Ann. Math. Artif. Intell.
92 (1) (2024)
Dimitrios I. Diochnos
,
Martin Charles Golumbic
,
Frederick Hoffman
ISAIM-2022: international symposium on artificial intelligence and mathematics.
Ann. Math. Artif. Intell.
92 (1) (2024)
Selim Reza
,
Marta Campos Ferreira
,
José J. M. Machado
,
João Manuel R. S. Tavares
Road networks structure analysis: A preliminary network science-based approach.
Ann. Math. Artif. Intell.
92 (1) (2024)
Miguel Couceiro
,
Erkko Lehtonen
Galois theory for analogical classifiers.
Ann. Math. Artif. Intell.
92 (1) (2024)
Fernando Díaz-del-Río
,
Helena Molina-Abril
,
Pedro Real
,
Darian M. Onchis
,
Sergio Blanco-Trejo
Parallel homological calculus for 3D binary digital images.
Ann. Math. Artif. Intell.
92 (1) (2024)
Somrita Saha
,
Arindam Biswas
A combinatorial technique for generation of digital plane using GCD.
Ann. Math. Artif. Intell.
92 (1) (2024)
Claude Carlet
,
Serge Feukoua
On those Boolean functions that are coset leaders of first order Reed-Muller codes.
Ann. Math. Artif. Intell.
92 (1) (2024)
volume 91, number 2, 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) (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) (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) (2023)
Julian Schulte
,
Volker Nissen
Sensitivity analysis of combinatorial optimization problems using evolutionary bilevel optimization and data mining.
Ann. Math. Artif. Intell.
91 (2) (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) (2023)
Hossein Moosaei
,
Milan Hladík
A lagrangian-based approach for universum twin bounded support vector machine with its applications.
Ann. Math. Artif. Intell.
91 (2) (2023)
Roberto Díaz Urra
,
Nicolás Gálvez Ramírez
,
Carlos Castro
A framework for the generation of complex scenario instances in the Urban Transit Routing Problem.
Ann. Math. Artif. Intell.
91 (2) (2023)
Suhendry Effendy
,
Roland H. C. Yap
Real-time passenger bus routing problems with preferences and tradeoffs.
Ann. Math. Artif. Intell.
91 (2) (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) (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) (2023)
Benjamin Sauk
,
Nikolaos V. Sahinidis
Hyperparameter autotuning of programs with HybridTuner.
Ann. Math. Artif. Intell.
91 (2) (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) (2023)
volume 91, number 4, 2023
Theofanis I. Aravanis
Deductive belief change.
Ann. Math. Artif. Intell.
91 (4) (2023)
Line van den Berg
,
Manuel Atencia
,
Jérôme Euzenat
Raising awareness without disclosing truth.
Ann. Math. Artif. Intell.
91 (4) (2023)
Bastien Maubert
,
Aniello Murano
,
Sasha Rubin
Logical aspects of multi-agent systems.
Ann. Math. Artif. Intell.
91 (4) (2023)
Marian Fernández de Sevilla
,
Rafael Magdalena Benedicto
,
Sonia Pérez-Díaz
Design and implementation of symbolic algorithms for the computation of generalized asymptotes.
Ann. Math. Artif. Intell.
91 (4) (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) (2023)
Zuojun Xiong
,
Thomas Ågotnes
The logic of secrets and the interpolation rule.
Ann. Math. Artif. Intell.
91 (4) (2023)
Julian Gutierrez
,
Muhammad Najib
,
Giuseppe Perelli
,
Michael J. Wooldridge
On the complexity of rational verification.
Ann. Math. Artif. Intell.
91 (4) (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) (2023)
volume 91, number 5, 2023
Adel Bouhoula
,
Bruno Buchberger
,
Tetsuo Ida
,
Temur Kutsia
Preface.
Ann. Math. Artif. Intell.
91 (5) (2023)
Johannes Blümlein
,
Marco Saragnese
,
Carsten Schneider
Hypergeometric structures in Feynman integrals.
Ann. Math. Artif. Intell.
91 (5) (2023)
Mohammed Elaroussi
,
Lhouari Nourine
,
Mohammed Said Radjef
Lattice point of view for argumentation framework.
Ann. Math. Artif. Intell.
91 (5) (2023)
Adel Bouhoula
,
Bruno Buchberger
,
Tetsuo Ida
,
Temur Kutsia
Correction to: Preface.
Ann. Math. Artif. Intell.
91 (5) (2023)
Bruno Buchberger
Automated programming, symbolic computation, machine learning: my personal view.
Ann. Math. Artif. Intell.
91 (5) (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) (2023)
Sorin Stratulat
cyclic proofs.
Ann. Math. Artif. Intell.
91 (5) (2023)
Julio B. Clempner
A Bayesian reinforcement learning approach in markov games for computing near-optimal policies.
Ann. Math. Artif. Intell.
91 (5) (2023)
volume 91, number 6, 2023
Predrag Janicic
,
Julien Narboux
Automated generation of illustrated proofs in geometry and beyond.
Ann. Math. Artif. Intell.
91 (6) (2023)
Philip H. Todd
,
Danny Aley
A program to create new geometry proof problems.
Ann. Math. Artif. Intell.
91 (6) (2023)
Vesna Marinkovic
,
Tijana Sukilovic
,
Filip Maric
Automated triangle constructions in hyperbolic geometry.
Ann. Math. Artif. Intell.
91 (6) (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) (2023)
Yaochen Xu
,
Zhenbing Zeng
,
Jian Lu
,
Yuzheng Wang
,
Liangyu Chen
Local critical analysis of inequalities related to the sum of distances between n points on the unit hemisphere for n=4,5.
Ann. Math. Artif. Intell.
91 (6) (2023)
Nuno Baeta
,
Pedro Quaresma
Towards a geometry deductive database prover.
Ann. Math. Artif. Intell.
91 (6) (2023)
Philip H. Todd
Automated discovery of angle theorems.
Ann. Math. Artif. Intell.
91 (6) (2023)
Zoltán Kovács
,
Predrag Janicic
Formalization of geometry, automated and interactive geometric reasoning.
Ann. Math. Artif. Intell.
91 (6) (2023)
Zuojun Xiong
,
Thomas Ågotnes
Correction to: The logic of secrets and the interpolation rule.
Ann. Math. Artif. Intell.
91 (6) (2023)