Kalyani, T.; Annadurai, S.; Raman, T. T.; Thomas, D. G. Tetrahedral tile pasting systems. (English) Zbl 07802501 Ann. Math. Artif. Intell. 92, No. 1, 183-200 (2024). MSC: 68Q09 68Q07 68Q45 PDFBibTeX XMLCite \textit{T. Kalyani} et al., Ann. Math. Artif. Intell. 92, No. 1, 183--200 (2024; Zbl 07802501) Full Text: DOI
Petersen, Timothy; Cavy, Benjamin; Paganin, David; Svalbe, Imants Families of multi-level Legendre-like arrays. (English) Zbl 07802500 Ann. Math. Artif. Intell. 92, No. 1, 169-182 (2024). MSC: 44A12 94A12 94A08 94A11 15B34 PDFBibTeX XMLCite \textit{T. Petersen} et al., Ann. Math. Artif. Intell. 92, No. 1, 169--182 (2024; Zbl 07802500) Full Text: DOI OA License
Saha, Somrita; Biswas, Arindam A combinatorial technique for generation of digital plane using GCD. (English) Zbl 07802499 Ann. Math. Artif. Intell. 92, No. 1, 139-167 (2024). MSC: 68U05 52C35 PDFBibTeX XMLCite \textit{S. Saha} and \textit{A. Biswas}, Ann. Math. Artif. Intell. 92, No. 1, 139--167 (2024; Zbl 07802499) Full Text: DOI
Saadetoğlu, Müge; Nagy, Benedek; Avkan, Aydın Digital continuity of rotations in the 2D regular grids. (English) Zbl 07802498 Ann. Math. Artif. Intell. 92, No. 1, 115-137 (2024). MSC: 68U05 68U10 PDFBibTeX XMLCite \textit{M. Saadetoğlu} et al., Ann. Math. Artif. Intell. 92, No. 1, 115--137 (2024; Zbl 07802498) Full Text: DOI
Díaz-del-Río, Fernando; Molina-Abril, Helena; Real, Pedro; Onchis, Darian; Blanco-Trejo, Sergio Parallel homological calculus for 3D binary digital images. (English) Zbl 07802497 Ann. Math. Artif. Intell. 92, No. 1, 77-113 (2024). MSC: 62H35 68W10 68Q10 PDFBibTeX XMLCite \textit{F. Díaz-del-Río} et al., Ann. Math. Artif. Intell. 92, No. 1, 77--113 (2024; Zbl 07802497) Full Text: DOI OA License
Ganter, Bernhard Cost-aware sequential diagnostics. (English) Zbl 07802496 Ann. Math. Artif. Intell. 92, No. 1, 59-75 (2024). MSC: 06B99 68W05 PDFBibTeX XMLCite \textit{B. Ganter}, Ann. Math. Artif. Intell. 92, No. 1, 59--75 (2024; Zbl 07802496) Full Text: DOI OA License
Gurvich, Vladimir; Naumova, Mariya Lexicographically maximal edges of dual hypergraphs and Nash-solvability of tight game forms. (English) Zbl 07802495 Ann. Math. Artif. Intell. 92, No. 1, 49-57 (2024). MSC: 91A43 05C65 PDFBibTeX XMLCite \textit{V. Gurvich} and \textit{M. Naumova}, Ann. Math. Artif. Intell. 92, No. 1, 49--57 (2024; Zbl 07802495) Full Text: DOI arXiv
Couceiro, Miguel; Lehtonen, Erkko Galois theory for analogical classifiers. (English) Zbl 07802494 Ann. Math. Artif. Intell. 92, No. 1, 29-47 (2024). MSC: 68T30 06A15 PDFBibTeX XMLCite \textit{M. Couceiro} and \textit{E. Lehtonen}, Ann. Math. Artif. Intell. 92, No. 1, 29--47 (2024; Zbl 07802494) Full Text: DOI arXiv
Carlet, Claude; Feukoua, Serge On those Boolean functions that are coset leaders of first order Reed-Muller codes. (English) Zbl 07802493 Ann. Math. Artif. Intell. 92, No. 1, 7-27 (2024). MSC: 94D10 94A60 11T71 05E99 PDFBibTeX XMLCite \textit{C. Carlet} and \textit{S. Feukoua}, Ann. Math. Artif. Intell. 92, No. 1, 7--27 (2024; Zbl 07802493) Full Text: DOI
Brimkov, Valentin E. (ed.) Combinatorial and geometric problems in imaging sciences. (English) Zbl 07802492 Ann. Math. Artif. Intell. 92, No. 1, 5-6 (2024). MSC: 00Bxx PDFBibTeX XMLCite \textit{V. E. Brimkov} (ed.), Ann. Math. Artif. Intell. 92, No. 1, 5--6 (2024; Zbl 07802492) Full Text: DOI
Diochnos, Dimitrios I. (ed.); Golumbic, Martin Charles (ed.); Hoffman, Frederick (ed.) ISAIM-2022: international symposium on artificial intelligence and mathematics. (English) Zbl 07802491 Ann. Math. Artif. Intell. 92, No. 1, 1-4 (2024). MSC: 00Bxx PDFBibTeX XMLCite \textit{D. I. Diochnos} (ed.) et al., Ann. Math. Artif. Intell. 92, No. 1, 1--4 (2024; Zbl 07802491) Full Text: DOI
Kotsireas, Ilias S.; Pardalos, Panos M.; Simos, Dimitris E. Correction to: “Preface: selected revised papers from the LION 15 conference”. (English) Zbl 07785126 Ann. Math. Artif. Intell. 91, No. 6, 901 (2023). MSC: 00Bxx PDFBibTeX XMLCite \textit{I. S. Kotsireas} et al., Ann. Math. Artif. Intell. 91, No. 6, 901 (2023; Zbl 07785126) Full Text: DOI
Xu, Yaochen; Zeng, Zhenbing; Lu, Jian; Wang, Yuzheng; Chen, Liangyu Local critical analysis of inequalities related to the sum of distances between \(n\) points on the unit hemisphere for \(n=4,5\). (English) Zbl 07785124 Ann. Math. Artif. Intell. 91, No. 6, 865-898 (2023). MSC: 68U05 PDFBibTeX XMLCite \textit{Y. Xu} et al., Ann. Math. Artif. Intell. 91, No. 6, 865--898 (2023; Zbl 07785124) Full Text: DOI
Marinković, Vesna; Šukilović, Tijana; Marić, Filip Automated triangle constructions in hyperbolic geometry. (English) Zbl 07785122 Ann. Math. Artif. Intell. 91, No. 6, 821-849 (2023). MSC: 68V15 68T20 51P05 PDFBibTeX XMLCite \textit{V. Marinković} et al., Ann. Math. Artif. Intell. 91, No. 6, 821--849 (2023; Zbl 07785122) Full Text: DOI
Janičić, Predrag; Narboux, Julien Automated generation of illustrated proofs in geometry and beyond. (English) Zbl 07785121 Ann. Math. Artif. Intell. 91, No. 6, 797-820 (2023). MSC: 68T20 68T30 68T50 51-04 03B35 PDFBibTeX XMLCite \textit{P. Janičić} and \textit{J. Narboux}, Ann. Math. Artif. Intell. 91, No. 6, 797--820 (2023; Zbl 07785121) Full Text: DOI
Todd, Philip; Aley, Danny A program to create new geometry proof problems. (English) Zbl 07785120 Ann. Math. Artif. Intell. 91, No. 6, 779-795 (2023). MSC: 68V99 05C50 51-04 51M04 68T20 68W30 PDFBibTeX XMLCite \textit{P. Todd} and \textit{D. Aley}, Ann. Math. Artif. Intell. 91, No. 6, 779--795 (2023; Zbl 07785120) Full Text: DOI
Todd, Philip Automated discovery of angle theorems. (English) Zbl 07785119 Ann. Math. Artif. Intell. 91, No. 6, 753-778 (2023). MSC: 15A99 05C50 51M04 68V99 PDFBibTeX XMLCite \textit{P. Todd}, Ann. Math. Artif. Intell. 91, No. 6, 753--778 (2023; Zbl 07785119) Full Text: DOI OA License
Kovács, Zoltán (ed.); Janičić, Predrag (ed.) Formalization of geometry, automated and interactive geometric reasoning. (English) Zbl 07785118 Ann. Math. Artif. Intell. 91, No. 6, 751-752 (2023). MSC: 00Bxx PDFBibTeX XMLCite \textit{Z. Kovács} (ed.) and \textit{P. Janičić} (ed.), Ann. Math. Artif. Intell. 91, No. 6, 751--752 (2023; Zbl 07785118) Full Text: DOI
Khaled, Tarek; Benhamou, Belaid; Van-Giang Trinh Using answer set programming to deal with Boolean networks and attractor computation: application to gene regulatory networks of cells. (English) Zbl 07759324 Ann. Math. Artif. Intell. 91, No. 5, 713-750 (2023). MSC: 68-XX PDFBibTeX XMLCite \textit{T. Khaled} et al., Ann. Math. Artif. Intell. 91, No. 5, 713--750 (2023; Zbl 07759324) Full Text: DOI
Elaroussi, Mohammed; Nourine, Lhouari; Radjef, Mohammed Said Lattice point of view for argumentation framework. (English) Zbl 07759323 Ann. Math. Artif. Intell. 91, No. 5, 691-711 (2023). MSC: 68Txx 06-XX PDFBibTeX XMLCite \textit{M. Elaroussi} et al., Ann. Math. Artif. Intell. 91, No. 5, 691--711 (2023; Zbl 07759323) Full Text: DOI
Clempner, Julio B. A Bayesian reinforcement learning approach in Markov games for computing near-optimal policies. (English) Zbl 1527.91013 Ann. Math. Artif. Intell. 91, No. 5, 675-690 (2023). MSC: 91A15 91A27 68T05 60J20 PDFBibTeX XMLCite \textit{J. B. Clempner}, Ann. Math. Artif. Intell. 91, No. 5, 675--690 (2023; Zbl 1527.91013) Full Text: DOI
Stratulat, Sorin Mechanical certification of \(\mathrm{FOL_{ID}}\) cyclic proofs. (English) Zbl 07759321 Ann. Math. Artif. Intell. 91, No. 5, 651-673 (2023). MSC: 03B35 03F07 68-04 68U99 PDFBibTeX XMLCite \textit{S. Stratulat}, Ann. Math. Artif. Intell. 91, No. 5, 651--673 (2023; Zbl 07759321) Full Text: DOI
Blümlein, J.; Saragnese, M.; Schneider, C. Hypergeometric structures in Feynman integrals. (English) Zbl 1526.33008 Ann. Math. Artif. Intell. 91, No. 5, 591-649 (2023). MSC: 33F10 33C20 33C65 33E30 81Q30 PDFBibTeX XMLCite \textit{J. Blümlein} et al., Ann. Math. Artif. Intell. 91, No. 5, 591--649 (2023; Zbl 1526.33008) Full Text: DOI arXiv OA License
Buchberger, Bruno Automated programming, symbolic computation, machine learning: my personal view. (English) Zbl 07759319 Ann. Math. Artif. Intell. 91, No. 5, 569-589 (2023). MSC: 68T01 68W30 68N15 68Q32 PDFBibTeX XMLCite \textit{B. Buchberger}, Ann. Math. Artif. Intell. 91, No. 5, 569--589 (2023; Zbl 07759319) Full Text: DOI OA License
Bouhoula, Adel (ed.); Buchberger, Bruno (ed.); Ida, Tetsuo (ed.); Kutsia, Temur (ed.) Preface. (English) Zbl 07759317 Ann. Math. Artif. Intell. 91, No. 5, 563-565 (2023); correction ibid. 91, No. 5, 567 (2023). MSC: 00Bxx PDFBibTeX XMLCite \textit{A. Bouhoula} (ed.) et al., Ann. Math. Artif. Intell. 91, No. 5, 563--565 (2023; Zbl 07759317) Full Text: DOI
Fernández de Sevilla, Marián; Benedicto, Rafael Magdalena; Pérez-Díaz, Sonia Design and implementation of symbolic algorithms for the computation of generalized asymptotes. (English) Zbl 1525.14071 Ann. Math. Artif. Intell. 91, No. 4, 537-561 (2023). Reviewer: Luca Giuzzi (Brescia) MSC: 14Q05 51N35 70G55 94B27 PDFBibTeX XMLCite \textit{M. Fernández de Sevilla} et al., Ann. Math. Artif. Intell. 91, No. 4, 537--561 (2023; Zbl 1525.14071) Full Text: DOI
Morveli-Espinoza, Mariela; Nieves, Juan Carlos; Tacla, Cesar Augusto Probabilistic causal bipolar abstract argumentation: an approach based on credal networks. (English) Zbl 07730287 Ann. Math. Artif. Intell. 91, No. 4, 517-536 (2023). MSC: 68T37 68T30 03E99 PDFBibTeX XMLCite \textit{M. Morveli-Espinoza} et al., Ann. Math. Artif. Intell. 91, No. 4, 517--536 (2023; Zbl 07730287) Full Text: DOI
Aravanis, Theofanis Deductive belief change. (English) Zbl 07730286 Ann. Math. Artif. Intell. 91, No. 4, 489-515 (2023). MSC: 03B42 68T27 68T30 PDFBibTeX XMLCite \textit{T. Aravanis}, Ann. Math. Artif. Intell. 91, No. 4, 489--515 (2023; Zbl 07730286) Full Text: DOI
Bocchi, Giovanni; Botteghi, Stefano; Brasini, Martina; Frosini, Patrizio; Quercioli, Nicola On the finite representation of linear group equivariant operators via permutant measures. (English) Zbl 07730285 Ann. Math. Artif. Intell. 91, No. 4, 465-487 (2023). MSC: 55N31 68T09 15B51 20C35 47B38 62R40 68U05 PDFBibTeX XMLCite \textit{G. Bocchi} et al., Ann. Math. Artif. Intell. 91, No. 4, 465--487 (2023; Zbl 07730285) Full Text: DOI
van den Berg, Line; Atencia, Manuel; Euzenat, Jérôme Raising awareness without disclosing truth. (English) Zbl 07730284 Ann. Math. Artif. Intell. 91, No. 4, 431-464 (2023). MSC: 68Txx PDFBibTeX XMLCite \textit{L. van den Berg} et al., Ann. Math. Artif. Intell. 91, No. 4, 431--464 (2023; Zbl 07730284) Full Text: DOI
Gutierrez, Julian; Najib, Muhammad; Perelli, Giuseppe; Wooldridge, Michael On the complexity of rational verification. (English) Zbl 07730283 Ann. Math. Artif. Intell. 91, No. 4, 409-430 (2023). MSC: 68Txx PDFBibTeX XMLCite \textit{J. Gutierrez} et al., Ann. Math. Artif. Intell. 91, No. 4, 409--430 (2023; Zbl 07730283) Full Text: DOI arXiv
Xiong, Zuojun; Ågotnes, Thomas The logic of secrets and the interpolation rule. (English) Zbl 07730282 Ann. Math. Artif. Intell. 91, No. 4, 375-407 (2023). MSC: 03B42 03B45 PDFBibTeX XMLCite \textit{Z. Xiong} and \textit{T. Ågotnes}, Ann. Math. Artif. Intell. 91, No. 4, 375--407 (2023; Zbl 07730282) Full Text: DOI
Maubert, Bastien (ed.); Murano, Aniello (ed.); Rubin, Sasha (ed.) Logical aspects of multi-agent systems. (English) Zbl 1522.00196 Ann. Math. Artif. Intell. 91, No. 4, 373-374 (2023). MSC: 00B25 68-06 PDFBibTeX XMLCite \textit{B. Maubert} (ed.) et al., Ann. Math. Artif. Intell. 91, No. 4, 373--374 (2023; Zbl 1522.00196) Full Text: DOI
Lan, Shaowen; Fan, Wenjuan; Yang, Shanlin; Pardalos, Panos M. Physician scheduling problem in mobile cabin hospitals of China during Covid-19 outbreak. (English) Zbl 07709596 Ann. Math. Artif. Intell. 91, No. 2-3, 349-372 (2023). MSC: 68Txx PDFBibTeX XMLCite \textit{S. Lan} et al., Ann. Math. Artif. Intell. 91, No. 2--3, 349--372 (2023; Zbl 07709596) Full Text: DOI
Krylatov, Alexander; Raevskaya, Anastasiya; Ageev, Petr Optimization strategies for the bilevel network design problem with affine cost functions. (English) Zbl 1522.90205 Ann. Math. Artif. Intell. 91, No. 2-3, 329-347 (2023). MSC: 90C30 90C33 90C35 PDFBibTeX XMLCite \textit{A. Krylatov} et al., Ann. Math. Artif. Intell. 91, No. 2--3, 329--347 (2023; Zbl 1522.90205) Full Text: DOI
Schulte, Julian; Nissen, Volker Sensitivity analysis of combinatorial optimization problems using evolutionary bilevel optimization and data mining. (English) Zbl 1522.90219 Ann. Math. Artif. Intell. 91, No. 2-3, 309-328 (2023). MSC: 90C31 PDFBibTeX XMLCite \textit{J. Schulte} and \textit{V. Nissen}, Ann. Math. Artif. Intell. 91, No. 2--3, 309--328 (2023; Zbl 1522.90219) Full Text: DOI
Effendy, Suhendry; Yap, Roland H. C. Real-time passenger bus routing problems with preferences and tradeoffs. (English) Zbl 07709593 Ann. Math. Artif. Intell. 91, No. 2-3, 287-307 (2023). MSC: 68T20 90C27 PDFBibTeX XMLCite \textit{S. Effendy} and \textit{R. H. C. Yap}, Ann. Math. Artif. Intell. 91, No. 2--3, 287--307 (2023; Zbl 07709593) Full Text: DOI
Giordano, Maurizio; Maddalena, Lucia; Manzo, Mario; Guarracino, Mario Rosario Adversarial attacks on graph-level embedding methods: a case study. (English) Zbl 07709592 Ann. Math. Artif. Intell. 91, No. 2-3, 259-285 (2023). MSC: 68T01 68T07 68R10 92B20 PDFBibTeX XMLCite \textit{M. Giordano} et al., Ann. Math. Artif. Intell. 91, No. 2--3, 259--285 (2023; Zbl 07709592) Full Text: DOI
Hu, Chaoming; Lu, Shaojun; Kong, Min; Liu, Xinbao; Pardalos, Panos M. Parallel machine scheduling with linearly increasing energy consumption cost. (English) Zbl 07709591 Ann. Math. Artif. Intell. 91, No. 2-3, 239-258 (2023). MSC: 68Txx PDFBibTeX XMLCite \textit{C. Hu} et al., Ann. Math. Artif. Intell. 91, No. 2--3, 239--258 (2023; Zbl 07709591) Full Text: DOI
Candelieri, Antonio; Ponti, Andrea; Giordani, Ilaria; Archetti, Francesco On the use of Wasserstein distance in the distributional analysis of human decision making under uncertainty. (English) Zbl 07709590 Ann. Math. Artif. Intell. 91, No. 2-3, 217-238 (2023). MSC: 68Txx PDFBibTeX XMLCite \textit{A. Candelieri} et al., Ann. Math. Artif. Intell. 91, No. 2--3, 217--238 (2023; Zbl 07709590) Full Text: DOI
Du, Jiaojie; Wen, Yalan; Wang, Ling; Zhang, Pinggai; Fei, Minrui; Pardalos, Panos M. An adaptive human learning optimization with enhanced exploration-exploitation balance. (English) Zbl 07709589 Ann. Math. Artif. Intell. 91, No. 2-3, 177-216 (2023). MSC: 68Txx PDFBibTeX XMLCite \textit{J. Du} et al., Ann. Math. Artif. Intell. 91, No. 2--3, 177--216 (2023; Zbl 07709589) Full Text: DOI
Díaz Urra, Roberto; Gálvez Ramírez, Nicolás; Castro, Carlos A framework for the generation of complex scenario instances in the Urban Transit Routing Problem. (English) Zbl 07709588 Ann. Math. Artif. Intell. 91, No. 2-3, 153-175 (2023). MSC: 68Txx PDFBibTeX XMLCite \textit{R. Díaz Urra} et al., Ann. Math. Artif. Intell. 91, No. 2--3, 153--175 (2023; Zbl 07709588) Full Text: DOI
Sauk, Benjamin; Sahinidis, Nikolaos V. Hyperparameter autotuning of programs with HybridTuner. (English) Zbl 1522.90270 Ann. Math. Artif. Intell. 91, No. 2-3, 133-151 (2023). MSC: 90C56 PDFBibTeX XMLCite \textit{B. Sauk} and \textit{N. V. Sahinidis}, Ann. Math. Artif. Intell. 91, No. 2--3, 133--151 (2023; Zbl 1522.90270) Full Text: DOI
Moosaei, Hossein; Hladík, Milan A Lagrangian-based approach for universum twin bounded support vector machine with its applications. (English) Zbl 1522.90068 Ann. Math. Artif. Intell. 91, No. 2-3, 109-131 (2023). MSC: 90C20 90C25 90C90 PDFBibTeX XMLCite \textit{H. Moosaei} and \textit{M. Hladík}, Ann. Math. Artif. Intell. 91, No. 2--3, 109--131 (2023; Zbl 1522.90068) Full Text: DOI
Kotsireas, Ilias S. (ed.); Pardalos, Panos M. (ed.); Simos, Dimitris E. (ed.) Preface: selected revised papers from the LION 15 conference. (English) Zbl 07709585 Ann. Math. Artif. Intell. 91, No. 2-3, 107-108 (2023); correction ibid. 91, No. 6, 901 (2023). MSC: 00Bxx PDFBibTeX XMLCite \textit{I. S. Kotsireas} (ed.) et al., Ann. Math. Artif. Intell. 91, No. 2--3, 107--108 (2023; Zbl 07709585) Full Text: DOI
Benth, Fred Espen; Detering, Nils; Galimberti, Luca Neural networks in Fréchet spaces. (English) Zbl 07644143 Ann. Math. Artif. Intell. 91, No. 1, 75-103 (2023). MSC: 68T07 46T99 PDFBibTeX XMLCite \textit{F. E. Benth} et al., Ann. Math. Artif. Intell. 91, No. 1, 75--103 (2023; Zbl 07644143) Full Text: DOI arXiv
Moshkov, Mikhail Time and space complexity of deterministic and nondeterministic decision trees. (English) Zbl 07644142 Ann. Math. Artif. Intell. 91, No. 1, 45-74 (2023). MSC: 68Txx PDFBibTeX XMLCite \textit{M. Moshkov}, Ann. Math. Artif. Intell. 91, No. 1, 45--74 (2023; Zbl 07644142) Full Text: DOI arXiv
Feng, Renyan; Wang, Yisong; Qian, Ren; Yang, Lei; Chen, Panfeng Knowledge forgetting in propositional \(\mu\)-calculus. (English) Zbl 07644141 Ann. Math. Artif. Intell. 91, No. 1, 1-43 (2023). MSC: 68Txx PDFBibTeX XMLCite \textit{R. Feng} et al., Ann. Math. Artif. Intell. 91, No. 1, 1--43 (2023; Zbl 07644141) Full Text: DOI
Ignatov, Dmitry I.; Kwuida, Léonard On Shapley value interpretability in concept-based learning with formal concept analysis. (English) Zbl 1511.68272 Ann. Math. Artif. Intell. 90, No. 11-12, 1197-1222 (2022). MSC: 68T30 68T05 PDFBibTeX XMLCite \textit{D. I. Ignatov} and \textit{L. Kwuida}, Ann. Math. Artif. Intell. 90, No. 11--12, 1197--1222 (2022; Zbl 1511.68272) Full Text: DOI
Leemhuis, Mena; Özçep, Özgür L.; Wolter, Diedrich Learning with cone-based geometric models and orthologics. (English) Zbl 1511.68276 Ann. Math. Artif. Intell. 90, No. 11-12, 1159-1195 (2022). MSC: 68T30 68T05 68T27 PDFBibTeX XMLCite \textit{M. Leemhuis} et al., Ann. Math. Artif. Intell. 90, No. 11--12, 1159--1195 (2022; Zbl 1511.68276) Full Text: DOI
Croitoru, Cosmina; Croitoru, Madalina Indepth combinatorial analysis of admissible sets for abstract argumentation. (English) Zbl 1511.68265 Ann. Math. Artif. Intell. 90, No. 11-12, 1139-1158 (2022). MSC: 68T27 PDFBibTeX XMLCite \textit{C. Croitoru} and \textit{M. Croitoru}, Ann. Math. Artif. Intell. 90, No. 11--12, 1139--1158 (2022; Zbl 1511.68265) Full Text: DOI
Priss, Uta A semiotic perspective on polysemy. (English) Zbl 1511.68278 Ann. Math. Artif. Intell. 90, No. 11-12, 1125-1138 (2022). MSC: 68T30 03B65 PDFBibTeX XMLCite \textit{U. Priss}, Ann. Math. Artif. Intell. 90, No. 11--12, 1125--1138 (2022; Zbl 1511.68278) Full Text: DOI
Konecny, Jan; Krajča, Petr On pruning techniques in map-reduce style CbO algorithms. (English) Zbl 1511.68275 Ann. Math. Artif. Intell. 90, No. 11-12, 1107-1124 (2022). MSC: 68T30 68W15 PDFBibTeX XMLCite \textit{J. Konecny} and \textit{P. Krajča}, Ann. Math. Artif. Intell. 90, No. 11--12, 1107--1124 (2022; Zbl 1511.68275) Full Text: DOI
Missaoui, Rokia; Ruas, Pedro H. B.; Kwuida, Léonard; Song, Mark A. J.; Ibrahim, Mohamed Hamza Computing triadic generators and association rules from triadic contexts. (English) Zbl 1511.68277 Ann. Math. Artif. Intell. 90, No. 11-12, 1083-1105 (2022). MSC: 68T30 06A06 68T10 PDFBibTeX XMLCite \textit{R. Missaoui} et al., Ann. Math. Artif. Intell. 90, No. 11--12, 1083--1105 (2022; Zbl 1511.68277) Full Text: DOI
Alam, Mehwish (ed.); Braun, Tanya (ed.); Endres, Dominik (ed.); Yun, Bruno (ed.) Special issue on conceptual structures. (English) Zbl 1511.68007 Ann. Math. Artif. Intell. 90, No. 11-12, 1079-1082 (2022). MSC: 68-06 68T30 00B25 PDFBibTeX XMLCite \textit{M. Alam} (ed.) et al., Ann. Math. Artif. Intell. 90, No. 11--12, 1079--1082 (2022; Zbl 1511.68007) Full Text: DOI
Shi, Meifeng; Liao, Xin; Chen, Yuan A dual-population search differential evolution algorithm for functional distributed constraint optimization problems. (English) Zbl 07618986 Ann. Math. Artif. Intell. 90, No. 10, 1055-1078 (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{M. Shi} et al., Ann. Math. Artif. Intell. 90, No. 10, 1055--1078 (2022; Zbl 07618986) Full Text: DOI
Maushagen, Cynthia; Neveling, Marc; Rothe, Jörg; Selker, Ann-Kathrin Complexity of shift bribery for iterative voting rules. (English) Zbl 07618985 Ann. Math. Artif. Intell. 90, No. 10, 1017-1054 (2022). MSC: 68Q17 91B12 91B14 PDFBibTeX XMLCite \textit{C. Maushagen} et al., Ann. Math. Artif. Intell. 90, No. 10, 1017--1054 (2022; Zbl 07618985) Full Text: DOI
Cohen, Daniel C.; Farber, Michael; Weinberger, Shmuel Parametrized topological complexity of collision-free motion planning in the plane. (English) Zbl 1509.55011 Ann. Math. Artif. Intell. 90, No. 10, 999-1015 (2022). Reviewer: Enrique Torres-Giese (Langley) MSC: 55S40 55M30 55R80 70Q05 PDFBibTeX XMLCite \textit{D. C. Cohen} et al., Ann. Math. Artif. Intell. 90, No. 10, 999--1015 (2022; Zbl 1509.55011) Full Text: DOI arXiv
Wojciechowski, P.; Subramani, K. On the lengths of tree-like and dag-like cutting plane refutations of Horn constraint systems. Horn constraint systems and cutting plane refutations. (English) Zbl 1507.90102 Ann. Math. Artif. Intell. 90, No. 10, 979-998 (2022). MSC: 90C05 PDFBibTeX XMLCite \textit{P. Wojciechowski} and \textit{K. Subramani}, Ann. Math. Artif. Intell. 90, No. 10, 979--998 (2022; Zbl 1507.90102) Full Text: DOI
Eremeev, Anton V.; Kel’manov, Alexander V.; Kovalyov, Mikhail Y.; Pyatkin, Artem V. Selecting a subset of diverse points based on the squared Euclidean distance. (English) Zbl 1493.62380 Ann. Math. Artif. Intell. 90, No. 7-9, 965-977 (2022). MSC: 62H30 90C09 68W25 PDFBibTeX XMLCite \textit{A. V. Eremeev} et al., Ann. Math. Artif. Intell. 90, No. 7--9, 965--977 (2022; Zbl 1493.62380) Full Text: DOI
Kampel, Ludwig; Simos, Dimitris E.; Kuhn, D. Richard; Kacker, Raghu N. An exploration of combinatorial testing-based approaches to fault localization for explainable AI. (English) Zbl 07570861 Ann. Math. Artif. Intell. 90, No. 7-9, 951-964 (2022). MSC: 68T01 PDFBibTeX XMLCite \textit{L. Kampel} et al., Ann. Math. Artif. Intell. 90, No. 7--9, 951--964 (2022; Zbl 07570861) Full Text: DOI
Sarhani, Malek; Voß, Stefan Chunking and cooperation in particle swarm optimization for feature selection. (English) Zbl 07570859 Ann. Math. Artif. Intell. 90, No. 7-9, 893-913 (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{M. Sarhani} and \textit{S. Voß}, Ann. Math. Artif. Intell. 90, No. 7--9, 893--913 (2022; Zbl 07570859) Full Text: DOI
Moosaei, Hossein; Hladík, Milan Least squares approach to K-SVCR multi-class classification with its applications. (English) Zbl 07570858 Ann. Math. Artif. Intell. 90, No. 7-9, 873-892 (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{H. Moosaei} and \textit{M. Hladík}, Ann. Math. Artif. Intell. 90, No. 7--9, 873--892 (2022; Zbl 07570858) Full Text: DOI
Syed, Mujahid N. Neighborhood density information in clustering. (English) Zbl 1492.90178 Ann. Math. Artif. Intell. 90, No. 7-9, 855-872 (2022). MSC: 90C30 62H30 91C20 PDFBibTeX XMLCite \textit{M. N. Syed}, Ann. Math. Artif. Intell. 90, No. 7--9, 855--872 (2022; Zbl 1492.90178) Full Text: DOI
Nourmohammadzadeh, Abtin; Voß, Stefan A robust multiobjective model for the integrated berth and quay crane scheduling problem at seaside container terminals. (English) Zbl 07570856 Ann. Math. Artif. Intell. 90, No. 7-9, 831-853 (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{A. Nourmohammadzadeh} and \textit{S. Voß}, Ann. Math. Artif. Intell. 90, No. 7--9, 831--853 (2022; Zbl 07570856) Full Text: DOI
Le Thi, Hoai An; Ho, Vinh Thanh Alternating DCA for reduced-rank multitask linear regression with covariance matrix estimation. (English) Zbl 1492.90138 Ann. Math. Artif. Intell. 90, No. 7-9, 809-829 (2022). MSC: 90C26 90C90 62J05 PDFBibTeX XMLCite \textit{H. A. Le Thi} and \textit{V. T. Ho}, Ann. Math. Artif. Intell. 90, No. 7--9, 809--829 (2022; Zbl 1492.90138) Full Text: DOI
Dlask, Tomáš; Werner, Tomáš Classes of linear programs solvable by coordinate-wise minimization. (English) Zbl 1492.90078 Ann. Math. Artif. Intell. 90, No. 7-9, 777-807 (2022). MSC: 90C05 90C08 49N15 PDFBibTeX XMLCite \textit{T. Dlask} and \textit{T. Werner}, Ann. Math. Artif. Intell. 90, No. 7--9, 777--807 (2022; Zbl 1492.90078) Full Text: DOI
Zhu, Xing; Liao, Baoyu; Yang, Shanlin; Pardalos, Panos M. Evolutionary game analysis on government subsidy policy and bank loan strategy in China’s distributed photovoltaic market. (English) Zbl 07570853 Ann. Math. Artif. Intell. 90, No. 7-9, 753-776 (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{X. Zhu} et al., Ann. Math. Artif. Intell. 90, No. 7--9, 753--776 (2022; Zbl 07570853) Full Text: DOI
Park, Seonho; Adosoglou, George; Pardalos, Panos M. Interpreting rate-distortion of variational autoencoder and using model uncertainty for anomaly detection. (English) Zbl 07570852 Ann. Math. Artif. Intell. 90, No. 7-9, 735-752 (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{S. Park} et al., Ann. Math. Artif. Intell. 90, No. 7--9, 735--752 (2022; Zbl 07570852) Full Text: DOI arXiv
Ansótegui, Carlos; Pon, Josep; Sellmann, Meinolf Boosting evolutionary algorithm configuration. (English) Zbl 07570851 Ann. Math. Artif. Intell. 90, No. 7-9, 715-734 (2022). MSC: 68-XX PDFBibTeX XMLCite \textit{C. Ansótegui} et al., Ann. Math. Artif. Intell. 90, No. 7--9, 715--734 (2022; Zbl 07570851) Full Text: DOI
Krylatov, Alexander Column generation for the equilibrium route-flow traffic assignment problem. (English) Zbl 1492.90175 Ann. Math. Artif. Intell. 90, No. 7-9, 697-713 (2022). MSC: 90C30 90C33 90C35 PDFBibTeX XMLCite \textit{A. Krylatov}, Ann. Math. Artif. Intell. 90, No. 7--9, 697--713 (2022; Zbl 1492.90175) Full Text: DOI
Yılmaz, Ömer Faruk An integrated bi-objective U-shaped assembly line balancing and parts feeding problem: optimization model and exact solution method. (English) Zbl 07570849 Ann. Math. Artif. Intell. 90, No. 7-9, 679-696 (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{Ö. F. Yılmaz}, Ann. Math. Artif. Intell. 90, No. 7--9, 679--696 (2022; Zbl 07570849) Full Text: DOI
Kotsireas, Ilias S. (ed.); Pardalos, Panos M. (ed.) Preface selected revised papers from the LION 14 conference. (English) Zbl 1493.00038 Ann. Math. Artif. Intell. 90, No. 7-9, 677 (2022). MSC: 00B25 68-06 PDFBibTeX XMLCite \textit{I. S. Kotsireas} (ed.) and \textit{P. M. Pardalos} (ed.), Ann. Math. Artif. Intell. 90, No. 7--9, 677 (2022; Zbl 1493.00038) Full Text: DOI
Boege, Tobias Correction to: “Gaussoids are two-antecedental approximations of Gaussian conditional independence structures”. (English) Zbl 1496.62029 Ann. Math. Artif. Intell. 90, No. 6, 675-676 (2022). MSC: 62B10 62R01 14P10 PDFBibTeX XMLCite \textit{T. Boege}, Ann. Math. Artif. Intell. 90, No. 6, 675--676 (2022; Zbl 1496.62029) Full Text: DOI
Boege, Tobias Gaussoids are two-antecedental approximations of Gaussian conditional independence structures. (English) Zbl 1493.62020 Ann. Math. Artif. Intell. 90, No. 6, 645-673 (2022); correction ibid. 90, No. 6, 675-676 (2022). MSC: 62B10 62R01 14P10 PDFBibTeX XMLCite \textit{T. Boege}, Ann. Math. Artif. Intell. 90, No. 6, 645--673 (2022; Zbl 1493.62020) Full Text: DOI arXiv
Antić, Christian Analogical proportions. (English) Zbl 1490.68175 Ann. Math. Artif. Intell. 90, No. 6, 595-644 (2022). MSC: 68T01 08A70 68T27 PDFBibTeX XMLCite \textit{C. Antić}, Ann. Math. Artif. Intell. 90, No. 6, 595--644 (2022; Zbl 1490.68175) Full Text: DOI arXiv
Aravanis, Theofanis; Peppas, Pavlos Theory-relational belief revision. (English) Zbl 1508.03051 Ann. Math. Artif. Intell. 90, No. 6, 573-594 (2022). Reviewer: Eduardo Fermé (Funchal) MSC: 03B42 68T27 68T30 PDFBibTeX XMLCite \textit{T. Aravanis} and \textit{P. Peppas}, Ann. Math. Artif. Intell. 90, No. 6, 573--594 (2022; Zbl 1508.03051) Full Text: DOI
Hoffman, Judy; Mohri, Mehryar; Zhang, Ningshan Addendum to: “Multiple-source adaptation theory and algorithms”. (English) Zbl 1490.68185 Ann. Math. Artif. Intell. 90, No. 6, 569-572 (2022). MSC: 68T05 62B10 PDFBibTeX XMLCite \textit{J. Hoffman} et al., Ann. Math. Artif. Intell. 90, No. 6, 569--572 (2022; Zbl 1490.68185) Full Text: DOI
Hanika, Tom; Hirth, Johannes Knowledge cores in large formal contexts. (English) Zbl 1505.68041 Ann. Math. Artif. Intell. 90, No. 6, 537-567 (2022). Reviewer: Luigi Palopoli (Rende) MSC: 68T30 PDFBibTeX XMLCite \textit{T. Hanika} and \textit{J. Hirth}, Ann. Math. Artif. Intell. 90, No. 6, 537--567 (2022; Zbl 1505.68041) Full Text: DOI arXiv
Miller, Dale; Viel, Alexandre The undecidability of proof search when equality is a logical connective. (English) Zbl 07517440 Ann. Math. Artif. Intell. 90, No. 5, 523-535 (2022). MSC: 03F03 PDFBibTeX XMLCite \textit{D. Miller} and \textit{A. Viel}, Ann. Math. Artif. Intell. 90, No. 5, 523--535 (2022; Zbl 07517440) Full Text: DOI
Alpuente, María; Escobar, Santiago; Meseguer, José; Sapiña, Julia Order-sorted equational generalization algorithm revisited. (English) Zbl 07517439 Ann. Math. Artif. Intell. 90, No. 5, 499-522 (2022). MSC: 68N17 68N18 68Q42 68Q60 68T20 68W30 PDFBibTeX XMLCite \textit{M. Alpuente} et al., Ann. Math. Artif. Intell. 90, No. 5, 499--522 (2022; Zbl 07517439) Full Text: DOI
Balbiani, Philippe; Gencer, Çiğdem; Rostamigiv, Maryam; Tinchev, Tinko About the unification type of \(\mathbf{K}+\square \square \bot\). (English) Zbl 07517438 Ann. Math. Artif. Intell. 90, No. 5, 481-497 (2022). MSC: 03B45 03B70 68T27 PDFBibTeX XMLCite \textit{P. Balbiani} et al., Ann. Math. Artif. Intell. 90, No. 5, 481--497 (2022; Zbl 07517438) Full Text: DOI
Libal, Tomer; Miller, Dale Functions-as-constructors higher-order unification: extended pattern unification. (English) Zbl 07517437 Ann. Math. Artif. Intell. 90, No. 5, 455-479 (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{T. Libal} and \textit{D. Miller}, Ann. Math. Artif. Intell. 90, No. 5, 455--479 (2022; Zbl 07517437) Full Text: DOI
Kutsia, Temur (ed.); Marshall, Andrew M. (ed.) Preface. (English) Zbl 1485.00031 Ann. Math. Artif. Intell. 90, No. 5, 453-454 (2022). MSC: 00B25 68-06 PDFBibTeX XMLCite \textit{T. Kutsia} (ed.) and \textit{A. M. Marshall} (ed.), Ann. Math. Artif. Intell. 90, No. 5, 453--454 (2022; Zbl 1485.00031) Full Text: DOI
Knoblauch, Andreas On the antiderivatives of \(x^p/(1 - x)\) with an application to optimize loss functions for classification with neural networks. (English) Zbl 07504740 Ann. Math. Artif. Intell. 90, No. 4, 425-452 (2022). MSC: 68Txx 26A42 33B20 68T05 68T10 92B20 PDFBibTeX XMLCite \textit{A. Knoblauch}, Ann. Math. Artif. Intell. 90, No. 4, 425--452 (2022; Zbl 07504740) Full Text: DOI
Koutras, Costas D.; Liaskos, Konstantinos; Moyzes, Christos; Nomikos, Christos; Rantsoudis, Christos Default consequence relations from topology and measure theory. (English) Zbl 07504739 Ann. Math. Artif. Intell. 90, No. 4, 397-424 (2022). MSC: 68T27 68T30 03C80 PDFBibTeX XMLCite \textit{C. D. Koutras} et al., Ann. Math. Artif. Intell. 90, No. 4, 397--424 (2022; Zbl 07504739) Full Text: DOI
Clempner, Julio B. Learning Machiavellian strategies for manipulation in Stackelberg security games. (English) Zbl 07504738 Ann. Math. Artif. Intell. 90, No. 4, 373-395 (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{J. B. Clempner}, Ann. Math. Artif. Intell. 90, No. 4, 373--395 (2022; Zbl 07504738) Full Text: DOI
Schneckenburger, Sebastian; Dorn, Britta; Endriss, Ulle Minimising inequality in multiagent resource allocation: structural analysis of a distributed approach. (English) Zbl 1484.91231 Ann. Math. Artif. Intell. 90, No. 4, 339-371 (2022). MSC: 91B32 PDFBibTeX XMLCite \textit{S. Schneckenburger} et al., Ann. Math. Artif. Intell. 90, No. 4, 339--371 (2022; Zbl 1484.91231) Full Text: DOI
Pandžić, Stipe Structured argumentation dynamics. Undermining attacks in default justification logic. (English) Zbl 07473203 Ann. Math. Artif. Intell. 90, No. 2-3, 297-337 (2022). MSC: 03B60 68T27 68T30 68T37 PDFBibTeX XMLCite \textit{S. Pandžić}, Ann. Math. Artif. Intell. 90, No. 2--3, 297--337 (2022; Zbl 07473203) Full Text: DOI
Mahmood, Yasir; Meier, Arne Parameterised complexity of model checking and satisfiability in propositional dependence logic. (English) Zbl 07473202 Ann. Math. Artif. Intell. 90, No. 2-3, 271-296 (2022). MSC: 68Q25 03B70 PDFBibTeX XMLCite \textit{Y. Mahmood} and \textit{A. Meier}, Ann. Math. Artif. Intell. 90, No. 2--3, 271--296 (2022; Zbl 07473202) Full Text: DOI arXiv
Grant, John; Parisi, Francesco General information spaces: measuring inconsistency, rationality postulates, and complexity. (English) Zbl 07473201 Ann. Math. Artif. Intell. 90, No. 2-3, 235-269 (2022). MSC: 68-XX 03-XX PDFBibTeX XMLCite \textit{J. Grant} and \textit{F. Parisi}, Ann. Math. Artif. Intell. 90, No. 2--3, 235--269 (2022; Zbl 07473201) Full Text: DOI
Galliani, Pietro; Väänänen, Jouko Diversity, dependence and independence. (English) Zbl 07473200 Ann. Math. Artif. Intell. 90, No. 2-3, 211-233 (2022). MSC: 03B60 PDFBibTeX XMLCite \textit{P. Galliani} and \textit{J. Väänänen}, Ann. Math. Artif. Intell. 90, No. 2--3, 211--233 (2022; Zbl 07473200) Full Text: DOI
Brijder, Robert; Gyssens, Marc; Van den Bussche, Jan On matrices and \(K\)-relations. (English) Zbl 07473199 Ann. Math. Artif. Intell. 90, No. 2-3, 181-210 (2022). MSC: 68N15 68P15 16Y60 PDFBibTeX XMLCite \textit{R. Brijder} et al., Ann. Math. Artif. Intell. 90, No. 2--3, 181--210 (2022; Zbl 07473199) Full Text: DOI arXiv
Beierle, Christoph; Haldimann, Jonas Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings. (English) Zbl 1508.68355 Ann. Math. Artif. Intell. 90, No. 2-3, 149-179 (2022). Reviewer: Éric Martin (Sydney) MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{C. Beierle} and \textit{J. Haldimann}, Ann. Math. Artif. Intell. 90, No. 2--3, 149--179 (2022; Zbl 1508.68355) Full Text: DOI
Herzig, Andreas (ed.); Kontinen, Juha (ed.) Preface. (English) Zbl 1480.00059 Ann. Math. Artif. Intell. 90, No. 2-3, 145-147 (2022). MSC: 00B25 68-06 PDFBibTeX XMLCite \textit{A. Herzig} (ed.) and \textit{J. Kontinen} (ed.), Ann. Math. Artif. Intell. 90, No. 2--3, 145--147 (2022; Zbl 1480.00059) Full Text: DOI
Komo, Christian; Beierle, Christoph Nonmonotonic reasoning from conditional knowledge bases with system W. (English) Zbl 1508.68362 Ann. Math. Artif. Intell. 90, No. 1, 107-144 (2022). Reviewer: Mario Alviano (Rende) MSC: 68T27 68T30 68T37 PDFBibTeX XMLCite \textit{C. Komo} and \textit{C. Beierle}, Ann. Math. Artif. Intell. 90, No. 1, 107--144 (2022; Zbl 1508.68362) Full Text: DOI
Kjos-Hanssen, Bjørn; Felix, Clyde James; Kim, Sun Young; Lamb, Ethan; Takahashi, Davin VC-dimensions of nondeterministic finite automata for words of equal length. (English) Zbl 07473195 Ann. Math. Artif. Intell. 90, No. 1, 93-105 (2022). MSC: 68Q45 68Q68 68T05 PDFBibTeX XMLCite \textit{B. Kjos-Hanssen} et al., Ann. Math. Artif. Intell. 90, No. 1, 93--105 (2022; Zbl 07473195) Full Text: DOI arXiv
Watanabe, Satoru; Yamana, Hayato Topological measurement of deep neural networks using persistent homology. (English) Zbl 07473194 Ann. Math. Artif. Intell. 90, No. 1, 75-92 (2022). MSC: 68T07 55N31 PDFBibTeX XMLCite \textit{S. Watanabe} and \textit{H. Yamana}, Ann. Math. Artif. Intell. 90, No. 1, 75--92 (2022; Zbl 07473194) Full Text: DOI arXiv
Vion, Julien; Mandiau, René; Piechowiak, Sylvain; Silaghi, Marius Integrating domain and constraint privacy reasoning in the distributed stochastic algorithm with breakouts. (English) Zbl 07473193 Ann. Math. Artif. Intell. 90, No. 1, 31-73 (2022). MSC: 68T42 PDFBibTeX XMLCite \textit{J. Vion} et al., Ann. Math. Artif. Intell. 90, No. 1, 31--73 (2022; Zbl 07473193) Full Text: DOI
Subramani, K.; Wojciechowski, Piotr Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas. (English) Zbl 1485.90119 Ann. Math. Artif. Intell. 90, No. 1, 3-29 (2022). MSC: 90C27 90C09 PDFBibTeX XMLCite \textit{K. Subramani} and \textit{P. Wojciechowski}, Ann. Math. Artif. Intell. 90, No. 1, 3--29 (2022; Zbl 1485.90119) Full Text: DOI