- Vesna Marinkovic
, Tijana Sukilovic
, Filip Maric
:
Automated triangle constructions in hyperbolic geometry. Ann. Math. Artif. Intell. 91(6): 821-849 (2023) - Bastien Maubert, Aniello Murano, Sasha Rubin:
Logical aspects of multi-agent systems. Ann. Math. Artif. Intell. 91(4): 373-374 (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-3): 109-131 (2023) - Mikhail Moshkov
:
Time and space complexity of deterministic and nondeterministic decision trees. Ann. Math. Artif. Intell. 91(1): 45-74 (2023) - Benjamin Sauk, Nikolaos V. Sahinidis
:
Hyperparameter autotuning of programs with HybridTuner. Ann. Math. Artif. Intell. 91(2-3): 133-151 (2023) - Julian Schulte
, Volker Nissen:
Sensitivity analysis of combinatorial optimization problems using evolutionary bilevel optimization and data mining. Ann. Math. Artif. Intell. 91(2-3): 309-328 (2023) - Marian Fernández de Sevilla
, J. 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): 537-561 (2023) - Sorin Stratulat
:
Mechanical certification of FOLID cyclic proofs. Ann. Math. Artif. Intell. 91(5): 651-673 (2023) - Philip H. Todd
:
Automated discovery of angle theorems. Ann. Math. Artif. Intell. 91(6): 753-778 (2023) - Philip H. Todd
, Danny Aley:
A program to create new geometry proof problems. Ann. Math. Artif. Intell. 91(6): 779-795 (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-3): 153-175 (2023) - Zuojun Xiong
, Thomas Ågotnes:
The logic of secrets and the interpolation rule. Ann. Math. Artif. Intell. 91(4): 375-407 (2023) - Zuojun Xiong, Thomas Ågotnes:
Correction to: The logic of secrets and the interpolation rule. Ann. Math. Artif. Intell. 91(6): 899 (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): 865-898 (2023) - 2022
- Mehwish Alam, Tanya Braun, Dominik Endres, Bruno Yun
:
Special issue on conceptual structures. Ann. Math. Artif. Intell. 90(11-12): 1079-1082 (2022) - María Alpuente
, Santiago Escobar
, José Meseguer, Julia Sapiña:
Order-sorted equational generalization algorithm revisited. Ann. Math. Artif. Intell. 90(5): 499-522 (2022) - Carlos Ansótegui, Josep Pon
, Meinolf Sellmann
:
Boosting evolutionary algorithm configuration. Ann. Math. Artif. Intell. 90(7-9): 715-734 (2022) - Christian Antic
:
Analogical proportions. Ann. Math. Artif. Intell. 90(6): 595-644 (2022) - Theofanis I. Aravanis
, Pavlos Peppas
:
Theory-relational belief revision. Ann. Math. Artif. Intell. 90(6): 573-594 (2022) - Philippe Balbiani
, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
:
About the unification type of $\mathbf {K}+\square \square \bot $. Ann. Math. Artif. Intell. 90(5): 481-497 (2022) - Christoph Beierle, Jonas Haldimann:
Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings. Ann. Math. Artif. Intell. 90(2-3): 149-179 (2022) - Tobias Boege
:
Gaussoids are two-antecedental approximations of Gaussian conditional independence structures. Ann. Math. Artif. Intell. 90(6): 645-673 (2022) - Tobias Boege:
Correction to: Gaussoids are two-antecedental approximations of Gaussian conditional independence structures. Ann. Math. Artif. Intell. 90(6): 675-676 (2022) - Robert Brijder, Marc Gyssens
, Jan Van den Bussche
:
On matrices and K-relations. Ann. Math. Artif. Intell. 90(2-3): 181-210 (2022) - Julio B. Clempner
:
Learning machiavellian strategies for manipulation in Stackelberg security games. Ann. Math. Artif. Intell. 90(4): 373-395 (2022) - Daniel C. Cohen
, Michael Farber, Shmuel Weinberger
:
Parametrized topological complexity of collision-free motion planning in the plane. Ann. Math. Artif. Intell. 90(10): 999-1015 (2022) - Cosmina Croitoru
, Madalina Croitoru:
Indepth combinatorial analysis of admissible sets for abstract argumentation. Ann. Math. Artif. Intell. 90(11-12): 1139-1158 (2022) - Tomás Dlask
, Tomás Werner
:
Classes of linear programs solvable by coordinate-wise minimization. Ann. Math. Artif. Intell. 90(7-9): 777-807 (2022) - Anton V. Eremeev
, Alexander V. Kel'manov, Mikhail Y. Kovalyov, Artem V. Pyatkin:
Selecting a subset of diverse points based on the squared euclidean distance. Ann. Math. Artif. Intell. 90(7-9): 965-977 (2022) - Pietro Galliani
, Jouko Väänänen:
Diversity, dependence and independence. Ann. Math. Artif. Intell. 90(2-3): 211-233 (2022)