Artificial Intelligence

Papers
(The H4-Index of Artificial Intelligence is 30. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2021-04-01 to 2025-04-01.)
ArticleCitations
Stochastic population update can provably be helpful in multi-objective evolutionary algorithms509
Maximum Likelihood Evidential Reasoning367
The Value of Real-time Automated Explanations in Stochastic Planning336
Optimizing the computation of overriding in DL<317
Risk-averse optimization of reward-based coherent risk measures268
Diffusion auction design160
Editorial Board147
On the role of logical separability in knowledge compilation123
Editorial Board108
Editorial Board90
Almost proportional allocations of indivisible chores: Computation, approximation and efficiency83
Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions81
Sim-to-Lab-to-Real: Safe reinforcement learning with shielding and generalization guarantees70
Iterative voting with partial preferences68
Discrete preference games with logic-based agents: Formal framework, complexity, and islands of tractability62
Recursive reasoning-based training-time adversarial machine learning59
A simple proof-theoretic characterization of stable models: Reduction to difference logic and experiments58
Ballooning multi-armed bandits54
Graph-based construction of minimal models47
Simple and efficient bi-objective search algorithms via fast dominance checks47
Inhomogeneous deep Q-network for time sensitive applications46
A computational model of Ostrom's Institutional Analysis and Development framework44
Lifted inference with tree axioms42
Counterfactuals as modal conditionals, and their probability41
Ascending-price mechanism for general multi-sided markets40
Levels of explainable artificial intelligence for human-aligned conversational explanations35
SAT Competition 202034
Investigating the properties of neural network representations in reinforcement learning34
Crossover can guarantee exponential speed-ups in evolutionary multi-objective optimisation33
Result diversification by multi-objective evolutionary algorithms with theoretical guarantees31
PredDiff: Explanations and interactions from conditional expectations30
A semantics for Hybrid Probabilistic Logic programs with function symbols30
0.30159401893616