Annals of Mathematics and Artificial Intelligence

Article	Citations
Logical aspects of multi-agent systems	39
Optimization strategies for the bilevel network design problem with affine cost functions	14
Analogical proportions in monounary algebras	12
Combinatorial and geometric problems in imaging sciences	10
Digital continuity of rotations in the 2D regular grids	8
Correction: Personalized choice prediction with less user information	8
Automatic error function learning with interpretable compositional networks	8
Learning from obstructions: An effective deep learning approach for minimum vertex cover	8
An XAI-based meta-parameter tuning for time-series forecasting	7
An algorithmic debugging approach for belief-desire-intention agents	7
A Novel Method for Solving Universum Twin Bounded Support Vector Machine in the Primal Space	7
Diversity, dependence and independence	6
A study of universal morphological analysis using morpheme-based, holistic, and neural approaches under various data size conditions	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
Preface	5
A dual-population search differential evolution algorithm for functional distributed constraint optimization problems	5
Generalization-based similarity	5
Preface	5
On the benefits of knowledge compilation for feature-model analyses	5
Automated triangle constructions in hyperbolic geometry	5
An improvement of Random Node Generator for the uniform generation of capacities	4
Parallel homological calculus for 3D binary digital images	4
Preface special issue on agents and robots for reliable engineered autonomy (AREA 2023)	4
Bounds on depth of decision trees derived from decision rule systems with discrete attributes	4

Approximate integrity constraints in incomplete databases with limited domains	4
Special issue on conceptual structures	4
Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention	4
Stability of accuracy for the training of DNNs via the uniform doubling condition	4
The future starts now	3
A novel deep learning approach for one-step conformal prediction approximation	3
Theoretical aspects of robust SVM optimization in Banach spaces and Nash equilibrium interpretation	3
Modeling and shadowing paraconsistent BDI agents	3
A faster implementation of EQ and SE queries for switch-list representations	3
Logic program proportions	3
Sequential composition of propositional logic programs	3
A program to create new geometry proof problems	3
A hybrid simulated annealing and variable neighborhood search algorithm for the close-open electric vehicle routing problem	3
Near-term advances in quantum natural language processing	3
On automated completion of geometry statements and proofs with GeoGebra Discovery	3
Knowledge cores in large formal contexts	3
Analogical proportions	3
Modelling a chain of command in the incident command system using sequential characteristic function games	3
An improved multi-task least squares twin support vector machine	3
A Bayesian reinforcement learning approach in markov games for computing near-optimal policies	3
Multi-resolution continuous normalizing flows	3
Costly information providing in binary contests	3
Hedonic Expertise Games	3
Hypergeometric structures in Feynman integrals	2
Correction to: Preface: Selected revised papers from the LION 15 conference	2
Learning with cone-based geometric models and orthologics	2
Domain independent heuristics for online stochastic contingent planning	2
Physician scheduling problem in Mobile Cabin Hospitals of China during Covid-19 outbreak	2
On the universal approximation property of radial basis function neural networks	2
A formal approach to attack graphs	2
Parameter tuning of continuous Hopfield network applied to combinatorial optimization	2
Adversarial attacks on graph-level embedding methods: a case study	2
Weighted and Choquet $$L^p$$ distance representation of comparative dissimilarity relations on fuzzy description profiles	2
Optimizing doubly stochastic matrices for average consensus through swarm and evolutionary algorithms	2
A multi-algorithm pathfinding method: Exploiting performance variations for enhanced efficiency	2
35 years of math and AI	2
kNN Classification: a review	2
Formalization of geometry, automated and interactive geometric reasoning	2
Deep data density estimation through Donsker-Varadhan representation	2
Preface: Selected revised papers from the LION 15 conference	2
Path planning algorithm for mobile robots based on clustering-obstacles and quintic trigonometric Bézier curve	2
Using causal discovery and pattern mining methods for group-specific policy-making: An agent-based model analysis method	2
Knowledge forgetting in propositional μ-calculus	2
Real-time passenger bus routing problems with preferences and tradeoffs	1
Complexity of shift bribery for iterative voting rules	1
On hedonic games with common ranking property	1
Learning from masked analogies between sentences at multiple levels of formality	1
A novel intrusion detection framework using ensemble learning in MQTT IoT applications	1
Collective combinatorial optimisation as judgment aggregation	1
Neural networks in Fréchet spaces	1

