default search action
Annals of Mathematics and Artificial Intelligence, Volume 90
Volume 90, Number 1, January 2022
- Lev Reyzin
:
Foreword. 1-2 - K. Subramani
Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas. 3-29 - Julien Vion
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
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
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
On matrices and K-relations. 181-210 - Pietro Galliani
Diversity, dependence and independence. 211-233 - John Grant, Francesco Parisi
General information spaces: measuring inconsistency, rationality postulates, and complexity. 235-269 - Yasir Mahmood
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
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
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
Preface. 453-454 - Tomer Libal
Functions-as-constructors higher-order unification: extended pattern unification. 455-479 - Philippe Balbiani
About the unification type of $\mathbf {K}+\square \square \bot $. 481-497 - María Alpuente
Order-sorted equational generalization algorithm revisited. 499-522 - Dale Miller
The undecidability of proof search when equality is a logical connective. 523-535
Volume 90, Number 6, June 2022
- Tom Hanika
Knowledge cores in large formal contexts. 537-567 - Judy Hoffman
Multiple-source adaptation theory and algorithms - addendum. 569-572 - Theofanis I. Aravanis
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
Boosting evolutionary algorithm configuration. 715-734 - Seonho Park
Interpreting rate-distortion of variational autoencoder and using model uncertainty for anomaly detection. 735-752 - Xing Zhu, Baoyu Liao
Evolutionary game analysis on government subsidy policy and bank loan strategy in China's distributed photovoltaic market. 753-776 - Tomás Dlask
Classes of linear programs solvable by coordinate-wise minimization. 777-807 - Hoai An Le Thi
Alternating DCA for reduced-rank multitask linear regression with covariance matrix estimation. 809-829 - Abtin Nourmohammadzadeh
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
Least squares approach to K-SVCR multi-class classification with its applications. 873-892 - Malek Sarhani
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
An exploration of combinatorial testing-based approaches to fault localization for explainable AI. 951-964 - Anton V. Eremeev
Selecting a subset of diverse points based on the squared euclidean distance. 965-977
Volume 90, Number 10, October 2022
- Piotr Wojciechowski
On the lengths of tree-like and Dag-like cutting plane refutations of Horn constraint systems. 979-998 - Daniel C. Cohen
Parametrized topological complexity of collision-free motion planning in the plane. 999-1015 - Cynthia Maushagen, Marc Neveling, Jörg Rothe
Complexity of shift bribery for iterative voting rules. 1017-1054 - Meifeng Shi, Xin Liao
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
Computing triadic generators and association rules from triadic contexts. 1083-1105 - Jan Konecny
On pruning techniques in map-reduce style CbO algorithms. 1107-1124 - Uta Priss
A semiotic perspective on polysemy. 1125-1138 - Cosmina Croitoru
Indepth combinatorial analysis of admissible sets for abstract argumentation. 1139-1158 - Mena Leemhuis
Learning with cone-based geometric models and orthologics. 1159-1195 - Dmitry I. Ignatov
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 2024-12-13 19:01 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: