Annals of Mathematics and Artificial Intelligence

Article	Citations
Parameterised complexity of model checking and satisfiability in propositional dependence logic	17
Neighborhood density information in clustering	14
Classes of linear programs solvable by coordinate-wise minimization	12
Optimization strategies for the bilevel network design problem with affine cost functions	11
Probabilistic causal bipolar abstract argumentation: an approach based on credal networks	8
On the complexity of rational verification	8
Bayesian optimization over the probability simplex	7
Logical aspects of multi-agent systems	7
On the universal approximation property of radial basis function neural networks	6
Computing triadic generators and association rules from triadic contexts	6
On the lengths of tree-like and Dag-like cutting plane refutations of Horn constraint systems	6
Signifiers for conveying and exploiting affordances: from human-computer interaction to multi-agent systems	6
Special issue on conceptual structures	6
Clique detection with a given reliability	6
A novel deep learning approach for one-step conformal prediction approximation	6
Integrated inventory and production policy for manufacturing with perishable raw materials	5
Neural networks in Fréchet spaces	5
Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings	5
Boosting evolutionary algorithm configuration	5
Logic program proportions	4
On the use of Wasserstein distance in the distributional analysis of human decision making under uncertainty	4
To raise or not to raise: the autonomous learning rate question	4
Tractable representations for Boolean functional synthesis	4
Modelling a chain of command in the incident command system using sequential characteristic function games	4
Sequential composition of propositional logic programs	4

Analogical proportions	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
Practical investment with the long-short game	4
RAMP experiments in solving the uncapacitated facility location problem	4
On the finite representation of linear group equivariant operators via permutant measures	4
Learning preference representations based on Choquet integrals for multicriteria decision making	3
Socially conscious stability for tiered coalition formation games	3
Coalition formation games – preface	3
Query answering in circumscribed OWL2 profiles	3
Realtime gray-box algorithm configuration using cost-sensitive classification	3
Multiple-source adaptation theory and algorithms – addendum	3
On automated completion of geometry statements and proofs with GeoGebra Discovery	3
Time-penalised trees (TpT): introducing a new tree-based data mining algorithm for time-varying covariates	3
A hybrid simulated annealing and variable neighborhood search algorithm for the close-open electric vehicle routing problem	3
A program to create new geometry proof problems	3
Correction to: The logic of secrets and the interpolation rule	3
An improved multi-task least squares twin support vector machine	3
On Shapley value interpretability in concept-based learning with formal concept analysis	3
A semiotic perspective on polysemy	3
Hedonic Expertise Games	3
Ranking kinematics for revising by contextual information	3
Nonmonotonic reasoning from conditional knowledge bases with system W	3
Preface	3
Lattice point of view for argumentation framework	2
Knowledge cores in large formal contexts	2
Collective combinatorial optimisation as judgment aggregation	2
Theoretical aspects of robust SVM optimization in Banach spaces and Nash equilibrium interpretation	2
Conformal test martingales for hypergraphical models	2
Sensitivity analysis of combinatorial optimization problems using evolutionary bilevel optimization and data mining	2
A robust multiobjective model for the integrated berth and quay crane scheduling problem at seaside container terminals	2
Costly information providing in binary contests	2
Analogical proportions in monounary algebras	2
Integrating optimized item selection with active learning for continuous exploration in recommender systems	2
Personalized choice prediction with less user information	2
Road networks structure analysis: A preliminary network science-based approach	2
Guest editorial: Revised selected papers from the LION 13 conference	2
Single MCMC chain parallelisation on decision trees	2
About the unification type of $\mathbf {K}+\square \square \bot $	2
A faster implementation of EQ and SE queries for switch-list representations	2
Advances in preference handling: foreword	2
Knowledge compilation	2
Apportioned margin approach for cost sensitive large margin classifiers	2
A study on the predictive strength of fractal dimension of white and grey matter on MRI images in Alzheimer’s disease	2
A framework for the generation of complex scenario instances in the Urban Transit Routing Problem	2
A Bayesian reinforcement learning approach in markov games for computing near-optimal policies	1
On domain generators for the evaluation of action reversibility in STRIPS	1
A combinatorial technique for generation of digital plane using GCD	1
Learning tractable NAT-modeled Bayesian networks	1
Cost-location aware heuristic algorithm for hybrid SDN deployment	1
Cost-aware sequential diagnostics	1

Novel SVM-based classification approaches for evaluating pancreatic carcinoma	1
Preface	1
A data-driven approach to neural architecture search initialization	1
Correction: Personalized choice prediction with less user information	1
Combinatorial and geometric problems in imaging sciences	1
Automated non-monotonic reasoning in System P	1
Heuristic search for one-to-many shortest path queries	1
Preface to the special issue on analogies: from mathematical foundations to applications and interactions with ML and AI	1
Structured argumentation dynamics	1
Learning from obstructions: An effective deep learning approach for minimum vertex cover	1
Adversarial attacks on graph-level embedding methods: a case study	1
Investigating the impact of calibration on the quality of explanations	1
Formalization of geometry, automated and interactive geometric reasoning	1
On matrices and K-relations	1
Uncertain reasoning	1
Automatic error function learning with interpretable compositional networks	1
Correction to: Preface	1
An adaptive human learning optimization with enhanced exploration–exploitation balance	1
Evolutionary game analysis on government subsidy policy and bank loan strategy in China’s distributed photovoltaic market	1
Multi-trainer binary feedback interactive reinforcement learning	1
Online learning of variable ordering heuristics for constraint optimisation problems	1
Order-sorted equational generalization algorithm revisited	1
Irreducible bin packing and normality in routing open shop	1
Alternating DCA for reduced-rank multitask linear regression with covariance matrix estimation	1
Learning from masked analogies between sentences at multiple levels of formality	1
Controlling weighted voting games by deleting or adding players with or without changing the quota	1
A dual RAMP algorithm for single source capacitated facility location problems	1
A novel method for solving universum twin bounded support vector machine in the primal space	1
Preface	1
Best-effort adaptation	0
Energy disaggregation via Bayesian non-negative matrix factorization with sum-to-k constraint	0
Joint desirability foundations of social choice and opinion pooling	0
Stability of accuracy for the training of DNNs via the uniform doubling condition	0
Weighted and Choquet $$L^p$$ distance representation of comparative dissimilarity relations on fuzzy description profiles	0
Preface selected revised papers from the LION 14 conference	0
Parametrized topological complexity of collision-free motion planning in the plane	0
Introduction to the special issue: selected papers from EMAS 2022	0
Agents and Digital Twins for the engineering of Cyber-Physical Systems: opportunities, and challenges	0
A category theory approach to the semiotics of machine learning	0
Default consequence relations from topology and measure theory	0
Guest editorial: Revised selected papers from the LION 16 conference	0
Search algorithms for automated negotiation in large domains	0
VC-dimensions of nondeterministic finite automata for words of equal length	0
Foreword	0
Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention	0
Families of multi-level Legendre-like arrays	0
ISAIM-2022: international symposium on artificial intelligence and mathematics	0
Mechanical certification of FOLID cyclic proofs	0
Conformal Predictive Distribution Trees	0
A survey on the applications of variable neighborhood search algorithm in healthcare management	0
Near-term advances in quantum natural language processing	0
An adaptive model for human syllogistic reasoning	0
Design of optimal quasi-developable surface via simulated annealing based shape-parameter-search algorithm	0
Two parameter-tuned multi-objective evolutionary-based algorithms for zoning management in marine spatial planning	0
Breaking the curse of dimensionality: hierarchical Bayesian network model for multi-view clustering	0
Parallel machine scheduling with linearly increasing energy consumption cost	0
Physician scheduling problem in Mobile Cabin Hospitals of China during Covid-19 outbreak	0
The undecidability of proof search when equality is a logical connective	0
Digital continuity of rotations in the 2D regular grids	0
A knowledge compilation perspective on queries and transformations for belief tracking	0
Two-phase Matheuristic for the vehicle routing problem with reverse cross-docking	0
Selecting a subset of diverse points based on the squared euclidean distance	0
On the benefits of knowledge compilation for feature-model analyses	0
A new definition for feature selection stability analysis	0
Domain independent heuristics for online stochastic contingent planning	0
An abstract view on optimizations in propositional frameworks	0
Correction to: Preface: Selected revised papers from the LION 15 conference	0
Real-time passenger bus routing problems with preferences and tradeoffs	0
Clustering, coding, and the concept of similarity	0
Hyperparameter autotuning of programs with HybridTuner	0
On hedonic games with common ranking property	0
Preface: Selected revised papers from the LION 15 conference	0
Making model checking feasible for GOAL	0
Towards a geometry deductive database prover	0
Tumato 2.0 - a constraint-based planning approach for safe and robust robot behavior	0
Classifier-based constraint acquisition	0
A formal approach to attack graphs	0
Exploration and exploitation analysis for the sonar inspired optimization algorithm	0
The logic of secrets and the interpolation rule	0
Functions-as-constructors higher-order unification: extended pattern unification	0

Solving morphological analogies: from retrieval to generation	0
Logic programming in tensor spaces	0
A study of universal morphological analysis using morpheme-based, holistic, and neural approaches under various data size conditions	0
Preface	0
An improvement of Random Node Generator for the uniform generation of capacities	0
Filters-based revision	0
An extended knowledge compilation map for conditional preference statements-based and generalized additive utilities-based languages	0
Parallel homological calculus for 3D binary digital images	0
Least squares approach to K-SVCR multi-class classification with its applications	0
Interpreting rate-distortion of variational autoencoder and using model uncertainty for anomaly detection	0
Calibration methods in imbalanced binary classification	0
Anomaly detection with superexperts under delayed feedback	0
Diversity, dependence and independence	0
Hypergeometric structures in Feynman integrals	0
Bounds on depth of decision trees derived from decision rule systems with discrete attributes	0
Automated triangle constructions in hyperbolic geometry	0
A Novel Method for Solving Universum Twin Bounded Support Vector Machine in the Primal Space	0
Learning machiavellian strategies for manipulation in Stackelberg security games	0
On the antiderivatives of xp/(1 − x) with an application to optimize loss functions for classification with neural networks	0
Indepth combinatorial analysis of admissible sets for abstract argumentation	0
Correction to: Gaussoids are two-antecedental approximations of Gaussian conditional independence structures	0
Quantifying the relationship between software design principles and performance in Jason: a case study with simulated mobile robots	0
Automated discovery of angle theorems	0
Galois theory for analogical classifiers	0
Automated programming, symbolic computation, machine learning: my personal view	0
An algorithmic debugging approach for belief-desire-intention agents	0
Local critical analysis of inequalities related to the sum of distances between n points on the unit hemisphere for $$n=4,5$$	0
General information spaces: measuring inconsistency, rationality postulates, and complexity	0
Gaussoids are two-antecedental approximations of Gaussian conditional independence structures	0
Integrating domain and constraint privacy reasoning in the distributed stochastic algorithm with breakouts	0
On pruning techniques in map-reduce style CbO algorithms	0
MADTwin: a framework for multi-agent digital twin development: smart warehouse case study	0
Topological measurement of deep neural networks using persistent homology	0
On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics	0
Optimizing doubly stochastic matrices for average consensus through swarm and evolutionary algorithms	0
A metaheuristic for inferring a ranking model based on multiple reference profiles	0
Chunking and cooperation in particle swarm optimization for feature selection	0
A lagrangian-based approach for universum twin bounded support vector machine with its applications	0
A dual-population search differential evolution algorithm for functional distributed constraint optimization problems	0
Critical Properties and Complexity Measures of Read-Once Boolean Functions	0
Can’t you answer while you wait?	0
Constraint-based learning for non-parametric continuous bayesian networks	0
Common equivalence and size of forgetting from Horn formulae	0
Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas	0
Theory-relational belief revision	0
Type-based computation of knowledge graph statistics	0
Altruism in coalition formation games	0
Deductive belief change	0
Tetrahedral tile pasting systems	0
Modeling and shadowing paraconsistent BDI agents	0
A multi-algorithm pathfinding method: Exploiting performance variations for enhanced efficiency	0
Knowledge forgetting in propositional μ-calculus	0
Deep data density estimation through Donsker-Varadhan representation	0
Multi-resolution continuous normalizing flows	0
Path planning algorithm for mobile robots based on clustering-obstacles and quintic trigonometric Bézier curve	0
Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells	0
Learning with cone-based geometric models and orthologics	0
Minimising inequality in multiagent resource allocation	0
Raising awareness without disclosing truth	0
Complexity of shift bribery for iterative voting rules	0
kNN Classification: a review	0
Theory and algorithms for learning with rejection in binary classification	0
Lexicographically maximal edges of dual hypergraphs and Nash-solvability of tight game forms	0
Chance constrained conic-segmentation support vector machine with uncertain data	0
Commitment-based negotiation semantics for accountability in multi-agent systems	0
Automated generation of illustrated proofs in geometry and beyond	0
Design and implementation of symbolic algorithms for the computation of generalized asymptotes	0
RAMP algorithms for the capacitated facility location problem	0
Correction to: Parametrized topological complexity of collision‑free motion planning in the plane	0
An exploration of combinatorial testing-based approaches to fault localization for explainable AI	0
Time and space complexity of deterministic and nondeterministic decision trees	0
Parameter tuning of continuous Hopfield network applied to combinatorial optimization	0
Evolution of Gaussian Process kernels for machine translation post-editing effort estimation	0
On those Boolean functions that are coset leaders of first order Reed-Muller codes	0