Artificial Intelligence

Article	Citations
Stochastic population update can provably be helpful in multi-objective evolutionary algorithms	509
Maximum Likelihood Evidential Reasoning	367
The Value of Real-time Automated Explanations in Stochastic Planning	336
Optimizing the computation of overriding in DL<	317
Risk-averse optimization of reward-based coherent risk measures	268
Diffusion auction design	160
Editorial Board	147
On the role of logical separability in knowledge compilation	123
Editorial Board	108
Editorial Board	90
Almost proportional allocations of indivisible chores: Computation, approximation and efficiency	83
Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions	81
Sim-to-Lab-to-Real: Safe reinforcement learning with shielding and generalization guarantees	70
Iterative voting with partial preferences	68
Discrete preference games with logic-based agents: Formal framework, complexity, and islands of tractability	62
Recursive reasoning-based training-time adversarial machine learning	59
A simple proof-theoretic characterization of stable models: Reduction to difference logic and experiments	58
Ballooning multi-armed bandits	54
Simple and efficient bi-objective search algorithms via fast dominance checks	47
Graph-based construction of minimal models	47
Inhomogeneous deep Q-network for time sensitive applications	46
A computational model of Ostrom's Institutional Analysis and Development framework	44
Lifted inference with tree axioms	42
Counterfactuals as modal conditionals, and their probability	41
Ascending-price mechanism for general multi-sided markets	40

Levels of explainable artificial intelligence for human-aligned conversational explanations	35
Investigating the properties of neural network representations in reinforcement learning	34
SAT Competition 2020	34
Crossover can guarantee exponential speed-ups in evolutionary multi-objective optimisation	33
Result diversification by multi-objective evolutionary algorithms with theoretical guarantees	31
PredDiff: Explanations and interactions from conditional expectations	30
A semantics for Hybrid Probabilistic Logic programs with function symbols	30
Efficient optimal Kolmogorov approximation of random variables	29
Diagnosis of intermittent faults in Multi-Agent Systems: An SFL approach	29
Corrigendum to “Separators and adjustment sets in causal graphs: Complete criteria and an algorithmic framework” [Artif. Intell. 270 (2019) 1–40]	29
Polynomial combined first-order rewritings for linear and guarded existential rules	27
Fine-tuning transformers: Vocabulary transfer	27
Primarily about primaries	26
A conflict-directed approach to chance-constrained mixed logical linear programming	26
Transfer learning for collaborative recommendation with biased and unbiased data	24
Delegated online search	23
Knowledge-driven profile dynamics	23
Embedding justification theory in approximation fixpoint theory	22
Separate but equal: Equality in belief propagation for single-cycle graphs	22
Identifying roles of formulas in inconsistency under Priest's minimally inconsistent logic of paradox	22
On measuring inconsistency in graph databases with regular path constraints	21
aspmc: New frontiers of algebraic answer set counting	20
Adversarial analysis of similarity-based sign prediction	20
Hyperbolic Secant representation of the logistic function: Application to probabilistic Multiple Instance Learning for CT intracranial hemorrhage detection	20
A crossword solving system based on Monte Carlo tree search	20
Matching papers and reviewers at large conferences	19
DEED: DEep Evidential Doctor	18
On generalized notions of consistency and reinstatement and their preservation in formal argumentation	18
Representing states in iterated belief revision	18
TeachText: CrossModal text-video retrieval through generalized distillation	18
A framework for analysing state-abstraction methods	17
Credibility Dynamics: A belief-revision-based trust model with pairwise comparisons	17
Treewidth-aware reductions of normal ASP to SAT – Is normal ASP harder than SAT after all?	17
Mind the gap: Cake cutting with separation	16
Abstraction in data-sparse task transfer	16
Inconsistency-tolerant query answering for existential rules	16
Incremental computation for structured argumentation over dynamic DeLP knowledge bases	16
On Pareto optimality in social distance games	15
Planning-based knowing how: A unified approach	15
Strategyproof Allocation Mechanisms with Endowments and M-convex Distributional Constraints	15
Rethinking formal models of partially observable multiagent decision making	15
When move acceptance selection hyper-heuristics outperform Metropolis and elitist evolutionary algorithms and when not	15
A general multi-agent epistemic planner based on higher-order belief change	15
A unifying look at sequence submodularity	14
Schelling games on graphs	14
Knowledge-based programs as building blocks for planning	14
“That's (not) the output I expected!” On the role of end user expectations in creating explanations of AI systems	13
Peeking behind the ordinal curtain: Improving distortion via cardinal queries	13
Online learning in sequential Bayesian persuasion: Handling unknown priors	13
Competence-aware systems	13

Syntactic reasoning with conditional probabilities in deductive argumentation	13
A survey of inverse reinforcement learning: Challenges, methods and progress	12
Pairwise symmetry reasoning for multi-agent path finding search	12
Predicting winner and estimating margin of victory in elections using sampling	12
A k-additive Choquet integral-based approach to approximate the SHAP values for local interpretability in machine learning	12
Quantifying and alleviating political bias in language models	12
Using ontologies to enhance human understandability of global post-hoc explanations of black-box models	12
ASER: Towards large-scale commonsense knowledge acquisition via higher-order selectional preference over eventualities	12
DivGAN: A diversity enforcing generative adversarial network for mode collapse reduction	11
Q-Learning-based model predictive variable impedance control for physical human-robot collaboration	11
Drawing a Map of Elections	11
Budget-feasible mechanisms for proportionally selecting agents from groups	10
Multiple object tracking: A literature review	10
Multi-agent pathfinding with continuous time	10
What do we want from Explainable Artificial Intelligence (XAI)? – A stakeholder perspective on XAI and a conceptual model guiding interdisciplinary XAI research	10
Taking into account “who said what” in abstract argumentation: Complexity results	10
Toward personalized XAI: A case study in intelligent tutoring systems	10
GUBS criterion: Arbitrary trade-offs between cost and probability-to-goal in stochastic planning based on Expected Utility Theory	10
Mitigating robust overfitting via self-residual-calibration regularization	10
Multi-objective meta-learning	10
Safe multi-agent reinforcement learning for multi-robot control	10
Improving logical flow in English-as-a-foreign-language learner essays by reordering sentences	9
Learning a fast 3D spectral approach to object segmentation and tracking over space and time	9
Improved metric distortion via threshold approvals	9
No free lunch theorem for privacy-preserving LLM inference	9
GoSafeOpt: Scalable safe exploration for global optimization of dynamical systems	9
Online perceptual learning and natural language acquisition for autonomous robots	9
(1+1) genetic programming with functionally complete instruction sets can evolve Boolean conjunctions and disjunctions with arbitrarily small error	9
Truthful aggregation of budget proposals with proportionality guarantees	9
Reasoning about causality in games	9
On the computation of mixed strategies for security games with general defending requirements	9
Dissecting scientific explanation in AI (sXAI): A case for medicine and healthcare	9
Editorial Board	8
Editorial Board	8
Scheduling with complete multipartite incompatibility graph on parallel machines: Complexity and algorithms	8
Editorial Board	8
Editorial Board	8
Decidability and complexity of action-based temporal planning over dense time	8
Situated conditional reasoning	8
Epistemic planning: Perspectives on the special issue	8
The distortion of distributed metric social choice	8
Editorial Board	7
An efficient algorithm for counting Markov equivalent DAGs	7
Learning MAX-SAT from contextual examples for combinatorial optimisation	7
Fragility, robustness and antifragility in deep learning	7
Editorial Board	7
A framework for step-wise explaining how to solve constraint satisfaction problems	7
Editorial Board	7
Pre-training and diagnosing knowledge base completion models	7
Regret minimization in online Bayesian persuasion: Handling adversarial receiver's types under full and partial feedback models	7
Athanor: Local search over abstract constraint specifications	6
Accurate parameter estimation for safety-critical systems with unmodeled dynamics	6
CVPR 2020 continual learning in computer vision competition: Approaches, results, current challenges and future directions	6
Risk-averse policy optimization via risk-neutral policy optimization	6
Evaluation of argument strength in attack graphs: Foundations and semantics	6
Saliency-aware regularized graph neural network	6
Integrating multi-armed bandit with local search for MaxSAT	6
A false sense of security	6
The quest of parsimonious XAI: A human-agent architecture for explanation formulation	6
Sensitive loss: Improving accuracy and fairness of face representations with discrimination-aware deep learning	6
Editorial Board	6
Editorial Board	6
A postulate-driven study of logical argumentation	6
SensorSCAN: Self-supervised learning and deep clustering for fault diagnosis in chemical processes	6
Knowing how to plan about planning: Higher-order and meta-level epistemic planning	6
Chimeric U-Net – Modifying the standard U-Net towards explainability	6
Editorial Board	6
Explainable AI tools for legal reasoning about cases: A study on the European Court of Human Rights	6
Credulous acceptance in high-order argumentation frameworks with necessities: An incremental approach	6
Counterfactual explanations for misclassified images: How human and machine explanations differ	6
An α-regret analysis of adversarial bilateral trade	6
Using state abstractions to compute personalized contrastive explanations for AI agent behavior	5
Parameterized complexity of envy-free resource allocation in social networks	5
Defense coordination in security games: Equilibrium analysis and mechanism design	5
Argumentative explanations for interactive recommendations	5
Search-engine-augmented dialogue response generation with cheaply supervised query production	5
Hyper-heuristics for personnel scheduling domains	5
Generative models for grid-based and image-based pathfinding	5
Risk-averse autonomous systems: A brief history and recent developments from the perspective of optimal control	5
Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs	5

Evolving interpretable decision trees for reinforcement learning	5
Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models	5
An action language for multi-agent domains	5
Manipulation and peer mechanisms: A survey	5
On the noise estimation statistics	5
Solving infinite-domain CSPs using the patchwork property	5
How to find a good explanation for clustering?	5
A semantic framework for neurosymbolic computation	5
Algorithms and conditional lower bounds for planning problems	5
Strategic reasoning with a bounded number of resources: The quest for tractability	5
Polynomial calculus for optimization	5
The complexity of optimizing atomic congestion	5
A polynomial reduction of forks into logic programs	5
Exploring the psychology of LLMs’ moral and legal reasoning	4
Editorial Board	4
Bayesian feature interaction selection for factorization machines	4
TEAMSTER: Model-based reinforcement learning for ad hoc teamwork	4
Online learning of energy consumption for navigation of electric vehicles	4
Editorial Board	4
A lightweight epistemic logic and its application to planning	4
Reward (Mis)design for autonomous driving	4
Dealing with expert bias in collective decision-making	4
Situation calculus for controller synthesis in manufacturing systems with first-order state representation	4
Fair allocation of indivisible goods: Beyond additive valuations	4
Counterfactual state explanations for reinforcement learning agents via generative deep learning	4
Explaining black-box classifiers using post-hoc explanations-by-example: The effect of explanations and error-rates in XAI user studies	4
Epistemic uncertainty aware semantic localization and mapping for inference and belief space planning	4
Post-trained convolution networks for single image super-resolution	4
Approximate weighted model integration on DNF structures	4
Show or suppress? Managing input uncertainty in machine learning model explanations	4
Reward is enough	4
Emotion Selectable End-to-End Text-based Speech Editing	4
Special issue on Explainable Artificial Intelligence (XAI)	4
An attention model for the formation of collectives in real-world domains	4
The distortion of distributed facility location	4
Automatic generation of dominance breaking nogoods for a class of constraint optimization problems	4
Natural language watermarking via paraphraser-based lexical substitution	4
Editorial Board	4
Beyond incompatibility: Trade-offs between mutually exclusive fairness criteria in machine learning and law	4
SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints	4
Assessing fidelity in XAI post-hoc techniques: A comparative study with ground truth explanations datasets	3
Probabilistic reach-avoid for Bayesian neural networks	3
Cooperative concurrent games	3
Making sense of sensory input	3
Two's company, three's a crowd: Consensus-halving for a constant number of agents	3
Entropy estimation via uniformization	3
Efficient multi-agent epistemic planning: Teaching planners about nested belief	3
LMMS reloaded: Transformer-based sense embeddings for disambiguation and beyond	3
Hybrid planning for challenging construction problems: An Answer Set Programming approach	3
On the landscape of one-hidden-layer sparse networks and beyond	3
Knowledge-based strategies for multi-agent teams playing against Nature	3
A domain-independent agent architecture for adaptive operation in evolving open worlds	3
Modular control architecture for safe marine navigation: Reinforcement learning with predictive safety filters	3
A stochastic process approach for multi-agent path finding with non-asymptotic performance guarantees	3
Datalog rewritability and data complexity of ALCHOIQ with closed predicates	3
Learning infinite-word automata with loop-index queries	3
Multi resource allocation with partial preferences	3
Memory-limited model-based diagnosis	3
Gerrymandering individual fairness	3
A tetrachotomy of ontology-mediated queries with a covering axiom	3
Acyclic orders, partition schemes and CSPs: Unified hardness proofs and improved algorithms	3
Editorial Board	3
On the impact of the performance metric on efficient algorithm configuration	3
Spectral complexity-scaled generalisation bound of complex-valued neural networks	3
NovPhy: A physical reasoning benchmark for open-world AI systems	3
Out-of-distribution detection by regaining lost clues	3
AI-driven transcriptome profile-guided hit molecule generation	3
Solving zero-sum one-sided partially observable stochastic games	3
Value functions for depth-limited solving in zero-sum imperfect-information games	3
Shedding new light on the foundations of abstract argumentation: Modularization and weak admissibility	3
Certified reinforcement learning with logic guidance	3
Fast optimal and bounded suboptimal Euclidean pathfinding	3
Hedonic diversity games: A complexity picture with more than two colors	3
Bisimulation between base argumentation and premise-conclusion argumentation	3
Multi-instance learning of pretopological spaces to model complex propagation phenomena: Application to lexical taxonomy learning	3
Editorial Board	3
Conjure: Automatic Generation of Constraint Models from Problem Specifications	3
AutoSTG+: An automatic framework to discover the optimal network for spatio-temporal graph prediction	3
Introspective perception for mobile robots	3
Defying catastrophic forgetting via influence function	2
TTVAE: Transformer-based generative modeling for tabular data generation	2
Editorial Board	2
The effects of explanations on automation bias	2
Spectral clustering with robust self-learning constraints	2
Pareto optimization for subset selection with dynamic cost constraints	2
Strongly budget balanced auctions for multi-sided markets	2
Discovering agents	2
Polarized message-passing in graph neural networks	2
Picking sequences and monotonicity in weighted fair division	2
Simplified Risk-aware Decision Making with Belief-dependent Rewards in Partially Observable Domains	2
Temporal inductive path neural network for temporal knowledge graph reasoning	2
Neural probabilistic logic programming in DeepProbLog	2
A simple yet effective self-debiasing framework for transformer models	2
Editorial Board	2
Explainable AI and stakes in medicine: A user study	2