Annals of Mathematics and Artificial Intelligence

Article	Citations
The Universal Approximation Property	41
A robust multiobjective model for the integrated berth and quay crane scheduling problem at seaside container terminals	17
A survey on the applications of variable neighborhood search algorithm in healthcare management	14
An integrated bi-objective U-shaped assembly line balancing and parts feeding problem: optimization model and exact solution method	12
Topological measurement of deep neural networks using persistent homology	12
Nonmonotonic reasoning from conditional knowledge bases with system W	11
Logic programming in tensor spaces	8
Chunking and cooperation in particle swarm optimization for feature selection	8
Two-phase Matheuristic for the vehicle routing problem with reverse cross-docking	7
Query answering DL-lite knowledge bases from hidden datasets	7
A lagrangian-based approach for universum twin bounded support vector machine with its applications	6
kNN Classification: a review	6
Analogical proportions	6
Interpreting rate-distortion of variational autoencoder and using model uncertainty for anomaly detection	6
On generalization in moment-based domain adaptation	6
General information spaces: measuring inconsistency, rationality postulates, and complexity	6
Multiple-source adaptation theory and algorithms – addendum	6
Multiple-source adaptation theory and algorithms	5
RAMP algorithms for the capacitated facility location problem	5
Parametrized topological complexity of collision-free motion planning in the plane	5
Near-term advances in quantum natural language processing	5
Classifier-based constraint acquisition	5
Order-sorted equational generalization algorithm revisited	5
On the benefits of knowledge compilation for feature-model analyses	4
Learning machiavellian strategies for manipulation in Stackelberg security games	4

Cost-location aware heuristic algorithm for hybrid SDN deployment	4
An exploration of combinatorial testing-based approaches to fault localization for explainable AI	4
Agents and Digital Twins for the engineering of Cyber-Physical Systems: opportunities, and challenges	4
A dual RAMP algorithm for single source capacitated facility location problems	4
Evolutionary game analysis on government subsidy policy and bank loan strategy in China’s distributed photovoltaic market	4
Least squares approach to K-SVCR multi-class classification with its applications	4
Adversarial attacks on graph-level embedding methods: a case study	4
Learning from obstructions: An effective deep learning approach for minimum vertex cover	4
Neural networks in Fréchet spaces	4
On Shapley value interpretability in concept-based learning with formal concept analysis	3
Evolution of Gaussian Process kernels for machine translation post-editing effort estimation	3
Bounds on depth of decision trees derived from decision rule systems with discrete attributes	3
Hypergeometric structures in Feynman integrals	3
Knowledge cores in large formal contexts	3
Ranking kinematics for revising by contextual information	3
Integrated inventory and production policy for manufacturing with perishable raw materials	3
Valid attacks in argumentation frameworks with recursive attacks	3
Towards a geometry deductive database prover	3
Learning with cone-based geometric models and orthologics	3
Road networks structure analysis: A preliminary network science-based approach	3
Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings	3
Coherent lower and upper conditional previsions defined by Hausdorff inner and outer measures to represent the role of conscious and unconscious thought in human decision making	3
Joint desirability foundations of social choice and opinion pooling	3
On the antiderivatives of xp/(1 − x) with an application to optimize loss functions for classification with neural networks	3
Breaking the curse of dimensionality: hierarchical Bayesian network model for multi-view clustering	3
Heuristic search for one-to-many shortest path queries	3
On the finite representation of linear group equivariant operators via permutant measures	3
Boosting evolutionary algorithm configuration	3
MADTwin: a framework for multi-agent digital twin development: smart warehouse case study	2
Efficient implicit Lagrangian twin parametric insensitive support vector regression via unconstrained minimization problems	2
An adaptive human learning optimization with enhanced exploration–exploitation balance	2
Parameterised complexity of model checking and satisfiability in propositional dependence logic	2
Column generation for the equilibrium route-flow traffic assignment problem	2
On hedonic games with common ranking property	2
Theory-relational belief revision	2
Two parameter-tuned multi-objective evolutionary-based algorithms for zoning management in marine spatial planning	2
Making model checking feasible for GOAL	2
Gaussoids are two-antecedental approximations of Gaussian conditional independence structures	2
On the universal approximation property of radial basis function neural networks	2
Logic program proportions	2
A semiotic perspective on polysemy	2
Real-time passenger bus routing problems with preferences and tradeoffs	2
Conformal Predictive Distribution Trees	2
Automated programming, symbolic computation, machine learning: my personal view	2
Digital continuity of rotations in the 2D regular grids	2
Investigating the impact of calibration on the quality of explanations	2
A hybrid simulated annealing and variable neighborhood search algorithm for the close-open electric vehicle routing problem	2
To raise or not to raise: the autonomous learning rate question	2
On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics	2
Automated discovery of angle theorems	2

