Artificial Intelligence

Article	Citations
Adversarial analysis of similarity-based sign prediction	436
Planning-based knowing how: A unified approach	295
Peeking behind the ordinal curtain: Improving distortion via cardinal queries	293
A framework for analysing state-abstraction methods	266
Optimizing the computation of overriding in DL<	228
Risk-averse optimization of reward-based coherent risk measures	188
Diffusion auction design	131
Knowledge-based programs as building blocks for planning	120
Treewidth-aware reductions of normal ASP to SAT – Is normal ASP harder than SAT after all?	96
Editorial Board	82
Abstraction in data-sparse task transfer	74
On the role of logical separability in knowledge compilation	70
Using POMDPs for learning cost sensitive decision trees	70
Editorial Board	70
Primarily about primaries	54
Editorial Board	54
aspmc: New frontiers of algebraic answer set counting	53
Embedding justification theory in approximation fixpoint theory	50
Knowledge-driven profile dynamics	46
Almost proportional allocations of indivisible chores: Computation, approximation and efficiency	40
Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions	39
A general multi-agent epistemic planner based on higher-order belief change	38
Mitigating robust overfitting via self-residual-calibration regularization	35
Investigating the properties of neural network representations in reinforcement learning	33
Q-Learning-based model predictive variable impedance control for physical human-robot collaboration	32

Recursive reasoning-based training-time adversarial machine learning	30
Discrete preference games with logic-based agents: Formal framework, complexity, and islands of tractability	30
Iterative voting with partial preferences	30
Rethinking formal models of partially observable multiagent decision making	29
Schelling games on graphs	29
Inconsistency-tolerant query answering for existential rules	29
On Pareto optimality in social distance games	27
PredDiff: Explanations and interactions from conditional expectations	27
When move acceptance selection hyper-heuristics outperform Metropolis and elitist evolutionary algorithms and when not	24
Ballooning multi-armed bandits	22
Graph-based construction of minimal models	22
Strategyproof Allocation Mechanisms with Endowments and M-convex Distributional Constraints	22
Simple and efficient bi-objective search algorithms via fast dominance checks	22
Inhomogeneous deep Q-network for time sensitive applications	21
ASER: Towards large-scale commonsense knowledge acquisition via higher-order selectional preference over eventualities	20
Mind the gap: Cake cutting with separation	20
A crossword solving system based on Monte Carlo tree search	19
Dependency-based syntax-aware word representations	19
On measuring inconsistency in graph databases with regular path constraints	19
Identifying roles of formulas in inconsistency under Priest's minimally inconsistent logic of paradox	19
Hyperbolic Secant representation of the logistic function: Application to probabilistic Multiple Instance Learning for CT intracranial hemorrhage detection	18
Lifted inference with tree axioms	17
A conflict-directed approach to chance-constrained mixed logical linear programming	17
A computational model of Ostrom's Institutional Analysis and Development framework	17
Fine-tuning transformers: Vocabulary transfer	17
Quantifying and alleviating political bias in language models	16
Counterfactuals as modal conditionals, and their probability	16
Delegated online search	16
Ascending-price mechanism for general multi-sided markets	16
Predicting winner and estimating margin of victory in elections using sampling	15
Levels of explainable artificial intelligence for human-aligned conversational explanations	15
A unifying look at sequence submodularity	15
Multi-agent pathfinding with continuous time	15
Result diversification by multi-objective evolutionary algorithms with theoretical guarantees	14
Incremental computation for structured argumentation over dynamic DeLP knowledge bases	14
Credibility Dynamics: A belief-revision-based trust model with pairwise comparisons	14
A semantics for Hybrid Probabilistic Logic programs with function symbols	14
Efficient optimal Kolmogorov approximation of random variables	14
Crossover can guarantee exponential speed-ups in evolutionary multi-objective optimisation	14
DEED: DEep Evidential Doctor	14
SAT Competition 2020	14
“That's (not) the output I expected!” On the role of end user expectations in creating explanations of AI systems	13
On generalized notions of consistency and reinstatement and their preservation in formal argumentation	13
Competence-aware systems	13
Representing states in iterated belief revision	13
Polynomial combined first-order rewritings for linear and guarded existential rules	13
Matching papers and reviewers at large conferences	12
A k-additive Choquet integral-based approach to approximate the SHAP values for local interpretability in machine learning	12
Syntactic reasoning with conditional probabilities in deductive argumentation	12
Sim-to-Lab-to-Real: Safe reinforcement learning with shielding and generalization guarantees	11

Diagnosis of intermittent faults in Multi-Agent Systems: An SFL approach	11
Pairwise symmetry reasoning for multi-agent path finding search	11
What do we want from Explainable Artificial Intelligence (XAI)? – A stakeholder perspective on XAI and a conceptual model guiding interdisciplinary XAI research	11
Safe multi-agent reinforcement learning for multi-robot control	11
Toward personalized XAI: A case study in intelligent tutoring systems	10
Transfer learning for collaborative recommendation with biased and unbiased data	10
Multiple object tracking: A literature review	10
A survey of inverse reinforcement learning: Challenges, methods and progress	10
Using ontologies to enhance human understandability of global post-hoc explanations of black-box models	10
DivGAN: A diversity enforcing generative adversarial network for mode collapse reduction	10
Truthful aggregation of budget proposals with proportionality guarantees	9
Online perceptual learning and natural language acquisition for autonomous robots	9
Separate but equal: Equality in belief propagation for single-cycle graphs	9
Evaluation of argument strength in attack graphs: Foundations and semantics	9
The quest of parsimonious XAI: A human-agent architecture for explanation formulation	9
Improving logical flow in English-as-a-foreign-language learner essays by reordering sentences	9
TeachText: CrossModal text-video retrieval through generalized distillation	9
An action language for multi-agent domains	9
Search-engine-augmented dialogue response generation with cheaply supervised query production	9
Taking into account “who said what” in abstract argumentation: Complexity results	9
Online learning in sequential Bayesian persuasion: Handling unknown priors	9
Corrigendum to “Separators and adjustment sets in causal graphs: Complete criteria and an algorithmic framework” [Artif. Intell. 270 (2019) 1–40]	9
Knowing how to plan about planning: Higher-order and meta-level epistemic planning	8
Evaluating local explanation methods on ground truth	8
Editorial Board	8
Online learning of energy consumption for navigation of electric vehicles	8
Multi-objective meta-learning	8
Show or suppress? Managing input uncertainty in machine learning model explanations	8
CVPR 2020 continual learning in computer vision competition: Approaches, results, current challenges and future directions	8
An α-regret analysis of adversarial bilateral trade	8
Reward is enough	8
Sensitive loss: Improving accuracy and fairness of face representations with discrimination-aware deep learning	8
A false sense of security	7
Bayesian feature interaction selection for factorization machines	7
Fair allocation of indivisible goods: Beyond additive valuations	7
Editorial Board	7
Editorial Board	7
Natural language watermarking via paraphraser-based lexical substitution	7
Post-trained convolution networks for single image super-resolution	7
Hyper-heuristics for personnel scheduling domains	7
Strategic reasoning with a bounded number of resources: The quest for tractability	7
Epistemic planning: Perspectives on the special issue	6
The distortion of distributed metric social choice	6
Editorial Board	6
Situated conditional reasoning	6
A postulate-driven study of logical argumentation	6
A lightweight epistemic logic and its application to planning	6
A polynomial reduction of forks into logic programs	6
Editorial Board	6
Editorial Board	6
Editorial Board	6
Parameterized complexity of envy-free resource allocation in social networks	6
Editorial Board	6
Solving infinite-domain CSPs using the patchwork property	6
An efficient algorithm for counting Markov equivalent DAGs	6
Scheduling with complete multipartite incompatibility graph on parallel machines: Complexity and algorithms	6
Editorial Board	6
On the noise estimation statistics	6
Using state abstractions to compute personalized contrastive explanations for AI agent behavior	6
Decidability and complexity of action-based temporal planning over dense time	6
Evolving interpretable decision trees for reinforcement learning	5
Pre-training and diagnosing knowledge base completion models	5
Regret minimization in online Bayesian persuasion: Handling adversarial receiver's types under full and partial feedback models	5
Risk-averse policy optimization via risk-neutral policy optimization	5
Budget-feasible mechanisms for proportionally selecting agents from groups	5
Reasoning about causality in games	5
Exploring the psychology of LLMs’ moral and legal reasoning	5
Fragility, robustness and antifragility in deep learning	5
Editorial Board	5
Credulous acceptance in high-order argumentation frameworks with necessities: An incremental approach	5
Algorithms and conditional lower bounds for planning problems	5
GUBS criterion: Arbitrary trade-offs between cost and probability-to-goal in stochastic planning based on Expected Utility Theory	5
Defense coordination in security games: Equilibrium analysis and mechanism design	5
Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs	5
Saliency-aware regularized graph neural network	5
A framework for step-wise explaining how to solve constraint satisfaction problems	5
Learning MAX-SAT from contextual examples for combinatorial optimisation	5
SensorSCAN: Self-supervised learning and deep clustering for fault diagnosis in chemical processes	5
GoSafeOpt: Scalable safe exploration for global optimization of dynamical systems	5
Neural probabilistic logic programming in DeepProbLog	4

Special issue on Explainable Artificial Intelligence (XAI)	4
(1+1) genetic programming with functionally complete instruction sets can evolve Boolean conjunctions and disjunctions with arbitrarily small error	4
Risk-averse autonomous systems: A brief history and recent developments from the perspective of optimal control	4
The distortion of distributed facility location	4
Dealing with expert bias in collective decision-making	4
Polynomial calculus for optimization	4
The complexity landscape of claim-augmented argumentation frameworks	4
Temporal inductive path neural network for temporal knowledge graph reasoning	4
The complexity of optimizing atomic congestion	4
Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models	4
Embedding deep networks into visual explanations	4
Counterfactual explanations for misclassified images: How human and machine explanations differ	4
How to find a good explanation for clustering?	4
Manipulation and peer mechanisms: A survey	4
Propositional and predicate logics of incomplete information	4
Value functions for depth-limited solving in zero-sum imperfect-information games	4
Chimeric U-Net – Modifying the standard U-Net towards explainability	4
Integrating multi-armed bandit with local search for MaxSAT	4
Argumentative explanations for interactive recommendations	4
Dissecting scientific explanation in AI (sXAI): A case for medicine and healthcare	4
Explaining black-box classifiers using post-hoc explanations-by-example: The effect of explanations and error-rates in XAI user studies	4
Reward (Mis)design for autonomous driving	4
Explainable AI tools for legal reasoning about cases: A study on the European Court of Human Rights	4
Accurate parameter estimation for safety-critical systems with unmodeled dynamics	4
AutoSTG+: An automatic framework to discover the optimal network for spatio-temporal graph prediction	4
Solving zero-sum one-sided partially observable stochastic games	4
Generative models for grid-based and image-based pathfinding	4
Multi resource allocation with partial preferences	3
Multi-instance learning of pretopological spaces to model complex propagation phenomena: Application to lexical taxonomy learning	3
Hybrid planning for challenging construction problems: An Answer Set Programming approach	3
Editorial Board	3
Differential privacy of hierarchical Census data: An optimization approach	3
Game description language and dynamic epistemic logic compared	3
Risk verification of stochastic systems with neural network controllers	3
An attention model for the formation of collectives in real-world domains	3
Editorial Board	3
Knowledge-based strategies for multi-agent teams playing against Nature	3
Discovering agents	3
A domain-independent agent architecture for adaptive operation in evolving open worlds	3
Efficient multi-agent epistemic planning: Teaching planners about nested belief	3
An integrated approach to solving influence diagrams and finite-horizon partially observable decision processes	3
Temporal segmentation in multi agent path finding with applications to explainability	3
Editorial Board	3
Epistemic GDL: A logic for representing and reasoning about imperfect information games	3
Situation calculus for controller synthesis in manufacturing systems with first-order state representation	3
Editorial Board	3
Simplified Risk-aware Decision Making with Belief-dependent Rewards in Partially Observable Domains	3
Making sense of sensory input	3
Shedding new light on the foundations of abstract argumentation: Modularization and weak admissibility	3
Editorial Board	3
Counterfactual state explanations for reinforcement learning agents via generative deep learning	3
Automatic generation of dominance breaking nogoods for a class of constraint optimization problems	3
Certified reinforcement learning with logic guidance	3
Emotion Selectable End-to-End Text-based Speech Editing	3
Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions	3
On the impact of the performance metric on efficient algorithm configuration	3
Spectral complexity-scaled generalisation bound of complex-valued neural networks	3
Datalog rewritability and data complexity of ALCHOIQ with closed predicates	3
Distributed optimization for degenerate loss functions arising from over-parameterization	3
Time-delayed collective flow diffusion models for inferring latent people flow from aggregated data at limited locations	3
A stochastic process approach for multi-agent path finding with non-asymptotic performance guarantees	3
On the landscape of one-hidden-layer sparse networks and beyond	3
A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic	3
Picking sequences and monotonicity in weighted fair division	3
Fair division of mixed divisible and indivisible goods	3
Learning infinite-word automata with loop-index queries	3
A tetrachotomy of ontology-mediated queries with a covering axiom	3
Memory-limited model-based diagnosis	3
Exploration-exploitation in multi-agent learning: Catastrophe theory meets game theory	3
SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints	3
End-to-end neural event coreference resolution	3
Gerrymandering individual fairness	3
Acyclic orders, partition schemes and CSPs: Unified hardness proofs and improved algorithms	3
Defying catastrophic forgetting via influence function	2
Sample-based bounds for coherent risk measures: Applications to policy synthesis and verification	2
A simple yet effective self-debiasing framework for transformer models	2
Corrigendum to “Accurate parameter estimation for safety-critical systems with unmodeled dynamics” [Artif. Intell. 316 (2023) 103857]	2
Editorial Board	2
Acceptance in incomplete argumentation frameworks	2
Polarized message-passing in graph neural networks	2
Bisimulation between base argumentation and premise-conclusion argumentation	2
NovPhy: A physical reasoning benchmark for open-world AI systems	2
A kinematics principle for iterated revision	2
Out-of-distribution detection by regaining lost clues	2
Open-world continual learning: Unifying novelty detection and continual learning	2
Hedonic diversity games: A complexity picture with more than two colors	2
Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks	2
The first AI4TSP competition: Learning to solve stochastic routing problems	2
Approximating problems in abstract argumentation with graph convolutional networks	2
Dynamically improved bounds bidirectional search	2
Human performance consequences of normative and contrastive explanations: An experiment in machine learning for reliability maintenance	2
Efficient projection algorithms onto the weighted ℓ1 ball	2
Spectral clustering with robust self-learning constraints	2
Knowledge graphs as tools for explainable machine learning: A survey	2
AI-driven transcriptome profile-guided hit molecule generation	2