Annals of Mathematics and Artificial Intelligence

Article	Citations
Logical aspects of multi-agent systems	29
Optimization strategies for the bilevel network design problem with affine cost functions	27
Combinatorial and geometric problems in imaging sciences	12
Analogical proportions in monounary algebras	12
Learning from obstructions: An effective deep learning approach for minimum vertex cover	11
Automatic error function learning with interpretable compositional networks	10
Correction: Personalized choice prediction with less user information	9
Digital continuity of rotations in the 2D regular grids	8
An algorithmic debugging approach for belief-desire-intention agents	8
Irreducible bin packing and normality in routing open shop	8
An XAI-based meta-parameter tuning for time-series forecasting	7
Diversity, dependence and independence	6
Preface	6
A Novel Method for Solving Universum Twin Bounded Support Vector Machine in the Primal Space	6
A study of universal morphological analysis using morpheme-based, holistic, and neural approaches under various data size conditions	6
A dual-population search differential evolution algorithm for functional distributed constraint optimization problems	6
Guest editorial: Revised selected papers from the LION 16 conference	6
Agents and Digital Twins for the engineering of Cyber-Physical Systems: opportunities, and challenges	6
On the benefits of knowledge compilation for feature-model analyses	6
Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention	5
Approximate integrity constraints in incomplete databases with limited domains	5
Parallel homological calculus for 3D binary digital images	5
Stability of accuracy for the training of DNNs via the uniform doubling condition	5
Bounds on depth of decision trees derived from decision rule systems with discrete attributes	5
An improvement of Random Node Generator for the uniform generation of capacities	5

Automated triangle constructions in hyperbolic geometry	5
Hedonic Expertise Games	4
Analogical proportions	4
Sequential composition of propositional logic programs	4
A novel deep learning approach for one-step conformal prediction approximation	4
A program to create new geometry proof problems	4
Modelling a chain of command in the incident command system using sequential characteristic function games	4
Special issue on conceptual structures	4
Logic program proportions	4
On automated completion of geometry statements and proofs with GeoGebra Discovery	4
A hybrid simulated annealing and variable neighborhood search algorithm for the close-open electric vehicle routing problem	3
An improved multi-task least squares twin support vector machine	3
Costly information providing in binary contests	3
Ranking kinematics for revising by contextual information	3
A faster implementation of EQ and SE queries for switch-list representations	3
Theoretical aspects of robust SVM optimization in Banach spaces and Nash equilibrium interpretation	3
The future starts now	3
A Bayesian reinforcement learning approach in markov games for computing near-optimal policies	3
Knowledge forgetting in propositional μ-calculus	2
RAMP algorithms for the capacitated facility location problem	2
Correction to: Preface: Selected revised papers from the LION 15 conference	2
Learning with cone-based geometric models and orthologics	2
Learning tractable NAT-modeled Bayesian networks	2
Knowledge cores in large formal contexts	2
Multi-resolution continuous normalizing flows	2
Deep data density estimation through Donsker-Varadhan representation	2
Path planning algorithm for mobile robots based on clustering-obstacles and quintic trigonometric Bézier curve	2
Domain independent heuristics for online stochastic contingent planning	2
Two-phase Matheuristic for the vehicle routing problem with reverse cross-docking	2
Exploration and exploitation analysis for the sonar inspired optimization algorithm	2
Formalization of geometry, automated and interactive geometric reasoning	2
Near-term advances in quantum natural language processing	2
Modeling and shadowing paraconsistent BDI agents	2
A robust multiobjective model for the integrated berth and quay crane scheduling problem at seaside container terminals	2
kNN Classification: a review	2
A formal approach to attack graphs	2
Preface: Selected revised papers from the LION 15 conference	2
On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics	2
Weighted and Choquet $$L^p$$ distance representation of comparative dissimilarity relations on fuzzy description profiles	2
Physician scheduling problem in Mobile Cabin Hospitals of China during Covid-19 outbreak	2
Adversarial attacks on graph-level embedding methods: a case study	2
Parameter tuning of continuous Hopfield network applied to combinatorial optimization	2
A dual RAMP algorithm for single source capacitated facility location problems	2
Hypergeometric structures in Feynman integrals	2
Cost-location aware heuristic algorithm for hybrid SDN deployment	2
A multi-algorithm pathfinding method: Exploiting performance variations for enhanced efficiency	2
Optimizing doubly stochastic matrices for average consensus through swarm and evolutionary algorithms	2
Probabilistic causal bipolar abstract argumentation: an approach based on credal networks	1
Towards a geometry deductive database prover	1
RAMP experiments in solving the uncapacitated facility location problem	1

Correction to: Gaussoids are two-antecedental approximations of Gaussian conditional independence structures	1
Boosting evolutionary algorithm configuration	1
Hyperparameter autotuning of programs with HybridTuner	1
Real-time passenger bus routing problems with preferences and tradeoffs	1
Preface	1
Nonmonotonic reasoning from conditional knowledge bases with system W	1
Constraint-based learning for non-parametric continuous bayesian networks	1
A semiotic perspective on polysemy	1
Complexity of shift bribery for iterative voting rules	1
Neural networks in Fréchet spaces	1
ISAIM-2022: international symposium on artificial intelligence and mathematics	1
Neighborhood density information in clustering	1
Uncertain reasoning	1
On the universal approximation property of radial basis function neural networks	1
Lattice point of view for argumentation framework	1
Evolution of Gaussian Process kernels for machine translation post-editing effort estimation	1
A combinatorial technique for generation of digital plane using GCD	1
On the finite representation of linear group equivariant operators via permutant measures	1
An extended knowledge compilation map for conditional preference statements-based and generalized additive utilities-based languages	1
To raise or not to raise: the autonomous learning rate question	1
Single MCMC chain parallelisation on decision trees	1
Collective combinatorial optimisation as judgment aggregation	1
Energy disaggregation via Bayesian non-negative matrix factorization with sum-to-k constraint	1
On matrices and K-relations	1
Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells	1
Learning from masked analogies between sentences at multiple levels of formality	1
35 years of math and AI	1
Conformal Predictive Distribution Trees	1
Personalized choice prediction with less user information	1
MADTwin: a framework for multi-agent digital twin development: smart warehouse case study	0
Type-based computation of knowledge graph statistics	0
Advances in preference handling: foreword	0
Foreword	0
Automation of triangle straightedge-and-compass constructions using automated planning	0
An adaptive human learning optimization with enhanced exploration–exploitation balance	0
Indepth combinatorial analysis of admissible sets for abstract argumentation	0
A novel method for solving universum twin bounded support vector machine in the primal space	0
Common equivalence and size of forgetting from Horn formulae	0
Theory-relational belief revision	0
Computing triadic generators and association rules from triadic contexts	0
Introduction to the special issue: selected papers from EMAS 2022	0
Local critical analysis of inequalities related to the sum of distances between n points on the unit hemisphere for $$n=4,5$$	0
Tumato 2.0 - a constraint-based planning approach for safe and robust robot behavior	0
Galois theory for analogical classifiers	0
Anomaly detection with superexperts under delayed feedback	0
Controlling weighted voting games by deleting or adding players with or without changing the quota	0
A lagrangian-based approach for universum twin bounded support vector machine with its applications	0
On Shapley value interpretability in concept-based learning with formal concept analysis	0
Design of optimal quasi-developable surface via simulated annealing based shape-parameter-search algorithm	0
Can’t you answer while you wait?	0
Preface	0
Realtime gray-box algorithm configuration using cost-sensitive classification	0
On the antiderivatives of xp/(1 − x) with an application to optimize loss functions for classification with neural networks	0
Time-penalised trees (TpT): introducing a new tree-based data mining algorithm for time-varying covariates	0
Theory and algorithms for learning with rejection in binary classification	0
Preface selected revised papers from the LION 14 conference	0
On domain generators for the evaluation of action reversibility in STRIPS	0
Altruism in coalition formation games	0
On the lengths of tree-like and Dag-like cutting plane refutations of Horn constraint systems	0
Tractable representations for Boolean functional synthesis	0
Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas	0
A study on the predictive strength of fractal dimension of white and grey matter on MRI images in Alzheimer’s disease	0
Quantifying the relationship between software design principles and performance in Jason: a case study with simulated mobile robots	0
Coalition formation games – preface	0
On the use of Wasserstein distance in the distributional analysis of human decision making under uncertainty	0
Correction to: Parametrized topological complexity of collision‑free motion planning in the plane	0
Evolutionary game analysis on government subsidy policy and bank loan strategy in China’s distributed photovoltaic market	0
Selecting a subset of diverse points based on the squared euclidean distance	0
Correction to: Preface	0
Mechanical certification of FOLID cyclic proofs	0
Calibration methods in imbalanced binary classification	0
Topological measurement of deep neural networks using persistent homology	0
Two parameter-tuned multi-objective evolutionary-based algorithms for zoning management in marine spatial planning	0
Tetrahedral tile pasting systems	0
About the unification type of $\mathbf {K}+\square \square \bot $	0
Search algorithms for automated negotiation in large domains	0
Conformal test martingales for hypergraphical models	0
Chance constrained conic-segmentation support vector machine with uncertain data	0
Decentralized federated multi-view sparse subspace clustering	0
Formalization of gyrovector spaces as models of hyperbolic geometry and special relativity	0

Best-effort adaptation	0
On pruning techniques in map-reduce style CbO algorithms	0
Cost-aware sequential diagnostics	0
Least squares approach to K-SVCR multi-class classification with its applications	0
Investigating the impact of calibration on the quality of explanations	0
On those Boolean functions that are coset leaders of first order Reed-Muller codes	0
On hedonic games with common ranking property	0
Lexicographically maximal edges of dual hypergraphs and Nash-solvability of tight game forms	0
A data-driven approach to neural architecture search initialization	0
VC-dimensions of nondeterministic finite automata for words of equal length	0
Socially conscious stability for tiered coalition formation games	0
The logic of secrets and the interpolation rule	0
Automated discovery of angle theorems	0
Learning machiavellian strategies for manipulation in Stackelberg security games	0
Integrating optimized item selection with active learning for continuous exploration in recommender systems	0
Parallel machine scheduling with linearly increasing energy consumption cost	0
Clique detection with a given reliability	0
An exploration of combinatorial testing-based approaches to fault localization for explainable AI	0
An abstract view on optimizations in propositional frameworks	0
A framework for the generation of complex scenario instances in the Urban Transit Routing Problem	0
Readable automated proofs of ruler and compass constructions	0
On the complexity of rational verification	0
Bayesian optimization over the probability simplex	0
Default consequence relations from topology and measure theory	0
Order-sorted equational generalization algorithm revisited	0
Raising awareness without disclosing truth	0
Query answering in circumscribed OWL2 profiles	0
Apportioned margin approach for cost sensitive large margin classifiers	0
Novel SVM-based classification approaches for evaluating pancreatic carcinoma	0
Preface to the special issue on analogies: from mathematical foundations to applications and interactions with ML and AI	0
Multi-trainer binary feedback interactive reinforcement learning	0
Automated programming, symbolic computation, machine learning: my personal view	0
Clustering, coding, and the concept of similarity	0
The undecidability of proof search when equality is a logical connective	0
Making model checking feasible for GOAL	0
Heuristic search for one-to-many shortest path queries	0
Families of multi-level Legendre-like arrays	0
Towards automated proving in solid geometry	0
A metaheuristic for inferring a ranking model based on multiple reference profiles	0
Minimising inequality in multiagent resource allocation	0
Online learning of variable ordering heuristics for constraint optimisation problems	0
Time and space complexity of deterministic and nondeterministic decision trees	0
Answer set programming for pattern generation in logical analysis of data	0
Deductive belief change	0
Structured argumentation dynamics	0
A new definition for feature selection stability analysis	0
Filters-based revision	0
Correction to: The logic of secrets and the interpolation rule	0
Design and implementation of symbolic algorithms for the computation of generalized asymptotes	0
Parametrized topological complexity of collision-free motion planning in the plane	0
Solving morphological analogies: from retrieval to generation	0
Signifiers for conveying and exploiting affordances: from human-computer interaction to multi-agent systems	0
Logic programming in tensor spaces	0
Multiple-source adaptation theory and algorithms – addendum	0
A knowledge compilation perspective on queries and transformations for belief tracking	0
IncV3-BLSTM: a multi-label inceptionV3-BLSTM model for predicting potential side effects of COVID-19 drugs	0
Guest editorial: Revised selected papers from the LION 13 conference	0
Automated generation of illustrated proofs in geometry and beyond	0
Learning preference representations based on Choquet integrals for multicriteria decision making	0
Data science meets optimization II	0
Chunking and cooperation in particle swarm optimization for feature selection	0
Sensitivity analysis of combinatorial optimization problems using evolutionary bilevel optimization and data mining	0
Improving angular speed uniformity of rational parameterization using piecewise radical reparameterization	0
Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings	0
Functions-as-constructors higher-order unification: extended pattern unification	0
Knowledge compilation	0
A category theory approach to the semiotics of machine learning	0
Breaking the curse of dimensionality: hierarchical Bayesian network model for multi-view clustering	0
Practical investment with the long-short game	0
Commitment-based negotiation semantics for accountability in multi-agent systems	0
Road networks structure analysis: A preliminary network science-based approach	0
Gaussoids are two-antecedental approximations of Gaussian conditional independence structures	0