Journal: Annals of Mathematics and Artificial Intelligence

Volume 90, Issue 7

677 -- 0Ilias S. Kotsireas, Panos M. Pardalos. Preface selected revised papers from the LION 14 conference
679 -- 696Ömer Faruk Yilmaz. An integrated bi-objective U-shaped assembly line balancing and parts feeding problem: optimization model and exact solution method
697 -- 713Alexander Y. Krylatov. Column generation for the equilibrium route-flow traffic assignment problem
715 -- 734Carlos Ansótegui, Josep Pon, Meinolf Sellmann. Boosting evolutionary algorithm configuration
735 -- 752Seonho Park, George Adosoglou, Panos M. Pardalos. Interpreting rate-distortion of variational autoencoder and using model uncertainty for anomaly detection
753 -- 776Xing Zhu, Baoyu Liao, Shanlin Yang, Panos M. Pardalos. Evolutionary game analysis on government subsidy policy and bank loan strategy in China's distributed photovoltaic market
777 -- 807Tomás Dlask, Tomás Werner. Classes of linear programs solvable by coordinate-wise minimization
809 -- 829Hoai An Le Thi, Vinh Thanh Ho. Alternating DCA for reduced-rank multitask linear regression with covariance matrix estimation
831 -- 853Abtin Nourmohammadzadeh, Stefan Voß. A robust multiobjective model for the integrated berth and quay crane scheduling problem at seaside container terminals
855 -- 872Mujahid N. Syed. Neighborhood density information in clustering
873 -- 892Hossein Moosaei, Milan Hladík. Least squares approach to K-SVCR multi-class classification with its applications
893 -- 913Malek Sarhani, Stefan Voß. Chunking and cooperation in particle swarm optimization for feature selection
915 -- 949Aldy Gunawan, Audrey Tedja Widjaja, Pieter Vansteenwegen, Vincent F. Yu. Two-phase Matheuristic for the vehicle routing problem with reverse cross-docking
951 -- 964Ludwig Kampel, Dimitris E. Simos, D. Richard Kuhn, Raghu N. Kacker. An exploration of combinatorial testing-based approaches to fault localization for explainable AI
965 -- 977Anton V. Eremeev, Alexander V. Kel'manov, Mikhail Y. Kovalyov, Artem V. Pyatkin. Selecting a subset of diverse points based on the squared euclidean distance

Volume 90, Issue 6

537 -- 567Tom Hanika, Johannes Hirth. Knowledge cores in large formal contexts
569 -- 572Judy Hoffman, Mehryar Mohri, Ningshan Zhang. Multiple-source adaptation theory and algorithms - addendum
573 -- 594Theofanis I. Aravanis, Pavlos Peppas. Theory-relational belief revision
595 -- 644Christian Antic. Analogical proportions
645 -- 673Tobias Boege. Gaussoids are two-antecedental approximations of Gaussian conditional independence structures
675 -- 676Tobias Boege. Correction to: Gaussoids are two-antecedental approximations of Gaussian conditional independence structures

Volume 90, Issue 5

453 -- 454Temur Kutsia, Andrew M. Marshall. Preface
455 -- 479Tomer Libal, Dale Miller 0001. Functions-as-constructors higher-order unification: extended pattern unification
481 -- 497Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev. About the unification type of $\mathbf {K}+\square \square \bot $
499 -- 522María Alpuente, Santiago Escobar 0001, José Meseguer, Julia Sapiña. Order-sorted equational generalization algorithm revisited
523 -- 535Dale Miller 0001, Alexandre Viel. The undecidability of proof search when equality is a logical connective

Volume 90, Issue 4

339 -- 371Sebastian Schneckenburger, Britta Dorn, Ulle Endriss. Minimising inequality in multiagent resource allocation
373 -- 395Julio B. Clempner. Learning machiavellian strategies for manipulation in Stackelberg security games
397 -- 424Costas D. Koutras, Konstantinos Liaskos, Christos Moyzes, Christos Nomikos, Christos Rantsoudis. Default consequence relations from topology and measure theory
425 -- 452Andreas Knoblauch. p/(1 - x) with an application to optimize loss functions for classification with neural networks

Volume 90, Issue 2

145 -- 147Andreas Herzig, Juha Kontinen. Preface
149 -- 179Christoph Beierle, Jonas Haldimann. Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings
181 -- 210Robert Brijder, Marc Gyssens, Jan Van den Bussche. On matrices and K-relations
211 -- 233Pietro Galliani, Jouko Väänänen. Diversity, dependence and independence
235 -- 269John Grant, Francesco Parisi. General information spaces: measuring inconsistency, rationality postulates, and complexity
271 -- 296Yasir Mahmood 0002, Arne Meier. Parameterised complexity of model checking and satisfiability in propositional dependence logic
297 -- 337Stipe Pandzic. Structured argumentation dynamics

Volume 90, Issue 11-12

1079 -- 1082Mehwish Alam, Tanya Braun, Dominik Endres, Bruno Yun. Special issue on conceptual structures
1083 -- 1105Rokia Missaoui, Pedro H. B. Ruas, Léonard Kwuida, Mark A. J. Song, Mohamed Hamza Ibrahim. Computing triadic generators and association rules from triadic contexts
1107 -- 1124Jan Konecny 0001, Petr Krajca. On pruning techniques in map-reduce style CbO algorithms
1125 -- 1138Uta Priss. A semiotic perspective on polysemy
1139 -- 1158Cosmina Croitoru, Madalina Croitoru. Indepth combinatorial analysis of admissible sets for abstract argumentation
1159 -- 1195Mena Leemhuis, Özgür L. Özçep, Diedrich Wolter. Learning with cone-based geometric models and orthologics
1197 -- 1222Dmitry I. Ignatov, Léonard Kwuida. On Shapley value interpretability in concept-based learning with formal concept analysis

Volume 90, Issue 10

979 -- 998Piotr Wojciechowski 0002, K. Subramani. On the lengths of tree-like and Dag-like cutting plane refutations of Horn constraint systems
999 -- 1015Daniel C. Cohen, Michael Farber, Shmuel Weinberger. Parametrized topological complexity of collision-free motion planning in the plane
1017 -- 1054Cynthia Maushagen, Marc Neveling, Jörg Rothe, Ann-Kathrin Selker. Complexity of shift bribery for iterative voting rules
1055 -- 1078Meifeng Shi, Xin Liao, Yuan Chen. A dual-population search differential evolution algorithm for functional distributed constraint optimization problems

Volume 90, Issue 1

1 -- 2Lev Reyzin. Foreword
3 -- 29K. Subramani, Piotr J. Wojciechowski. Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas
31 -- 73Julien Vion, René Mandiau, Sylvain Piechowiak, Marius Silaghi 0001. Integrating domain and constraint privacy reasoning in the distributed stochastic algorithm with breakouts
75 -- 92Satoru Watanabe, Hayato Yamana. Topological measurement of deep neural networks using persistent homology
93 -- 105Bjørn Kjos-Hanssen, Clyde James Felix, Sun Young Kim, Ethan Lamb, Davin Takahashi. VC-dimensions of nondeterministic finite automata for words of equal length
107 -- 144Christian Komo, Christoph Beierle. Nonmonotonic reasoning from conditional knowledge bases with system W