default search action
Annals 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
Neural networks in Fréchet spaces. 75-103 - Daniel C. Cohen
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
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
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
On the use of Wasserstein distance in the distributional analysis of human decision making under uncertainty. 217-238 - Chaoming Hu, Shaojun Lu
Parallel machine scheduling with linearly increasing energy consumption cost. 239-258 - Maurizio Giordano
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
Sensitivity analysis of combinatorial optimization problems using evolutionary bilevel optimization and data mining. 309-328 - Alexander Y. Krylatov
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
The logic of secrets and the interpolation rule. 375-407 - Julian Gutierrez, Muhammad Najib
On the complexity of rational verification. 409-430 - Line van den Berg
Raising awareness without disclosing truth. 431-464 - Giovanni Bocchi
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
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
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
A program to create new geometry proof problems. 779-795 - Predrag Janicic
Automated generation of illustrated proofs in geometry and beyond. 797-820 - Vesna Marinkovic
Automated triangle constructions in hyperbolic geometry. 821-849 - Nuno Baeta
Towards a geometry deductive database prover. 851-863 - Yaochen Xu, Zhenbing Zeng
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 2024-12-13 19:11 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: