• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 1,482 matches

• 2023
• 
  Theofanis I. Aravanis:
  Deductive belief change. Ann. Math. Artif. Intell. 91(4): 489-515 (2023)
• 
  Fred Espen Benth, Nils Detering, Luca Galimberti:
  Neural networks in Fréchet spaces. Ann. Math. Artif. Intell. 91(1): 75-103 (2023)
• 
  Line van den Berg, Manuel Atencia, Jérôme Euzenat:
  Raising awareness without disclosing truth. Ann. Math. Artif. Intell. 91(4): 431-464 (2023)
• 
  Giovanni Bocchi, Stefano Botteghi, Martina Brasini, Patrizio Frosini, Nicola Quercioli:
  On the finite representation of linear group equivariant operators via permutant measures. Ann. Math. Artif. Intell. 91(4): 465-487 (2023)
• 
  Antonio Candelieri, Andrea Ponti, Ilaria Giordani, Francesco Archetti:
  On the use of Wasserstein distance in the distributional analysis of human decision making under uncertainty. Ann. Math. Artif. Intell. 91(2-3): 217-238 (2023)
• 
  Daniel C. Cohen, Michael Farber, Shmuel Weinberger:
  Correction to: Parametrized topological complexity of collision‑free motion planning in the plane. Ann. Math. Artif. Intell. 91(1): 105-106 (2023)
• 
  Jiaojie Du, Yalan Wen, Ling Wang, Pinggai Zhang, Minrui Fei, Panos M. Pardalos:
  An adaptive human learning optimization with enhanced exploration-exploitation balance. Ann. Math. Artif. Intell. 91(2-3): 177-216 (2023)
• 
  Suhendry Effendy, Roland H. C. Yap:
  Real-time passenger bus routing problems with preferences and tradeoffs. Ann. Math. Artif. Intell. 91(2-3): 287-307 (2023)
• 
  Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla:
  Probabilistic causal bipolar abstract argumentation: an approach based on credal networks. Ann. Math. Artif. Intell. 91(4): 517-536 (2023)
• 
  Renyan Feng, Yisong Wang, Ren Qian, Lei Yang, Panfeng Chen:
  Knowledge forgetting in propositional μ-calculus. Ann. Math. Artif. Intell. 91(1): 1-43 (2023)
• 
  Maurizio Giordano, Lucia Maddalena, Mario Manzo, Mario Rosario Guarracino:
  Adversarial attacks on graph-level embedding methods: a case study. Ann. Math. Artif. Intell. 91(2-3): 259-285 (2023)
• 
  Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge:
  On the complexity of rational verification. Ann. Math. Artif. Intell. 91(4): 409-430 (2023)
• 
  Chaoming Hu, Shaojun Lu, Min Kong, Xinbao Liu, Panos M. Pardalos:
  Parallel machine scheduling with linearly increasing energy consumption cost. Ann. Math. Artif. Intell. 91(2-3): 239-258 (2023)
• 
  Ilias S. Kotsireas, Panos M. Pardalos, Dimitris E. Simos:
  Preface: Selected revised papers from the LION 15 conference. Ann. Math. Artif. Intell. 91(2-3): 107-108 (2023)
• 
  Alexander Y. Krylatov, Anastasiya Raevskaya, Petr Ageev:
  Optimization strategies for the bilevel network design problem with affine cost functions. Ann. Math. Artif. Intell. 91(2-3): 329-347 (2023)
• 
  Shaowen Lan, Wenjuan Fan, Shanlin Yang, Panos M. Pardalos:
  Physician scheduling problem in Mobile Cabin Hospitals of China during Covid-19 outbreak. Ann. Math. Artif. Intell. 91(2-3): 349-372 (2023)
• 
  Bastien Maubert, Aniello Murano, Sasha Rubin:
  Logical aspects of multi-agent systems. Ann. Math. Artif. Intell. 91(4): 373-374 (2023)
• 
  Hossein Moosaei, Milan Hladík:
  A lagrangian-based approach for universum twin bounded support vector machine with its applications. Ann. Math. Artif. Intell. 91(2-3): 109-131 (2023)
• 
  Mikhail Moshkov:
  Time and space complexity of deterministic and nondeterministic decision trees. Ann. Math. Artif. Intell. 91(1): 45-74 (2023)
• 
  Benjamin Sauk, Nikolaos V. Sahinidis:
  Hyperparameter autotuning of programs with HybridTuner. Ann. Math. Artif. Intell. 91(2-3): 133-151 (2023)
• 
  Julian Schulte, Volker Nissen:
  Sensitivity analysis of combinatorial optimization problems using evolutionary bilevel optimization and data mining. Ann. Math. Artif. Intell. 91(2-3): 309-328 (2023)
• 
  Marian Fernández de Sevilla, J. Rafael Magdalena Benedito, Sonia Pérez-Díaz:
  Design and implementation of symbolic algorithms for the computation of generalized asymptotes. Ann. Math. Artif. Intell. 91(4): 537-561 (2023)
• 
  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. Ann. Math. Artif. Intell. 91(2-3): 153-175 (2023)
• 
  Zuojun Xiong, Thomas Ågotnes:
  The logic of secrets and the interpolation rule. Ann. Math. Artif. Intell. 91(4): 375-407 (2023)
• 2022
• 
  Mehwish Alam, Tanya Braun, Dominik Endres, Bruno Yun:
  Special issue on conceptual structures. Ann. Math. Artif. Intell. 90(11-12): 1079-1082 (2022)
• 
  María Alpuente, Santiago Escobar, José Meseguer, Julia Sapiña:
  Order-sorted equational generalization algorithm revisited. Ann. Math. Artif. Intell. 90(5): 499-522 (2022)
• 
  Carlos Ansótegui, Josep Pon, Meinolf Sellmann:
  Boosting evolutionary algorithm configuration. Ann. Math. Artif. Intell. 90(7-9): 715-734 (2022)
• 
  Christian Antic:
  Analogical proportions. Ann. Math. Artif. Intell. 90(6): 595-644 (2022)
• 
  Theofanis I. Aravanis, Pavlos Peppas:
  Theory-relational belief revision. Ann. Math. Artif. Intell. 90(6): 573-594 (2022)
• 
  Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev:
  About the unification type of $\mathbf {K}+\square \square \bot $. Ann. Math. Artif. Intell. 90(5): 481-497 (2022)

skipping 1,452 more matches