Journal: Annals of Mathematics and Artificial Intelligence

Volume 91, Issue 6

751 -- 752Zoltán Kovács, Predrag Janicic. Formalization of geometry, automated and interactive geometric reasoning
753 -- 778Philip H. Todd. Automated discovery of angle theorems
779 -- 795Philip H. Todd, Danny Aley. A program to create new geometry proof problems
797 -- 820Predrag Janicic, Julien Narboux. Automated generation of illustrated proofs in geometry and beyond
821 -- 849Vesna Marinkovic, Tijana Sukilovic, Filip Maric. Automated triangle constructions in hyperbolic geometry
851 -- 863Nuno Baeta, Pedro Quaresma. Towards a geometry deductive database prover
865 -- 898Yaochen Xu, Zhenbing Zeng, Jian Lu, Yuzheng Wang, Liangyu Chen 0001. Local critical analysis of inequalities related to the sum of distances between n points on the unit hemisphere for n=4,5
899 -- 0Zuojun Xiong, Thomas Ågotnes. Correction to: The logic of secrets and the interpolation rule
901 -- 0Ilias S. Kotsireas, Panos M. Pardalos, Dimitris E. Simos. Correction to: Preface: Selected revised papers from the LION 15 conference

Volume 91, Issue 5

563 -- 565Adel Bouhoula, Bruno Buchberger, Tetsuo Ida, Temur Kutsia. Preface
567 -- 0Adel Bouhoula, Bruno Buchberger, Tetsuo Ida, Temur Kutsia. Correction to: Preface
569 -- 589Bruno Buchberger. Automated programming, symbolic computation, machine learning: my personal view
591 -- 649Johannes Blümlein, Marco Saragnese, Carsten Schneider. Hypergeometric structures in Feynman integrals
651 -- 673Sorin Stratulat. ID cyclic proofs
675 -- 690Julio B. Clempner. A Bayesian reinforcement learning approach in markov games for computing near-optimal policies
691 -- 711Mohammed Elaroussi, Lhouari Nourine, Mohammed Said Radjef. Lattice point of view for argumentation framework
713 -- 750Tarek 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

Volume 91, Issue 4

373 -- 374Bastien Maubert, Aniello Murano, Sasha Rubin. Logical aspects of multi-agent systems
375 -- 407Zuojun Xiong, Thomas Ågotnes. The logic of secrets and the interpolation rule
409 -- 430Julian Gutierrez 0001, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge. On the complexity of rational verification
431 -- 464Line van den Berg, Manuel Atencia, Jérôme Euzenat. Raising awareness without disclosing truth
465 -- 487Giovanni Bocchi, Stefano Botteghi, Martina Brasini, Patrizio Frosini, Nicola Quercioli. On the finite representation of linear group equivariant operators via permutant measures
489 -- 515Theofanis I. Aravanis. Deductive belief change
517 -- 536Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla. Probabilistic causal bipolar abstract argumentation: an approach based on credal networks
537 -- 561Marian Fernández de Sevilla, Rafael Magdalena Benedicto, Sonia Pérez-Díaz. Design and implementation of symbolic algorithms for the computation of generalized asymptotes

Volume 91, Issue 2

107 -- 108Ilias S. Kotsireas, Panos M. Pardalos, Dimitris E. Simos. Preface: Selected revised papers from the LION 15 conference
109 -- 131Hossein Moosaei, Milan Hladík. A lagrangian-based approach for universum twin bounded support vector machine with its applications
133 -- 151Benjamin Sauk, Nikolaos V. Sahinidis. Hyperparameter autotuning of programs with HybridTuner
153 -- 175Roberto Díaz Urra, Nicolás Gálvez Ramírez, Carlos Castro 0001. A framework for the generation of complex scenario instances in the Urban Transit Routing Problem
177 -- 216Jiaojie Du, Yalan Wen, Ling Wang 0009, Pinggai Zhang, Minrui Fei, Panos M. Pardalos. An adaptive human learning optimization with enhanced exploration-exploitation balance
217 -- 238Antonio Candelieri, Andrea Ponti, Ilaria Giordani, Francesco Archetti. On the use of Wasserstein distance in the distributional analysis of human decision making under uncertainty
239 -- 258Chaoming Hu, Shaojun Lu, Min Kong, Xinbao Liu, Panos M. Pardalos. Parallel machine scheduling with linearly increasing energy consumption cost
259 -- 285Maurizio Giordano, Lucia Maddalena 0001, Mario Manzo, Mario Rosario Guarracino. Adversarial attacks on graph-level embedding methods: a case study
287 -- 307Suhendry Effendy, Roland H. C. Yap. Real-time passenger bus routing problems with preferences and tradeoffs
309 -- 328Julian Schulte, Volker Nissen. Sensitivity analysis of combinatorial optimization problems using evolutionary bilevel optimization and data mining
329 -- 347Alexander Y. Krylatov, Anastasiya Raevskaya, Petr Ageev. Optimization strategies for the bilevel network design problem with affine cost functions
349 -- 372Shaowen Lan, Wenjuan Fan, Shanlin Yang, Panos M. Pardalos. Physician scheduling problem in Mobile Cabin Hospitals of China during Covid-19 outbreak

Volume 91, Issue 1

1 -- 43Renyan Feng, Yisong Wang, Ren Qian, Lei Yang, Panfeng Chen. Knowledge forgetting in propositional μ-calculus
45 -- 74Mikhail Moshkov. Time and space complexity of deterministic and nondeterministic decision trees
75 -- 103Fred Espen Benth, Nils Detering, Luca Galimberti. Neural networks in Fréchet spaces
105 -- 106Daniel C. Cohen, Michael Farber, Shmuel Weinberger. Correction to: Parametrized topological complexity of collision‑free motion planning in the plane