Annals of Mathematics and Artificial Intelligence

Article	Citations
The Universal Approximation Property	37
Human-in-the-loop active learning via brain computer interface	12
Multivariate time series analysis from a Bayesian machine learning perspective	12
A survey on the applications of variable neighborhood search algorithm in healthcare management	11
A robust multiobjective model for the integrated berth and quay crane scheduling problem at seaside container terminals	11
Topological measurement of deep neural networks using persistent homology	9
Black-box combinatorial optimization using models with integer-valued minima	7
Chunking and cooperation in particle swarm optimization for feature selection	7
Instance space analysis for a personnel scheduling problem	7
Multiple-source adaptation theory and algorithms – addendum	7
Nonmonotonic reasoning from conditional knowledge bases with system W	7
An integrated bi-objective U-shaped assembly line balancing and parts feeding problem: optimization model and exact solution method	6
NSLPCD: Topic based tweets clustering using Node significance based label propagation community detection algorithm	6
Logic programming in tensor spaces	6
On a hypergraph probabilistic graphical model	6
What do you really want to do? Towards a Theory of Intentions for Human-Robot Collaboration	6
On generalization in moment-based domain adaptation	6
Query answering DL-lite knowledge bases from hidden datasets	5
Digitized rotations of 12 neighbors on the triangular grid	5
A lagrangian-based approach for universum twin bounded support vector machine with its applications	5
Evolutionary game analysis on government subsidy policy and bank loan strategy in China’s distributed photovoltaic market	5
RAMP algorithms for the capacitated facility location problem	5
Analogical proportions	5
Classifier-based constraint acquisition	4
Characterization Of sampling patterns for low-tt-rank tensor retrieval	4

Adversarial attacks on graph-level embedding methods: a case study	4
Multiple-source adaptation theory and algorithms	4
Two-phase Matheuristic for the vehicle routing problem with reverse cross-docking	4
Learning machiavellian strategies for manipulation in Stackelberg security games	4
Cost-location aware heuristic algorithm for hybrid SDN deployment	4
Parametrized topological complexity of collision-free motion planning in the plane	4
Interpreting rate-distortion of variational autoencoder and using model uncertainty for anomaly detection	4
A dual RAMP algorithm for single source capacitated facility location problems	4
Order-sorted equational generalization algorithm revisited	4
Valid attacks in argumentation frameworks with recursive attacks	3
Classifying the valence of autobiographical memories from fMRI data	3
Knowledge cores in large formal contexts	3
Heuristic search for one-to-many shortest path queries	3
On the finite representation of linear group equivariant operators via permutant measures	3
LogAG: An algebraic non-monotonic logic for reasoning with graded propositions	3
Evolution of Gaussian Process kernels for machine translation post-editing effort estimation	3
Derivation and analysis of parallel-in-time neural ordinary differential equations	3
Learning from obstructions: An effective deep learning approach for minimum vertex cover	3
Neural networks in Fréchet spaces	3
Integrated inventory and production policy for manufacturing with perishable raw materials	3
On the antiderivatives of xp/(1 − x) with an application to optimize loss functions for classification with neural networks	3
Least squares approach to K-SVCR multi-class classification with its applications	3
General information spaces: measuring inconsistency, rationality postulates, and complexity	3
Learning non-convex abstract concepts with regulated activation networks	3
Boosting evolutionary algorithm configuration	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
On Shapley value interpretability in concept-based learning with formal concept analysis	2
On integer closure in a system of unit two variable per inequality constraints	2
On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics	2
Lexicographically maximal edges of dual hypergraphs and Nash-solvability of tight game forms	2
Agents and Digital Twins for the engineering of Cyber-Physical Systems: opportunities, and challenges	2
Breaking the curse of dimensionality: hierarchical Bayesian network model for multi-view clustering	2
To raise or not to raise: the autonomous learning rate question	2
Logic program proportions	2
Column generation for the equilibrium route-flow traffic assignment problem	2
Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings	2
Real-time passenger bus routing problems with preferences and tradeoffs	2
Joint desirability foundations of social choice and opinion pooling	2
Towards a geometry deductive database prover	2
MADTwin: a framework for multi-agent digital twin development: smart warehouse case study	2
Learning with cone-based geometric models and orthologics	2
A semiotic perspective on polysemy	2
Ranking kinematics for revising by contextual information	2
On the use of Wasserstein distance in the distributional analysis of human decision making under uncertainty	2
Automated discovery of angle theorems	2
Theory-relational belief revision	2
On the benefits of knowledge compilation for feature-model analyses	2
Making model checking feasible for GOAL	2
Investigating the impact of calibration on the quality of explanations	2
Parameterised complexity of model checking and satisfiability in propositional dependence logic	2

Generalized feature similarity measure	2
Road networks structure analysis: A preliminary network science-based approach	1
Automated triangle constructions in hyperbolic geometry	1
Multiple k −opt evaluation multiple k −opt moves with GPU high performance local search to large-scale traveling salesman problems	1
Real-time solving of computationally hard problems using optimal algorithm portfolios	1
Classes of linear programs solvable by coordinate-wise minimization	1
Chance constrained conic-segmentation support vector machine with uncertain data	1
Time and space complexity of deterministic and nondeterministic decision trees	1
Commitment-based negotiation semantics for accountability in multi-agent systems	1
Irreducible bin packing and normality in routing open shop	1
On hedonic games with common ranking property	1
An adaptive model for human syllogistic reasoning	1
Efficient implicit Lagrangian twin parametric insensitive support vector regression via unconstrained minimization problems	1
Constraint-based learning for non-parametric continuous bayesian networks	1
Alternating DCA for reduced-rank multitask linear regression with covariance matrix estimation	1
Indepth combinatorial analysis of admissible sets for abstract argumentation	1
Automatic error function learning with interpretable compositional networks	1
Optimal training for adversarial games	1
A program to create new geometry proof problems	1
Two parameter-tuned multi-objective evolutionary-based algorithms for zoning management in marine spatial planning	1
Mutual conditional independence and its applications to model selection in Markov networks	1
Digital continuity of rotations in the 2D regular grids	1
Gaussoids are two-antecedental approximations of Gaussian conditional independence structures	1
On those Boolean functions that are coset leaders of first order Reed-Muller codes	1
Conformal Predictive Distribution Trees	1
A Bayesian reinforcement learning approach in markov games for computing near-optimal policies	1
Design and implementation of symbolic algorithms for the computation of generalized asymptotes	1
An adaptive human learning optimization with enhanced exploration–exploitation balance	1
Deductive belief change	1
Approximate kernel partial least squares	1
Selecting a subset of diverse points based on the squared euclidean distance	1
A hybrid simulated annealing and variable neighborhood search algorithm for the close-open electric vehicle routing problem	1
Automated programming, symbolic computation, machine learning: my personal view	1
kNN Classification: a review	1
Hypergeometric structures in Feynman integrals	1
Integrating domain and constraint privacy reasoning in the distributed stochastic algorithm with breakouts	1
An exploration of combinatorial testing-based approaches to fault localization for explainable AI	1
Categorical study for algebras of Fitting’s lattice-valued logic and lattice-valued modal logic	1
Knowledge forgetting in propositional μ-calculus	1
Preface	0
Minimising inequality in multiagent resource allocation	0
On the universal approximation property of radial basis function neural networks	0
Foreword	0
Personalized choice prediction with less user information	0
Schema mapping coverage	0
Modelling a chain of command in the incident command system using sequential characteristic function games	0
Foreword to special issue for ISAIM 2018	0
A combinatorial technique for generation of digital plane using GCD	0
Families of multi-level Legendre-like arrays	0
Realtime gray-box algorithm configuration using cost-sensitive classification	0
Modeling and shadowing paraconsistent BDI agents	0
Lattice point of view for argumentation framework	0
Functions-as-constructors higher-order unification: extended pattern unification	0
Correction to: The logic of secrets and the interpolation rule	0
Mechanical certification of FOLID cyclic proofs	0
Analogical proportions in monounary algebras	0
Path planning algorithm for mobile robots based on clustering-obstacles and quintic trigonometric Bézier curve	0
Computing triadic generators and association rules from triadic contexts	0
Quantifying the relationship between software design principles and performance in Jason: a case study with simulated mobile robots	0
Novel SVM-based classification approaches for evaluating pancreatic carcinoma	0
Physician scheduling problem in Mobile Cabin Hospitals of China during Covid-19 outbreak	0
Probabilistic causal bipolar abstract argumentation: an approach based on credal networks	0
A dual-population search differential evolution algorithm for functional distributed constraint optimization problems	0
On biased random walks, corrupted intervals, and learning under adversarial design	0
A novel method for solving universum twin bounded support vector machine in the primal space	0
Tetrahedral tile pasting systems	0
Neighborhood density information in clustering	0
An improvement of Random Node Generator for the uniform generation of capacities	0
About the unification type of $\mathbf {K}+\square \square \bot $	0
Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention	0
Apportioned margin approach for cost sensitive large margin classifiers	0
A metaheuristic for inferring a ranking model based on multiple reference profiles	0
Learning tractable NAT-modeled Bayesian networks	0
A knowledge compilation perspective on queries and transformations for belief tracking	0
A framework for the generation of complex scenario instances in the Urban Transit Routing Problem	0
Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells	0
Automated non-monotonic reasoning in System P	0
Bounds on depth of decision trees derived from decision rule systems with discrete attributes	0
A novel deep learning approach for one-step conformal prediction approximation	0
Preface	0

Leveraging cluster backbones for improving MAP inference in statistical relational models	0
VC-dimensions of nondeterministic finite automata for words of equal length	0
Hedonic Expertise Games	0
Critical Properties and Complexity Measures of Read-Once Boolean Functions	0
Correction: Personalized choice prediction with less user information	0
A category theory approach to the semiotics of machine learning	0
Sequential composition of propositional logic programs	0
Preface selected revised papers from the LION 14 conference	0
A faster implementation of EQ and SE queries for switch-list representations	0
Raising awareness without disclosing truth	0
Optimization strategies for the bilevel network design problem with affine cost functions	0
Formalization of geometry, automated and interactive geometric reasoning	0
Correction to: Preface	0
Anomaly detection with superexperts under delayed feedback	0
On the lengths of tree-like and Dag-like cutting plane refutations of Horn constraint systems	0
An algorithmic debugging approach for belief-desire-intention agents	0
Theoretical aspects of robust SVM optimization in Banach spaces and Nash equilibrium interpretation	0
Correction to: LogAG: An algebraic non-monotonic logic for reasoning with graded propositions	0
Improving parity games in practice	0
Parameter tuning of continuous Hopfield network applied to combinatorial optimization	0
Preface: Selected revised papers from the LION 15 conference	0
On the complexity of rational verification	0
Controlling weighted voting games by deleting or adding players with or without changing the quota	0
A Novel Method for Solving Universum Twin Bounded Support Vector Machine in the Primal Space	0
Bayesian optimization over the probability simplex	0
A new definition for feature selection stability analysis	0
On matrices and K-relations	0
Clique detection with a given reliability	0
Local critical analysis of inequalities related to the sum of distances between n points on the unit hemisphere for $$n=4,5$$	0
Correction to: Directed Lovász Local Lemma and Shearer’s Lemma	0
Weighted and Choquet $$L^p$$ distance representation of comparative dissimilarity relations on fuzzy description profiles	0
Online learning of variable ordering heuristics for constraint optimisation problems	0
Theory and algorithms for learning with rejection in binary classification	0
Single MCMC chain parallelisation on decision trees	0
Correction to: Gaussoids are two-antecedental approximations of Gaussian conditional independence structures	0
Cognition and Neurocomputation	0
Parallel machine scheduling with linearly increasing energy consumption cost	0
Preface	0
An abstract view on optimizations in propositional frameworks	0
Correction to: Parametrized topological complexity of collision‑free motion planning in the plane	0
Data driven design for online industrial auctions	0
RAMP experiments in solving the uncapacitated facility location problem	0
Diversity, dependence and independence	0
Uncertain reasoning	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
Combinatorial and geometric problems in imaging sciences	0
Galois theory for analogical classifiers	0
Tractable representations for Boolean functional synthesis	0
Cost-aware sequential diagnostics	0
Collective combinatorial optimisation as judgment aggregation	0
Default consequence relations from topology and measure theory	0
Socially conscious stability for tiered coalition formation games	0
Correction to: Preface: Selected revised papers from the LION 15 conference	0
Preface	0
Stability of accuracy for the training of DNNs via the uniform doubling condition	0
Special issue on conceptual structures	0
Learning from masked analogies between sentences at multiple levels of formality	0
A study on the predictive strength of fractal dimension of white and grey matter on MRI images in Alzheimer’s disease	0
Preface	0
Practical investment with the long-short game	0
Search algorithms for automated negotiation in large domains	0
Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas	0
Logical aspects of multi-agent systems	0
Data-driven algorithm selection and tuning in optimization and signal processing	0
ISAIM-2022: international symposium on artificial intelligence and mathematics	0
Query answering in circumscribed OWL2 profiles	0
Altruism in coalition formation games	0
A data-driven approach to neural architecture search initialization	0
Automated generation of illustrated proofs in geometry and beyond	0
Guest editorial: Revised selected papers from the LION 13 conference	0
Best-effort adaptation	0
Hyperparameter autotuning of programs with HybridTuner	0
The logic of secrets and the interpolation rule	0
Sensitivity analysis of combinatorial optimization problems using evolutionary bilevel optimization and data mining	0
The undecidability of proof search when equality is a logical connective	0
Structured argumentation dynamics	0
Parallel homological calculus for 3D binary digital images	0
Learning preference representations based on Choquet integrals for multicriteria decision making	0
Complexity of shift bribery for iterative voting rules	0