default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Mathematics and Artificial Intelligence, Volume 90
Volume 90, Number 1, January 2022
- Lev Reyzin
:
Foreword. 1-2 - K. Subramani, Piotr Wojciechowski:
Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas. 3-29 - Julien Vion, René Mandiau, Sylvain Piechowiak, Marius Silaghi:
Integrating domain and constraint privacy reasoning in the distributed stochastic algorithm with breakouts. 31-73 - Satoru Watanabe, Hayato Yamana:
Topological measurement of deep neural networks using persistent homology. 75-92 - Bjørn Kjos-Hanssen, Clyde James Felix, Sun Young Kim, Ethan Lamb, Davin Takahashi:
VC-dimensions of nondeterministic finite automata for words of equal length. 93-105 - Christian Komo, Christoph Beierle:
Nonmonotonic reasoning from conditional knowledge bases with system W. 107-144
Volume 90, Number 2-3, March 2022
- Andreas Herzig, Juha Kontinen:
Preface. 145-147 - Christoph Beierle, Jonas Haldimann:
Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings. 149-179 - Robert Brijder, Marc Gyssens, Jan Van den Bussche:
On matrices and K-relations. 181-210 - Pietro Galliani, Jouko Väänänen:
Diversity, dependence and independence. 211-233 - John Grant, Francesco Parisi:
General information spaces: measuring inconsistency, rationality postulates, and complexity. 235-269 - Yasir Mahmood, Arne Meier:
Parameterised complexity of model checking and satisfiability in propositional dependence logic. 271-296 - Stipe Pandzic:
Structured argumentation dynamics. 297-337
Volume 90, Number 4, April 2022
- Sebastian Schneckenburger, Britta Dorn, Ulle Endriss:
Minimising inequality in multiagent resource allocation. 339-371 - Julio B. Clempner:
Learning machiavellian strategies for manipulation in Stackelberg security games. 373-395 - Costas D. Koutras, Konstantinos Liaskos, Christos Moyzes, Christos Nomikos, Christos Rantsoudis:
Default consequence relations from topology and measure theory. 397-424 - Andreas Knoblauch:
On the antiderivatives of xp/(1 - x) with an application to optimize loss functions for classification with neural networks. 425-452
Volume 90, Number 5, May 2022
- Temur Kutsia, Andrew M. Marshall:
Preface. 453-454 - Tomer Libal, Dale Miller:
Functions-as-constructors higher-order unification: extended pattern unification. 455-479 - Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev:
About the unification type of $\mathbf {K}+\square \square \bot $. 481-497 - María Alpuente, Santiago Escobar, José Meseguer, Julia Sapiña:
Order-sorted equational generalization algorithm revisited. 499-522 - Dale Miller, Alexandre Viel:
The undecidability of proof search when equality is a logical connective. 523-535
Volume 90, Number 6, June 2022
- Tom Hanika, Johannes Hirth:
Knowledge cores in large formal contexts. 537-567 - Judy Hoffman, Mehryar Mohri, Ningshan Zhang:
Multiple-source adaptation theory and algorithms - addendum. 569-572 - Theofanis I. Aravanis, Pavlos Peppas:
Theory-relational belief revision. 573-594 - Christian Antic:
Analogical proportions. 595-644 - Tobias Boege:
Gaussoids are two-antecedental approximations of Gaussian conditional independence structures. 645-673 - Tobias Boege:
Correction to: Gaussoids are two-antecedental approximations of Gaussian conditional independence structures. 675-676
Volume 90, Number 7-9, September 2022
- Ilias S. Kotsireas, Panos M. Pardalos:
Preface selected revised papers from the LION 14 conference. 677 - Ömer Faruk Yilmaz:
An integrated bi-objective U-shaped assembly line balancing and parts feeding problem: optimization model and exact solution method. 679-696 - Alexander Y. Krylatov:
Column generation for the equilibrium route-flow traffic assignment problem. 697-713 - Carlos Ansótegui, Josep Pon, Meinolf Sellmann:
Boosting evolutionary algorithm configuration. 715-734 - Seonho Park, George Adosoglou, Panos M. Pardalos:
Interpreting rate-distortion of variational autoencoder and using model uncertainty for anomaly detection. 735-752 - Xing Zhu, Baoyu Liao, Shanlin Yang, Panos M. Pardalos:
Evolutionary game analysis on government subsidy policy and bank loan strategy in China's distributed photovoltaic market. 753-776 - Tomás Dlask, Tomás Werner:
Classes of linear programs solvable by coordinate-wise minimization. 777-807 - Hoai An Le Thi, Vinh Thanh Ho:
Alternating DCA for reduced-rank multitask linear regression with covariance matrix estimation. 809-829 - Abtin Nourmohammadzadeh, Stefan Voß:
A robust multiobjective model for the integrated berth and quay crane scheduling problem at seaside container terminals. 831-853 - Mujahid N. Syed:
Neighborhood density information in clustering. 855-872 - Hossein Moosaei, Milan Hladík:
Least squares approach to K-SVCR multi-class classification with its applications. 873-892 - Malek Sarhani, Stefan Voß:
Chunking and cooperation in particle swarm optimization for feature selection. 893-913 - Aldy Gunawan, Audrey Tedja Widjaja, Pieter Vansteenwegen, Vincent F. Yu:
Two-phase Matheuristic for the vehicle routing problem with reverse cross-docking. 915-949 - Ludwig Kampel, Dimitris E. Simos, D. Richard Kuhn, Raghu N. Kacker:
An exploration of combinatorial testing-based approaches to fault localization for explainable AI. 951-964 - Anton V. Eremeev, Alexander V. Kel'manov, Mikhail Y. Kovalyov, Artem V. Pyatkin:
Selecting a subset of diverse points based on the squared euclidean distance. 965-977
Volume 90, Number 10, October 2022
- Piotr Wojciechowski, K. Subramani:
On the lengths of tree-like and Dag-like cutting plane refutations of Horn constraint systems. 979-998 - Daniel C. Cohen, Michael Farber, Shmuel Weinberger:
Parametrized topological complexity of collision-free motion planning in the plane. 999-1015 - Cynthia Maushagen, Marc Neveling, Jörg Rothe, Ann-Kathrin Selker:
Complexity of shift bribery for iterative voting rules. 1017-1054 - Meifeng Shi, Xin Liao, Yuan Chen:
A dual-population search differential evolution algorithm for functional distributed constraint optimization problems. 1055-1078
Volume 90, Number 11-12, December 2022
- Mehwish Alam, Tanya Braun, Dominik Endres, Bruno Yun:
Special issue on conceptual structures. 1079-1082 - Rokia Missaoui, Pedro H. B. Ruas, Léonard Kwuida, Mark A. J. Song, Mohamed Hamza Ibrahim:
Computing triadic generators and association rules from triadic contexts. 1083-1105 - Jan Konecny, Petr Krajca:
On pruning techniques in map-reduce style CbO algorithms. 1107-1124 - Uta Priss:
A semiotic perspective on polysemy. 1125-1138 - Cosmina Croitoru, Madalina Croitoru:
Indepth combinatorial analysis of admissible sets for abstract argumentation. 1139-1158 - Mena Leemhuis, Özgür L. Özçep, Diedrich Wolter:
Learning with cone-based geometric models and orthologics. 1159-1195 - Dmitry I. Ignatov, Léonard Kwuida:
On Shapley value interpretability in concept-based learning with formal concept analysis. 1197-1222
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-12-14 23:10 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:
