Annals of Mathematics and Artificial Intelligence

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

Bounds on depth of decision trees derived from decision rule systems with discrete attributes	4
Preface special issue on agents and robots for reliable engineered autonomy (AREA 2023)	4
Parallel homological calculus for 3D binary digital images	4
Special issue on conceptual structures	4
A program to create new geometry proof problems	3
A novel deep learning approach for one-step conformal prediction approximation	3
An improved multi-task least squares twin support vector machine	3
Theoretical aspects of robust SVM optimization in Banach spaces and Nash equilibrium interpretation	3
Knowledge cores in large formal contexts	3
A hybrid simulated annealing and variable neighborhood search algorithm for the close-open electric vehicle routing problem	3
Logic program proportions	3
The future starts now	3
Sequential composition of propositional logic programs	3
Costly information providing in binary contests	3
A faster implementation of EQ and SE queries for switch-list representations	3
Modeling and shadowing paraconsistent BDI agents	3
Modelling a chain of command in the incident command system using sequential characteristic function games	3
Hedonic Expertise Games	3
Analogical proportions	3
On automated completion of geometry statements and proofs with GeoGebra Discovery	3
A Bayesian reinforcement learning approach in markov games for computing near-optimal policies	3
Multi-resolution continuous normalizing flows	3
Probabilistic causal bipolar abstract argumentation: an approach based on credal networks	2
Physician scheduling problem in Mobile Cabin Hospitals of China during Covid-19 outbreak	2
Hypergeometric structures in Feynman integrals	2
Learning with cone-based geometric models and orthologics	2
Near-term advances in quantum natural language processing	2
Weighted and Choquet $$L^p$$ distance representation of comparative dissimilarity relations on fuzzy description profiles	2
Knowledge forgetting in propositional μ-calculus	2
Using causal discovery and pattern mining methods for group-specific policy-making: An agent-based model analysis method	2
Preface: Selected revised papers from the LION 15 conference	2
kNN Classification: a review	2
Adversarial attacks on graph-level embedding methods: a case study	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
35 years of math and AI	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
A formal approach to attack graphs	2
Parameter tuning of continuous Hopfield network applied to combinatorial optimization	2
Formalization of geometry, automated and interactive geometric reasoning	2
Correction to: Preface: Selected revised papers from the LION 15 conference	2
Domain independent heuristics for online stochastic contingent planning	2
On the universal approximation property of radial basis function neural networks	2
Integrating optimized item selection with active learning for continuous exploration in recommender systems	1
A combinatorial technique for generation of digital plane using GCD	1
On Shapley value interpretability in concept-based learning with formal concept analysis	1
Realtime gray-box algorithm configuration using cost-sensitive classification	1
Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells	1
ISAIM-2022: international symposium on artificial intelligence and mathematics	1

Collective combinatorial optimisation as judgment aggregation	1
Uncertain reasoning	1
Neural networks in Fréchet spaces	1
Correction to: Gaussoids are two-antecedental approximations of Gaussian conditional independence structures	1
On the finite representation of linear group equivariant operators via permutant measures	1
Towards a geometry deductive database prover	1
RAMP experiments in solving the uncapacitated facility location problem	1
Signifiers for conveying and exploiting affordances: from human-computer interaction to multi-agent systems	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
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
Lattice point of view for argumentation framework	1
Personalized choice prediction with less user information	1
Single MCMC chain parallelisation on decision trees	1
A semiotic perspective on polysemy	1
On domain generators for the evaluation of action reversibility in STRIPS	1
A novel intrusion detection framework using ensemble learning in MQTT IoT applications	1
Socially conscious stability for tiered coalition formation games	1
Real-time passenger bus routing problems with preferences and tradeoffs	1
Conformal Predictive Distribution Trees	1
Analysis and optimization of probabilities of beneficial mutation and crossover recombination in a Hamming space	1
Energy disaggregation via Bayesian non-negative matrix factorization with sum-to-k constraint	1
Hyperparameter autotuning of programs with HybridTuner	1
Preface	1
Nonmonotonic reasoning from conditional knowledge bases with system W	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
Theory and algorithms for learning with rejection in binary classification	0
Common equivalence and size of forgetting from Horn formulae	0
Novel SVM-based classification approaches for evaluating pancreatic carcinoma	0
Decentralized federated multi-view sparse subspace clustering	0
On the use of Wasserstein distance in the distributional analysis of human decision making under uncertainty	0
MADTwin: a framework for multi-agent digital twin development: smart warehouse case study	0
Preface	0
On pruning techniques in map-reduce style CbO algorithms	0
Tractable representations for Boolean functional synthesis	0
Lexicographically maximal edges of dual hypergraphs and Nash-solvability of tight game forms	0
On the complexity of rational verification	0
A data-driven approach to neural architecture search initialization	0
IncV3-BLSTM: a multi-label inceptionV3-BLSTM model for predicting potential side effects of COVID-19 drugs	0
Multi-trainer binary feedback interactive reinforcement learning	0
Raising awareness without disclosing truth	0
Learning preference representations based on Choquet integrals for multicriteria decision making	0
Calibration methods in imbalanced binary classification	0
About the unification type of $\mathbf {K}+\square \square \bot $	0
Parallel machine scheduling with linearly increasing energy consumption cost	0
On the lengths of tree-like and Dag-like cutting plane refutations of Horn constraint systems	0
Default consequence relations from topology and measure theory	0
Towards automated proving in solid geometry	0
Improving angular speed uniformity of rational parameterization using piecewise radical reparameterization	0
Heuristic strategies for geometry theorem extension based on complex number identity*	0
Conformal test martingales for hypergraphical models	0
The logic of secrets and the interpolation rule	0
A lagrangian-based approach for universum twin bounded support vector machine with its applications	0
Correction to: Parametrized topological complexity of collision‑free motion planning in the plane	0
Search algorithms for automated negotiation in large domains	0
Preface selected revised papers from the LION 14 conference	0
Heuristic search for one-to-many shortest path queries	0
Tetrahedral tile pasting systems	0
Type-based computation of knowledge graph statistics	0
A knowledge compilation perspective on queries and transformations for belief tracking	0
Answer set programming for pattern generation in logical analysis of data	0
Logic programming in tensor spaces	0
Foreword	0
Sensitivity analysis of combinatorial optimization problems using evolutionary bilevel optimization and data mining	0
Families of multi-level Legendre-like arrays	0
Automated discovery of angle theorems	0
Best-effort adaptation	0
A study on the predictive strength of fractal dimension of white and grey matter on MRI images in Alzheimer’s disease	0
Minimising inequality in multiagent resource allocation	0
Query answering in circumscribed OWL2 profiles	0
A metaheuristic for inferring a ranking model based on multiple reference profiles	0
Learning machiavellian strategies for manipulation in Stackelberg security games	0
A new definition for feature selection stability analysis	0
Mechanical certification of FOLID cyclic proofs	0
Investigating the impact of calibration on the quality of explanations	0
Computing triadic generators and association rules from triadic contexts	0
Multiple-source adaptation theory and algorithms – addendum	0

Solving morphological analogies: from retrieval to generation	0
Advances in preference handling: foreword	0
Design of optimal quasi-developable surface via simulated annealing based shape-parameter-search algorithm	0
Time-penalised trees (TpT): introducing a new tree-based data mining algorithm for time-varying covariates	0
An abstract view on optimizations in propositional frameworks	0
An adaptive human learning optimization with enhanced exploration–exploitation balance	0
Automated generation of illustrated proofs in geometry and beyond	0
Clique detection with a given reliability	0
A category theory approach to the semiotics of machine learning	0
Formalization of gyrovector spaces as models of hyperbolic geometry and special relativity	0
Tumato 2.0 - a constraint-based planning approach for safe and robust robot behavior	0
Functions-as-constructors higher-order unification: extended pattern unification	0
Online learning of variable ordering heuristics for constraint optimisation problems	0
Clustering, coding, and the concept of similarity	0
VC-dimensions of nondeterministic finite automata for words of equal length	0
Quantifying the relationship between software design principles and performance in Jason: a case study with simulated mobile robots	0
Time and space complexity of deterministic and nondeterministic decision trees	0
Foreword: special issue on formalisation of geometry, automated and interactive geometric reasoning	0
Gaussoids are two-antecedental approximations of Gaussian conditional independence structures	0
Making model checking feasible for GOAL	0
Two parameter-tuned multi-objective evolutionary-based algorithms for zoning management in marine spatial planning	0
Apportioned margin approach for cost sensitive large margin classifiers	0
Preface to the special issue on analogies: from mathematical foundations to applications and interactions with ML and AI	0
Parametrized topological complexity of collision-free motion planning in the plane	0
Chance constrained conic-segmentation support vector machine with uncertain data	0
Knowledge compilation	0
Encoding paths with binary arrays in a king’s graph for error-free data transmission	0
Bayesian optimization over the probability simplex	0
Automated programming, symbolic computation, machine learning: my personal view	0
Road networks structure analysis: A preliminary network science-based approach	0
Theory-relational belief revision	0
Practical investment with the long-short game	0
Introduction to the special issue: selected papers from EMAS 2022	0
Automated analysis of the difficulty of secondary school geometry theorems	0
Anomaly detection with superexperts under delayed feedback	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: Preface	0
Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings	0
An exploration of combinatorial testing-based approaches to fault localization for explainable AI	0
On those Boolean functions that are coset leaders of first order Reed-Muller codes	0
On the antiderivatives of xp/(1 − x) with an application to optimize loss functions for classification with neural networks	0
Coalition formation games – preface	0
Galois theory for analogical classifiers	0
A novel method for solving universum twin bounded support vector machine in the primal space	0
Readable automated proofs of ruler and compass constructions	0
Deductive belief change	0
Reasoning with system W and infeasible worlds	0
Altruism in coalition formation games	0
Filters-based revision	0
Cost-aware sequential diagnostics	0
Design and implementation of symbolic algorithms for the computation of generalized asymptotes	0
Can’t you answer while you wait?	0
Commitment-based negotiation semantics for accountability in multi-agent systems	0
Controlling weighted voting games by deleting or adding players with or without changing the quota	0
Order-sorted equational generalization algorithm revisited	0
Data science meets optimization II	0
Automation of triangle straightedge-and-compass constructions using automated planning	0
Selecting a subset of diverse points based on the squared euclidean distance	0
A framework for the generation of complex scenario instances in the Urban Transit Routing Problem	0
Indepth combinatorial analysis of admissible sets for abstract argumentation	0