Knowledge forgetting in propositional μ-calculus	2
Integrating domain and constraint privacy reasoning in the distributed stochastic algorithm with breakouts	1
Altruism in coalition formation games	1
Constraint-based learning for non-parametric continuous bayesian networks	1
Deductive belief change	1
Alternating DCA for reduced-rank multitask linear regression with covariance matrix estimation	1
Optimal training for adversarial games	1
A study on the predictive strength of fractal dimension of white and grey matter on MRI images in Alzheimer’s disease	1
A program to create new geometry proof problems	1
Time and space complexity of deterministic and nondeterministic decision trees	1
On the lengths of tree-like and Dag-like cutting plane refutations of Horn constraint systems	1
Selecting a subset of diverse points based on the squared euclidean distance	1
Commitment-based negotiation semantics for accountability in multi-agent systems	1
On those Boolean functions that are coset leaders of first order Reed-Muller codes	1
A dual-population search differential evolution algorithm for functional distributed constraint optimization problems	1
Design and implementation of symbolic algorithms for the computation of generalized asymptotes	1
Automated triangle constructions in hyperbolic geometry	1
Automatic error function learning with interpretable compositional networks	1
Lexicographically maximal edges of dual hypergraphs and Nash-solvability of tight game forms	1
About the unification type of $\mathbf {K}+\square \square \bot $	1
On the use of Wasserstein distance in the distributional analysis of human decision making under uncertainty	1
A metaheuristic for inferring a ranking model based on multiple reference profiles	1
Classes of linear programs solvable by coordinate-wise minimization	1
Chance constrained conic-segmentation support vector machine with uncertain data	1
Parameter tuning of continuous Hopfield network applied to combinatorial optimization	1
An adaptive model for human syllogistic reasoning	1
Functions-as-constructors higher-order unification: extended pattern unification	1
Indepth combinatorial analysis of admissible sets for abstract argumentation	1
A Bayesian reinforcement learning approach in markov games for computing near-optimal policies	1
Galois theory for analogical classifiers	1
Apportioned margin approach for cost sensitive large margin classifiers	1
Learning preference representations based on Choquet integrals for multicriteria decision making	1
An extended knowledge compilation map for conditional preference statements-based and generalized additive utilities-based languages	1
Realtime gray-box algorithm configuration using cost-sensitive classification	1
ISAIM-2022: international symposium on artificial intelligence and mathematics	1
Structured argumentation dynamics	1
Irreducible bin packing and normality in routing open shop	1
A data-driven approach to neural architecture search initialization	0
Correction to: Gaussoids are two-antecedental approximations of Gaussian conditional independence structures	0
Hedonic Expertise Games	0
The logic of secrets and the interpolation rule	0
Lattice point of view for argumentation framework	0
A study of universal morphological analysis using morpheme-based, holistic, and neural approaches under various data size conditions	0
Learning from masked analogies between sentences at multiple levels of formality	0
A knowledge compilation perspective on queries and transformations for belief tracking	0
Diversity, dependence and independence	0
Correction to: Preface: Selected revised papers from the LION 15 conference	0
Data driven design for online industrial auctions	0
Single MCMC chain parallelisation on decision trees	0
Automated non-monotonic reasoning in System P	0
Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention	0
Preface	0
Foreword	0
Online learning of variable ordering heuristics for constraint optimisation problems	0
Schema mapping coverage	0
Query answering in circumscribed OWL2 profiles	0
Preface selected revised papers from the LION 14 conference	0
A combinatorial technique for generation of digital plane using GCD	0
Physician scheduling problem in Mobile Cabin Hospitals of China during Covid-19 outbreak	0
Signifiers for conveying and exploiting affordances: from human-computer interaction to multi-agent systems	0
Multi-resolution continuous normalizing flows	0
Theoretical aspects of robust SVM optimization in Banach spaces and Nash equilibrium interpretation	0
Path planning algorithm for mobile robots based on clustering-obstacles and quintic trigonometric Bézier curve	0
Optimization strategies for the bilevel network design problem with affine cost functions	0
Quantifying the relationship between software design principles and performance in Jason: a case study with simulated mobile robots	0
Preface	0
Families of multi-level Legendre-like arrays	0
Practical investment with the long-short game	0
Correction to: Directed Lovász Local Lemma and Shearer’s Lemma	0
A category theory approach to the semiotics of machine learning	0
Logical aspects of multi-agent systems	0
Analogical proportions in monounary algebras	0
Best-effort adaptation	0
A novel deep learning approach for one-step conformal prediction approximation	0
On matrices and K-relations	0
A Novel Method for Solving Universum Twin Bounded Support Vector Machine in the Primal Space	0
Neighborhood density information in clustering	0
Tumato 2.0 - a constraint-based planning approach for safe and robust robot behavior	0
Data-driven algorithm selection and tuning in optimization and signal processing	0
Tetrahedral tile pasting systems	0