Apportioned margin approach for cost sensitive large margin classifiers	1
A semiotic perspective on polysemy	1
Signifiers for conveying and exploiting affordances: from human-computer interaction to multi-agent systems	1
Probabilistic causal bipolar abstract argumentation: an approach based on credal networks	1
Correction to: The logic of secrets and the interpolation rule	1
Relative-interior solution for the (incomplete) linear assignment problem with applications to the quadratic assignment problem	1
Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells	1
Single MCMC chain parallelisation on decision trees	1
Energy disaggregation via Bayesian non-negative matrix factorization with sum-to-k constraint	1
Personalized choice prediction with less user information	1
Hyperparameter autotuning of programs with HybridTuner	1
An extended knowledge compilation map for conditional preference statements-based and generalized additive utilities-based languages	1
Nonmonotonic reasoning from conditional knowledge bases with system W	1
On domain generators for the evaluation of action reversibility in STRIPS	1
To raise or not to raise: the autonomous learning rate question	1
Socially conscious stability for tiered coalition formation games	1
Correction to: Gaussoids are two-antecedental approximations of Gaussian conditional independence structures	1
Integrating optimized item selection with active learning for continuous exploration in recommender systems	1
Conformal Predictive Distribution Trees	1
ISAIM-2022: international symposium on artificial intelligence and mathematics	1
Lattice point of view for argumentation framework	1
Preface	1
Analysis and optimization of probabilities of beneficial mutation and crossover recombination in a Hamming space	1
A combinatorial technique for generation of digital plane using GCD	1
Towards a geometry deductive database prover	1
On the finite representation of linear group equivariant operators via permutant measures	1
Realtime gray-box algorithm configuration using cost-sensitive classification	1
RAMP experiments in solving the uncapacitated facility location problem	1
On Shapley value interpretability in concept-based learning with formal concept analysis	1
On pruning techniques in map-reduce style CbO algorithms	0
Time and space complexity of deterministic and nondeterministic decision trees	0
A novel method for solving universum twin bounded support vector machine in the primal space	0
On the complexity of rational verification	0
Introduction to the special issue: selected papers from EMAS 2022	0
An adaptive human learning optimization with enhanced exploration–exploitation balance	0
Controlling weighted voting games by deleting or adding players with or without changing the quota	0
Learning machiavellian strategies for manipulation in Stackelberg security games	0
Anomaly detection with superexperts under delayed feedback	0
Cost-aware sequential diagnostics	0
Calibration methods in imbalanced binary classification	0
Parallel machine scheduling with linearly increasing energy consumption cost	0
Commitment-based negotiation semantics for accountability in multi-agent systems	0
Learning preference representations based on Choquet integrals for multicriteria decision making	0
Galois theory for analogical classifiers	0
Improving angular speed uniformity of rational parameterization using piecewise radical reparameterization	0
Foreword: special issue on formalisation of geometry, automated and interactive geometric reasoning	0
A new definition for feature selection stability analysis	0
Deductive belief change	0
The logic of secrets and the interpolation rule	0
A framework for the generation of complex scenario instances in the Urban Transit Routing Problem	0
Filters-based revision	0
Search algorithms for automated negotiation in large domains	0
Novel SVM-based classification approaches for evaluating pancreatic carcinoma	0
A knowledge compilation perspective on queries and transformations for belief tracking	0
Data science meets optimization II	0
Tetrahedral tile pasting systems	0
Sensitivity analysis of combinatorial optimization problems using evolutionary bilevel optimization and data mining	0
On the use of Wasserstein distance in the distributional analysis of human decision making under uncertainty	0
A data-driven approach to neural architecture search initialization	0
Correction to: Preface	0
Decentralized federated multi-view sparse subspace clustering	0
Selecting a subset of diverse points based on the squared euclidean distance	0
About the unification type of $\mathbf {K}+\square \square \bot $	0
Minimising inequality in multiagent resource allocation	0
Best-effort adaptation	0
Answer set programming for pattern generation in logical analysis of data	0
Automated programming, symbolic computation, machine learning: my personal view	0
Formalization of gyrovector spaces as models of hyperbolic geometry and special relativity	0
On the lengths of tree-like and Dag-like cutting plane refutations of Horn constraint systems	0
Lexicographically maximal edges of dual hypergraphs and Nash-solvability of tight game forms	0
Conformal test martingales for hypergraphical models	0
IncV3-BLSTM: a multi-label inceptionV3-BLSTM model for predicting potential side effects of COVID-19 drugs	0
Raising awareness without disclosing truth	0
Correction to: Parametrized topological complexity of collision‑free motion planning in the plane	0
Time-penalised trees (TpT): introducing a new tree-based data mining algorithm for time-varying covariates	0
Automated discovery of angle theorems	0
Automated generation of illustrated proofs in geometry and beyond	0
Gaussoids are two-antecedental approximations of Gaussian conditional independence structures	0
Multiple-source adaptation theory and algorithms – addendum	0
Default consequence relations from topology and measure theory	0

