share record
persistent URL:
John Grant , Francesco Parisi : General information spaces: measuring inconsistency, rationality postulates, and complexity. Ann. Math. Artif. Intell. 90 (2-3 ) : 235-269 (2022 )export record
dblp key:
journals/amai/GunawanWVY22 share record
persistent URL:
Aldy Gunawan , Audrey Tedja Widjaja , Pieter Vansteenwegen , Vincent F. Yu : Two-phase Matheuristic for the vehicle routing problem with reverse cross-docking. Ann. Math. Artif. Intell. 90 (7-9 ) : 915-949 (2022 )share record
persistent URL:
Tom Hanika , Johannes Hirth : Knowledge cores in large formal contexts. Ann. Math. Artif. Intell. 90 (6 ) : 537-567 (2022 )share record
persistent URL:
Andreas Herzig , Juha Kontinen : Preface. Ann. Math. Artif. Intell. 90 (2-3 ) : 145-147 (2022 )export record
dblp key:
journals/amai/HoffmanMZ22 share record
persistent URL:
Judy Hoffman , Mehryar Mohri , Ningshan Zhang : Multiple-source adaptation theory and algorithms - addendum. Ann. Math. Artif. Intell. 90 (6 ) : 569-572 (2022 )share record
persistent URL:
Dmitry I. Ignatov , Léonard Kwuida : On Shapley value interpretability in concept-based learning with formal concept analysis. Ann. Math. Artif. Intell. 90 (11-12 ) : 1197-1222 (2022 )export record
dblp key:
journals/amai/KampelSKK22 share record
persistent URL:
Ludwig Kampel , Dimitris E. Simos , D. Richard Kuhn , Raghu N. Kacker : An exploration of combinatorial testing-based approaches to fault localization for explainable AI. Ann. Math. Artif. Intell. 90 (7-9 ) : 951-964 (2022 )export record
dblp key:
journals/amai/Kjos-HanssenFKL22 share record
persistent URL:
Bjørn Kjos-Hanssen , Clyde James Felix , Sun Young Kim , Ethan Lamb , Davin Takahashi : VC-dimensions of nondeterministic finite automata for words of equal length. Ann. Math. Artif. Intell. 90 (1 ) : 93-105 (2022 )export record
dblp key:
journals/amai/Knoblauch22 share record
persistent URL:
Andreas Knoblauch : On the antiderivatives of xp /(1 - x) with an application to optimize loss functions for classification with neural networks. Ann. Math. Artif. Intell. 90 (4 ) : 425-452 (2022 )share record
persistent URL:
Christian Komo , Christoph Beierle : Nonmonotonic reasoning from conditional knowledge bases with system W. Ann. Math. Artif. Intell. 90 (1 ) : 107-144 (2022 )share record
persistent URL:
Jan Konecny , Petr Krajca : On pruning techniques in map-reduce style CbO algorithms. Ann. Math. Artif. Intell. 90 (11-12 ) : 1107-1124 (2022 )export record
dblp key:
journals/amai/KotsireasP22 share record
persistent URL:
Ilias S. Kotsireas , Panos M. Pardalos : Preface selected revised papers from the LION 14 conference. Ann. Math. Artif. Intell. 90 (7-9 ) : 677 (2022 )export record
dblp key:
journals/amai/KoutrasLMNR22 share record
persistent URL:
Costas D. Koutras , Konstantinos Liaskos , Christos Moyzes , Christos Nomikos , Christos Rantsoudis : Default consequence relations from topology and measure theory. Ann. Math. Artif. Intell. 90 (4 ) : 397-424 (2022 )share record
persistent URL:
Alexander Y. Krylatov : Column generation for the equilibrium route-flow traffic assignment problem. Ann. Math. Artif. Intell. 90 (7-9 ) : 697-713 (2022 )share record
persistent URL:
Temur Kutsia , Andrew M. Marshall : Preface. Ann. Math. Artif. Intell. 90 (5 ) : 453-454 (2022 )export record
dblp key:
journals/amai/LeemhuisOW22 share record
persistent URL:
Mena Leemhuis , Özgür L. Özçep , Diedrich Wolter : Learning with cone-based geometric models and orthologics. Ann. Math. Artif. Intell. 90 (11-12 ) : 1159-1195 (2022 )share record
persistent URL:
Tomer Libal , Dale Miller : Functions-as-constructors higher-order unification: extended pattern unification. Ann. Math. Artif. Intell. 90 (5 ) : 455-479 (2022 )share record
persistent URL:
Yasir Mahmood , Arne Meier : Parameterised complexity of model checking and satisfiability in propositional dependence logic. Ann. Math. Artif. Intell. 90 (2-3 ) : 271-296 (2022 )export record
dblp key:
journals/amai/MaushagenNRS22 share record
persistent URL:
Cynthia Maushagen , Marc Neveling , Jörg Rothe , Ann-Kathrin Selker : Complexity of shift bribery for iterative voting rules. Ann. Math. Artif. Intell. 90 (10 ) : 1017-1054 (2022 )share record
persistent URL:
Dale Miller , Alexandre Viel : The undecidability of proof search when equality is a logical connective. Ann. Math. Artif. Intell. 90 (5 ) : 523-535 (2022 )export record
dblp key:
journals/amai/MissaouiRKSI22 share record
persistent URL:
Rokia Missaoui , Pedro H. B. Ruas , Léonard Kwuida , Mark A. J. Song , Mohamed Hamza Ibrahim : Computing triadic generators and association rules from triadic contexts. Ann. Math. Artif. Intell. 90 (11-12 ) : 1083-1105 (2022 )share record
persistent URL:
Hossein Moosaei , Milan Hladík : Least squares approach to K-SVCR multi-class classification with its applications. Ann. Math. Artif. Intell. 90 (7-9 ) : 873-892 (2022 )export record
dblp key:
journals/amai/Nourmohammadzadeh22 share record
persistent URL:
Abtin Nourmohammadzadeh , Stefan Voß : A robust multiobjective model for the integrated berth and quay crane scheduling problem at seaside container terminals. Ann. Math. Artif. Intell. 90 (7-9 ) : 831-853 (2022 )share record
persistent URL:
Stipe Pandzic : Structured argumentation dynamics. Ann. Math. Artif. Intell. 90 (2-3 ) : 297-337 (2022 )share record
persistent URL:
Seonho Park , George Adosoglou , Panos M. Pardalos : Interpreting rate-distortion of variational autoencoder and using model uncertainty for anomaly detection. Ann. Math. Artif. Intell. 90 (7-9 ) : 735-752 (2022 )share record
persistent URL:
Uta Priss : A semiotic perspective on polysemy. Ann. Math. Artif. Intell. 90 (11-12 ) : 1125-1138 (2022 )share record
persistent URL:
Lev Reyzin : Foreword. Ann. Math. Artif. Intell. 90 (1 ) : 1-2 (2022 )share record
persistent URL:
Malek Sarhani , Stefan Voß : Chunking and cooperation in particle swarm optimization for feature selection. Ann. Math. Artif. Intell. 90 (7-9 ) : 893-913 (2022 )export record
dblp key:
journals/amai/Schneckenburger22 share record
persistent URL:
Sebastian Schneckenburger , Britta Dorn , Ulle Endriss : Minimising inequality in multiagent resource allocation. Ann. Math. Artif. Intell. 90 (4 ) : 339-371 (2022 )share record
persistent URL:
Meifeng Shi , Xin Liao , Yuan Chen : A dual-population search differential evolution algorithm for functional distributed constraint optimization problems. Ann. Math. Artif. Intell. 90 (10 ) : 1055-1078 (2022 )