default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Mathematics and Artificial Intelligence, Volume 91
Volume 91, Number 1, February 2023
- Renyan Feng, Yisong Wang
, Ren Qian, Lei Yang, Panfeng Chen:
Knowledge forgetting in propositional μ-calculus. 1-43 - Mikhail Moshkov:
Time and space complexity of deterministic and nondeterministic decision trees. 45-74 - Fred Espen Benth, Nils Detering, Luca Galimberti:
Neural networks in Fréchet spaces. 75-103 - Daniel C. Cohen, Michael Farber, Shmuel Weinberger:
Correction to: Parametrized topological complexity of collision‑free motion planning in the plane. 105-106
Volume 91, Number 2-3, June 2023
- Ilias S. Kotsireas, Panos M. Pardalos, Dimitris E. Simos:
Preface: Selected revised papers from the LION 15 conference. 107-108 - Hossein Moosaei, Milan Hladík:
A lagrangian-based approach for universum twin bounded support vector machine with its applications. 109-131 - Benjamin Sauk, Nikolaos V. Sahinidis:
Hyperparameter autotuning of programs with HybridTuner. 133-151 - 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. 153-175 - Jiaojie Du, Yalan Wen, Ling Wang, Pinggai Zhang, Minrui Fei, Panos M. Pardalos:
An adaptive human learning optimization with enhanced exploration-exploitation balance. 177-216 - Antonio Candelieri, Andrea Ponti, Ilaria Giordani, Francesco Archetti:
On the use of Wasserstein distance in the distributional analysis of human decision making under uncertainty. 217-238 - Chaoming Hu, Shaojun Lu, Min Kong, Xinbao Liu, Panos M. Pardalos:
Parallel machine scheduling with linearly increasing energy consumption cost. 239-258 - Maurizio Giordano, Lucia Maddalena, Mario Manzo, Mario Rosario Guarracino:
Adversarial attacks on graph-level embedding methods: a case study. 259-285 - Suhendry Effendy, Roland H. C. Yap:
Real-time passenger bus routing problems with preferences and tradeoffs. 287-307 - Julian Schulte, Volker Nissen:
Sensitivity analysis of combinatorial optimization problems using evolutionary bilevel optimization and data mining. 309-328 - Alexander Y. Krylatov, Anastasiya Raevskaya, Petr Ageev:
Optimization strategies for the bilevel network design problem with affine cost functions. 329-347 - Shaowen Lan, Wenjuan Fan, Shanlin Yang, Panos M. Pardalos:
Physician scheduling problem in Mobile Cabin Hospitals of China during Covid-19 outbreak. 349-372
Volume 91, Number 4, August 2023
- Bastien Maubert, Aniello Murano, Sasha Rubin:
Logical aspects of multi-agent systems. 373-374 - Zuojun Xiong, Thomas Ågotnes:
The logic of secrets and the interpolation rule. 375-407 - Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge:
On the complexity of rational verification. 409-430 - Line van den Berg, Manuel Atencia, Jérôme Euzenat:
Raising awareness without disclosing truth. 431-464 - Giovanni Bocchi, Stefano Botteghi, Martina Brasini, Patrizio Frosini, Nicola Quercioli:
On the finite representation of linear group equivariant operators via permutant measures. 465-487 - Theofanis I. Aravanis:
Deductive belief change. 489-515 - Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla:
Probabilistic causal bipolar abstract argumentation: an approach based on credal networks. 517-536 - 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. 537-561
Volume 91, Number 5, October 2023
- Adel Bouhoula, Bruno Buchberger, Tetsuo Ida, Temur Kutsia:
Preface. 563-565 - Adel Bouhoula, Bruno Buchberger, Tetsuo Ida, Temur Kutsia:
Correction to: Preface. 567 - Bruno Buchberger:
Automated programming, symbolic computation, machine learning: my personal view. 569-589 - Johannes Blümlein, Marco Saragnese, Carsten Schneider:
Hypergeometric structures in Feynman integrals. 591-649 - Sorin Stratulat:
Mechanical certification of FOLID cyclic proofs. 651-673 - Julio B. Clempner:
A Bayesian reinforcement learning approach in markov games for computing near-optimal policies. 675-690 - Mohammed Elaroussi, Lhouari Nourine, Mohammed Said Radjef:
Lattice point of view for argumentation framework. 691-711 - Tarek 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. 713-750
Volume 91, Number 6, December 2023
- Zoltán Kovács, Predrag Janicic:
Formalization of geometry, automated and interactive geometric reasoning. 751-752 - Philip H. Todd:
Automated discovery of angle theorems. 753-778 - Philip H. Todd, Danny Aley:
A program to create new geometry proof problems. 779-795 - Predrag Janicic, Julien Narboux:
Automated generation of illustrated proofs in geometry and beyond. 797-820 - Vesna Marinkovic, Tijana Sukilovic, Filip Maric:
Automated triangle constructions in hyperbolic geometry. 821-849 - Nuno Baeta, Pedro Quaresma:
Towards a geometry deductive database prover. 851-863 - 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. 865-898 - Zuojun Xiong, Thomas Ågotnes:
Correction to: The logic of secrets and the interpolation rule. 899 - Ilias S. Kotsireas, Panos M. Pardalos, Dimitris E. Simos:
Correction to: Preface: Selected revised papers from the LION 15 conference. 901
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-21 19:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
