Stop the war!Остановите войну!
for scientists:
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
a service of 
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-06-10 21:26 CEST 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:
