Annals of Mathematics and Artificial Intelligence

Article	Citations
Probabilistic causal bipolar abstract argumentation: an approach based on credal networks	30
Logical aspects of multi-agent systems	26
Special issue on conceptual structures	12
The future starts now	12
Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings	11
Tractable representations for Boolean functional synthesis	10
35 years of math and AI	9
Hedonic Expertise Games	8
Time-penalised trees (TpT): introducing a new tree-based data mining algorithm for time-varying covariates	8
Practical investment with the long-short game	7
On the use of Wasserstein distance in the distributional analysis of human decision making under uncertainty	7
RAMP experiments in solving the uncapacitated facility location problem	6
Analogical proportions	6
An improved multi-task least squares twin support vector machine	6
On the complexity of rational verification	6
Logic program proportions	6
Classes of linear programs solvable by coordinate-wise minimization	5
Modelling a chain of command in the incident command system using sequential characteristic function games	5
Learning preference representations based on Choquet integrals for multicriteria decision making	5
A semiotic perspective on polysemy	5
A novel deep learning approach for one-step conformal prediction approximation	5
A program to create new geometry proof problems	5
Sequential composition of propositional logic programs	5
On automated completion of geometry statements and proofs with GeoGebra Discovery	5
Optimization strategies for the bilevel network design problem with affine cost functions	5

To raise or not to raise: the autonomous learning rate question	4
Coalition formation games – preface	4
Nonmonotonic reasoning from conditional knowledge bases with system W	4
Query answering in circumscribed OWL2 profiles	4
Signifiers for conveying and exploiting affordances: from human-computer interaction to multi-agent systems	4
Neighborhood density information in clustering	4
On the lengths of tree-like and Dag-like cutting plane refutations of Horn constraint systems	4
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	4
Socially conscious stability for tiered coalition formation games	4
Ranking kinematics for revising by contextual information	4
Boosting evolutionary algorithm configuration	3
Correction to: The logic of secrets and the interpolation rule	3
A hybrid simulated annealing and variable neighborhood search algorithm for the close-open electric vehicle routing problem	3
Guest editorial: Revised selected papers from the LION 13 conference	3
Neural networks in Fréchet spaces	3
On the finite representation of linear group equivariant operators via permutant measures	3
On the universal approximation property of radial basis function neural networks	3
Clique detection with a given reliability	3
Integrated inventory and production policy for manufacturing with perishable raw materials	3
Computing triadic generators and association rules from triadic contexts	3
On Shapley value interpretability in concept-based learning with formal concept analysis	3
Realtime gray-box algorithm configuration using cost-sensitive classification	3
Bayesian optimization over the probability simplex	3
A data-driven approach to neural architecture search initialization	2
Collective combinatorial optimisation as judgment aggregation	2
Personalized choice prediction with less user information	2
Integrating optimized item selection with active learning for continuous exploration in recommender systems	2
Theoretical aspects of robust SVM optimization in Banach spaces and Nash equilibrium interpretation	2
Controlling weighted voting games by deleting or adding players with or without changing the quota	2
A study on the predictive strength of fractal dimension of white and grey matter on MRI images in Alzheimer’s disease	2
Conformal test martingales for hypergraphical models	2
Costly information providing in binary contests	2
Knowledge cores in large formal contexts	2
About the unification type of $\mathbf {K}+\square \square \bot $	2
Multi-trainer binary feedback interactive reinforcement learning	2
Advances in preference handling: foreword	2
An adaptive human learning optimization with enhanced exploration–exploitation balance	2
Automatic error function learning with interpretable compositional networks	2
A Bayesian reinforcement learning approach in markov games for computing near-optimal policies	2
A framework for the generation of complex scenario instances in the Urban Transit Routing Problem	2
A faster implementation of EQ and SE queries for switch-list representations	2
Preface to the special issue on analogies: from mathematical foundations to applications and interactions with ML and AI	2
Novel SVM-based classification approaches for evaluating pancreatic carcinoma	2
Preface	2
Analogical proportions in monounary algebras	2
Knowledge compilation	2
Combinatorial and geometric problems in imaging sciences	2
On matrices and K-relations	2
Order-sorted equational generalization algorithm revisited	2
A combinatorial technique for generation of digital plane using GCD	2

Adversarial attacks on graph-level embedding methods: a case study	1
Modeling and shadowing paraconsistent BDI agents	1
Cost-aware sequential diagnostics	1
Evolutionary game analysis on government subsidy policy and bank loan strategy in China’s distributed photovoltaic market	1
Apportioned margin approach for cost sensitive large margin classifiers	1
Single MCMC chain parallelisation on decision trees	1
Multiple-source adaptation theory and algorithms – addendum	1
On domain generators for the evaluation of action reversibility in STRIPS	1
Formalization of geometry, automated and interactive geometric reasoning	1
Preface	1
Gaussoids are two-antecedental approximations of Gaussian conditional independence structures	1
Learning machiavellian strategies for manipulation in Stackelberg security games	1
Learning tractable NAT-modeled Bayesian networks	1
Near-term advances in quantum natural language processing	1
An algorithmic debugging approach for belief-desire-intention agents	1
Solving morphological analogies: from retrieval to generation	1
A novel method for solving universum twin bounded support vector machine in the primal space	1
Investigating the impact of calibration on the quality of explanations	1
Road networks structure analysis: A preliminary network science-based approach	1
Cost-location aware heuristic algorithm for hybrid SDN deployment	1
Lattice point of view for argumentation framework	1
Heuristic search for one-to-many shortest path queries	1
Online learning of variable ordering heuristics for constraint optimisation problems	1
Automated non-monotonic reasoning in System P	1
Irreducible bin packing and normality in routing open shop	1
Breaking the curse of dimensionality: hierarchical Bayesian network model for multi-view clustering	1
Uncertain reasoning	1
Hypergeometric structures in Feynman integrals	1
A robust multiobjective model for the integrated berth and quay crane scheduling problem at seaside container terminals	1
Sensitivity analysis of combinatorial optimization problems using evolutionary bilevel optimization and data mining	1
Learning from obstructions: An effective deep learning approach for minimum vertex cover	1
Correction to: Preface	1
Correction: Personalized choice prediction with less user information	1
Hyperparameter autotuning of programs with HybridTuner	1
Commitment-based negotiation semantics for accountability in multi-agent systems	1
Preface	1
Deep data density estimation through Donsker-Varadhan representation	0
On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics	0
Design of optimal quasi-developable surface via simulated annealing based shape-parameter-search algorithm	0
An XAI-based meta-parameter tuning for time-series forecasting	0
Real-time passenger bus routing problems with preferences and tradeoffs	0
Automated triangle constructions in hyperbolic geometry	0
Two-phase Matheuristic for the vehicle routing problem with reverse cross-docking	0
Families of multi-level Legendre-like arrays	0
Least squares approach to K-SVCR multi-class classification with its applications	0
MADTwin: a framework for multi-agent digital twin development: smart warehouse case study	0
Automated discovery of angle theorems	0
A metaheuristic for inferring a ranking model based on multiple reference profiles	0
Deductive belief change	0
Anomaly detection with superexperts under delayed feedback	0
Foreword	0
Correction to: 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
Two parameter-tuned multi-objective evolutionary-based algorithms for zoning management in marine spatial planning	0
Multi-resolution continuous normalizing flows	0
Joint desirability foundations of social choice and opinion pooling	0
Raising awareness without disclosing truth	0
Diversity, dependence and independence	0
A dual RAMP algorithm for single source capacitated facility location problems	0
On the antiderivatives of xp/(1 − x) with an application to optimize loss functions for classification with neural networks	0
Preface	0
Common equivalence and size of forgetting from Horn formulae	0
Topological measurement of deep neural networks using persistent homology	0
An adaptive model for human syllogistic reasoning	0
Domain independent heuristics for online stochastic contingent planning	0
On the benefits of knowledge compilation for feature-model analyses	0
An exploration of combinatorial testing-based approaches to fault localization for explainable AI	0
Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas	0
Tetrahedral tile pasting systems	0
Towards a geometry deductive database prover	0
A lagrangian-based approach for universum twin bounded support vector machine with its applications	0
Theory and algorithms for learning with rejection in binary classification	0
Best-effort adaptation	0
Automation of triangle straightedge-and-compass constructions using automated planning	0
Can’t you answer while you wait?	0
Functions-as-constructors higher-order unification: extended pattern unification	0
Clustering, coding, and the concept of similarity	0
Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells	0
Theory-relational belief revision	0
Readable automated proofs of ruler and compass constructions	0

Guest editorial: Revised selected papers from the LION 16 conference	0
On those Boolean functions that are coset leaders of first order Reed-Muller codes	0
Constraint-based learning for non-parametric continuous bayesian networks	0
Decentralized federated multi-view sparse subspace clustering	0
Integrating domain and constraint privacy reasoning in the distributed stochastic algorithm with breakouts	0
Making model checking feasible for GOAL	0
Automated programming, symbolic computation, machine learning: my personal view	0
Automated generation of illustrated proofs in geometry and beyond	0
An abstract view on optimizations in propositional frameworks	0
Learning from masked analogies between sentences at multiple levels of formality	0
RAMP algorithms for the capacitated facility location problem	0
Mechanical certification of FOLID cyclic proofs	0
Altruism in coalition formation games	0
A category theory approach to the semiotics of machine learning	0
Exploration and exploitation analysis for the sonar inspired optimization algorithm	0
Learning with cone-based geometric models and orthologics	0
Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention	0
Lexicographically maximal edges of dual hypergraphs and Nash-solvability of tight game forms	0
Chunking and cooperation in particle swarm optimization for feature selection	0
Structured argumentation dynamics	0
On hedonic games with common ranking property	0
Path planning algorithm for mobile robots based on clustering-obstacles and quintic trigonometric Bézier curve	0
Time and space complexity of deterministic and nondeterministic decision trees	0
Digital continuity of rotations in the 2D regular grids	0
Evolution of Gaussian Process kernels for machine translation post-editing effort estimation	0
Conformal Predictive Distribution Trees	0
Energy disaggregation via Bayesian non-negative matrix factorization with sum-to-k constraint	0
A multi-algorithm pathfinding method: Exploiting performance variations for enhanced efficiency	0
Indepth combinatorial analysis of admissible sets for abstract argumentation	0
Complexity of shift bribery for iterative voting rules	0
Agents and Digital Twins for the engineering of Cyber-Physical Systems: opportunities, and challenges	0
Parametrized topological complexity of collision-free motion planning in the plane	0
An improvement of Random Node Generator for the uniform generation of capacities	0
An extended knowledge compilation map for conditional preference statements-based and generalized additive utilities-based languages	0
ISAIM-2022: international symposium on artificial intelligence and mathematics	0
Filters-based revision	0
Approximate integrity constraints in incomplete databases with limited domains	0
A formal approach to attack graphs	0
A Novel Method for Solving Universum Twin Bounded Support Vector Machine in the Primal Space	0
Minimising inequality in multiagent resource allocation	0
Knowledge forgetting in propositional μ-calculus	0
Introduction to the special issue: selected papers from EMAS 2022	0
Improving angular speed uniformity of rational parameterization using piecewise radical reparameterization	0
Classifier-based constraint acquisition	0
Optimizing doubly stochastic matrices for average consensus through swarm and evolutionary algorithms	0
Correction to: Gaussoids are two-antecedental approximations of Gaussian conditional independence structures	0
Bounds on depth of decision trees derived from decision rule systems with discrete attributes	0
A dual-population search differential evolution algorithm for functional distributed constraint optimization problems	0
kNN Classification: a review	0
Galois theory for analogical classifiers	0
Tumato 2.0 - a constraint-based planning approach for safe and robust robot behavior	0
Quantifying the relationship between software design principles and performance in Jason: a case study with simulated mobile robots	0
Design and implementation of symbolic algorithms for the computation of generalized asymptotes	0
Weighted and Choquet $$L^p$$ distance representation of comparative dissimilarity relations on fuzzy description profiles	0
Parameter tuning of continuous Hopfield network applied to combinatorial optimization	0
Parallel machine scheduling with linearly increasing energy consumption cost	0
Default consequence relations from topology and measure theory	0
The undecidability of proof search when equality is a logical connective	0
Search algorithms for automated negotiation in large domains	0
Logic programming in tensor spaces	0
A knowledge compilation perspective on queries and transformations for belief tracking	0
General information spaces: measuring inconsistency, rationality postulates, and complexity	0
Calibration methods in imbalanced binary classification	0
Parallel homological calculus for 3D binary digital images	0
Stability of accuracy for the training of DNNs via the uniform doubling condition	0
Chance constrained conic-segmentation support vector machine with uncertain data	0
Correction to: Preface: Selected revised papers from the LION 15 conference	0
VC-dimensions of nondeterministic finite automata for words of equal length	0
Physician scheduling problem in Mobile Cabin Hospitals of China during Covid-19 outbreak	0
Preface selected revised papers from the LION 14 conference	0
On pruning techniques in map-reduce style CbO algorithms	0
Preface: Selected revised papers from the LION 15 conference	0
A study of universal morphological analysis using morpheme-based, holistic, and neural approaches under various data size conditions	0
Selecting a subset of diverse points based on the squared euclidean distance	0
The logic of secrets and the interpolation rule	0
A new definition for feature selection stability analysis	0
Type-based computation of knowledge graph statistics	0