Tumato 2.0 - a constraint-based planning approach for safe and robust robot behavior	0
On those Boolean functions that are coset leaders of first order Reed-Muller codes	0
Functions-as-constructors higher-order unification: extended pattern unification	0
Clustering, coding, and the concept of similarity	0
Order-sorted equational generalization algorithm revisited	0
A lagrangian-based approach for universum twin bounded support vector machine with its applications	0
Design of optimal quasi-developable surface via simulated annealing based shape-parameter-search algorithm	0
MADTwin: a framework for multi-agent digital twin development: smart warehouse case study	0
Road networks structure analysis: A preliminary network science-based approach	0
An abstract view on optimizations in propositional frameworks	0
Bayesian optimization over the probability simplex	0
Making model checking feasible for GOAL	0
Type-based computation of knowledge graph statistics	0
Practical investment with the long-short game	0
Automated analysis of the difficulty of secondary school geometry theorems	0
Multi-trainer binary feedback interactive reinforcement learning	0
Indepth combinatorial analysis of admissible sets for abstract argumentation	0
Foreword	0
Theory-relational belief revision	0
A metaheuristic for inferring a ranking model based on multiple reference profiles	0
Parametrized topological complexity of collision-free motion planning in the plane	0
Local critical analysis of inequalities related to the sum of distances between n points on the unit hemisphere for $$n=4,5$$	0
Chance constrained conic-segmentation support vector machine with uncertain data	0
Reasoning with system W and infeasible worlds	0
Coalition formation games – preface	0
Preface	0
Mechanical certification of FOLID cyclic proofs	0
Heuristic search for one-to-many shortest path queries	0
Solving morphological analogies: from retrieval to generation	0
On the antiderivatives of xp/(1 − x) with an application to optimize loss functions for classification with neural networks	0
Quantifying the relationship between software design principles and performance in Jason: a case study with simulated mobile robots	0
Clique detection with a given reliability	0
Preface selected revised papers from the LION 14 conference	0
Readable automated proofs of ruler and compass constructions	0
Towards automated proving in solid geometry	0
Investigating the impact of calibration on the quality of explanations	0
A category theory approach to the semiotics of machine learning	0
Altruism in coalition formation games	0
An exploration of combinatorial testing-based approaches to fault localization for explainable AI	0
Heuristic strategies for geometry theorem extension based on complex number identity*	0
Design and implementation of symbolic algorithms for the computation of generalized asymptotes	0
Knowledge compilation	0
Can’t you answer while you wait?	0
Theory and algorithms for learning with rejection in binary classification	0
Preface to the special issue on analogies: from mathematical foundations to applications and interactions with ML and AI	0
A study on the predictive strength of fractal dimension of white and grey matter on MRI images in Alzheimer’s disease	0
Online learning of variable ordering heuristics for constraint optimisation problems	0
Computing triadic generators and association rules from triadic contexts	0
Automation of triangle straightedge-and-compass constructions using automated planning	0
Tractable representations for Boolean functional synthesis	0
Encoding paths with binary arrays in a king’s graph for error-free data transmission	0
Two parameter-tuned multi-objective evolutionary-based algorithms for zoning management in marine spatial planning	0
Advances in preference handling: foreword	0
Families of multi-level Legendre-like arrays	0
Common equivalence and size of forgetting from Horn formulae	0