Socially conscious stability for tiered coalition formation games	0
Local critical analysis of inequalities related to the sum of distances between n points on the unit hemisphere for $$n=4,5$$	0
An abstract view on optimizations in propositional frameworks	0
Solving morphological analogies: from retrieval to generation	0
Theory and algorithms for learning with rejection in binary classification	0
Conformal test martingales for hypergraphical models	0
Deep data density estimation through Donsker-Varadhan representation	0
Formalization of geometry, automated and interactive geometric reasoning	0
Minimising inequality in multiagent resource allocation	0
Sensitivity analysis of combinatorial optimization problems using evolutionary bilevel optimization and data mining	0
Uncertain reasoning	0
A new definition for feature selection stability analysis	0
Integrating optimized item selection with active learning for continuous exploration in recommender systems	0
Critical Properties and Complexity Measures of Read-Once Boolean Functions	0
Cost-aware sequential diagnostics	0
Stability of accuracy for the training of DNNs via the uniform doubling condition	0
Tractable representations for Boolean functional synthesis	0
Hyperparameter autotuning of programs with HybridTuner	0
Knowledge compilation	0
Default consequence relations from topology and measure theory	0
Sequential composition of propositional logic programs	0
Calibration methods in imbalanced binary classification	0
A faster implementation of EQ and SE queries for switch-list representations	0
Raising awareness without disclosing truth	0
Modelling a chain of command in the incident command system using sequential characteristic function games	0
An algorithmic debugging approach for belief-desire-intention agents	0
Correction to: Preface	0
Introduction to the special issue: selected papers from EMAS 2022	0
Probabilistic causal bipolar abstract argumentation: an approach based on credal networks	0
Multi-trainer binary feedback interactive reinforcement learning	0
Optimizing doubly stochastic matrices for average consensus through swarm and evolutionary algorithms	0
Special issue on conceptual structures	0
Novel SVM-based classification approaches for evaluating pancreatic carcinoma	0
Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells	0
Bayesian optimization over the probability simplex	0
Controlling weighted voting games by deleting or adding players with or without changing the quota	0
Clustering, coding, and the concept of similarity	0
Clique detection with a given reliability	0
An improvement of Random Node Generator for the uniform generation of capacities	0
Combinatorial and geometric problems in imaging sciences	0
Weighted and Choquet $$L^p$$ distance representation of comparative dissimilarity relations on fuzzy description profiles	0
Coalition formation games – preface	0
Automated generation of illustrated proofs in geometry and beyond	0
The undecidability of proof search when equality is a logical connective	0
Correction to: Parametrized topological complexity of collision‑free motion planning in the plane	0
Parallel machine scheduling with linearly increasing energy consumption cost	0
Guest editorial: Revised selected papers from the LION 13 conference	0
Complexity of shift bribery for iterative voting rules	0
Learning tractable NAT-modeled Bayesian networks	0
VC-dimensions of nondeterministic finite automata for words of equal length	0
A framework for the generation of complex scenario instances in the Urban Transit Routing Problem	0
Preface	0
On pruning techniques in map-reduce style CbO algorithms	0
An improved multi-task least squares twin support vector machine	0
Exploration and exploitation analysis for the sonar inspired optimization algorithm	0
A novel method for solving universum twin bounded support vector machine in the primal space	0
Preface: Selected revised papers from the LION 15 conference	0
Correction to: The logic of secrets and the interpolation rule	0
Search algorithms for automated negotiation in large domains	0
Costly information providing in binary contests	0
Domain independent heuristics for online stochastic contingent planning	0
RAMP experiments in solving the uncapacitated facility location problem	0
Modeling and shadowing paraconsistent BDI agents	0
(DRAFT) personalized choice prediction with less user information	0
Anomaly detection with superexperts under delayed feedback	0
Improving parity games in practice	0
Mechanical certification of FOLID cyclic proofs	0
Correction: Personalized choice prediction with less user information	0
Preface	0
On the complexity of rational verification	0
Advances in preference handling: foreword	0
Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas	0
Computing triadic generators and association rules from triadic contexts	0
Collective combinatorial optimisation as judgment aggregation	0
Common equivalence and size of forgetting from Horn formulae	0
Time-penalised trees (TpT): introducing a new tree-based data mining algorithm for time-varying covariates	0
Parallel homological calculus for 3D binary digital images	0