Artificial Intelligence

Article	Citations
Multiple object tracking: A literature review	336
A survey of inverse reinforcement learning: Challenges, methods and progress	194
What do we want from Explainable Artificial Intelligence (XAI)? – A stakeholder perspective on XAI and a conceptual model guiding interdisciplinary XAI research	192
Reward is enough	190
Explaining individual predictions when features are dependent: More accurate approximations to Shapley values	187
Evaluating XAI: A comparison of rule-based and example-based explanations	135
Explaining black-box classifiers using post-hoc explanations-by-example: The effect of explanations and error-rates in XAI user studies	92
Knowledge graphs as tools for explainable machine learning: A survey	83
Explanation in AI and law: Past, present and future	65
Using ontologies to enhance human understandability of global post-hoc explanations of black-box models	58
Logic Tensor Networks	54
GLocalX - From Local to Global Explanations of Black Box AI Models	53
Relation between prognostics predictor evaluation metrics and local interpretability SHAP values	50
Interestingness elements for explainable reinforcement learning: Understanding agents' capabilities and limitations	45
Levels of explainable artificial intelligence for human-aligned conversational explanations	45
A review of possible effects of cognitive biases on interpretation of rule-based machine learning models	44
Evaluating local explanation methods on ground truth	43
Swarm intelligence for self-organized clustering	42
Analyzing Differentiable Fuzzy Logic Operators	40
Toward personalized XAI: A case study in intelligent tutoring systems	39
Enhanced aspect-based sentiment analysis models with progressive self-supervised attention learning	32
Sensitive loss: Improving accuracy and fairness of face representations with discrimination-aware deep learning	29
Combining gaze and AI planning for online human intention recognition	29
Neural probabilistic logic programming in DeepProbLog	28
Multi-view graph convolutional networks with attention mechanism	26

Multi-agent pathfinding with continuous time	26
Qualitative case-based reasoning and learning	26
Robust learning with imperfect privileged information	26
Dissecting scientific explanation in AI (sXAI): A case for medicine and healthcare	24
Pairwise symmetry reasoning for multi-agent path finding search	24
Memetic algorithms outperform evolutionary algorithms in multimodal optimisation	24
Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support	23
Local and global explanations of agent behavior: Integrating strategy summaries with saliency maps	22
PopMNet: Generating structured pop music melodies using neural networks	22
How do fairness definitions fare? Testing public attitudes towards three algorithmic definitions of fairness in loan allocations	22
Argumentative explanations for interactive recommendations	22
Counterfactual state explanations for reinforcement learning agents via generative deep learning	22
Q-Learning-based model predictive variable impedance control for physical human-robot collaboration	21
Adapting a kidney exchange algorithm to align with human values	20
“That's (not) the output I expected!” On the role of end user expectations in creating explanations of AI systems	20
Ethical approaches and autonomous systems	20
SAT Competition 2020	20
Fair navigation planning: A resource for characterizing and designing fairness in mobile robots	19
Acceptance in incomplete argumentation frameworks	18
Boolean algebras of conditionals, probability and logic	18
Hard choices in artificial intelligence	18
Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability	17
Evaluation of argument strength in attack graphs: Foundations and semantics	17
CVPR 2020 continual learning in computer vision competition: Approaches, results, current challenges and future directions	17
The quest of parsimonious XAI: A human-agent architecture for explanation formulation	17
A technical survey on statistical modelling and design methods for crowdsourcing quality control	17
SAT-based explicit LTLf	16
Towards convergence rate analysis of random forests for classification	15
Assessing the communication gap between AI models and healthcare professionals: Explainability, utility and trust in AI-driven clinical decision-making	15
Rethinking epistemic logic with belief bases	15
Making sense of sensory input	14
Synchronous bidirectional inference for neural sequence generation	14
Foundations of explanations as model reconciliation	14
Priority inheritance with backtracking for iterative multi-agent path finding	13
DEL-based epistemic planning: Decidability and complexity	13
An approach for combining ethical principles with public opinion to guide public policy	13
Commonsense visual sensemaking for autonomous driving – On generalised neurosymbolic online abduction integrating vision and semantics	13
Bayesian feature interaction selection for factorization machines	13
Peeking behind the ordinal curtain: Improving distortion via cardinal queries	13
Path-length analysis for grid-based path planning	13
Story embedding: Learning distributed representations of stories based on character networks	13
The distortion of distributed voting	12
Kandinsky Patterns	12
Quantifying and alleviating political bias in language models	12
Making sense of raw input	12
Fair division of mixed divisible and indivisible goods	12
Negotiating team formation using deep reinforcement learning	12
Spatial relation learning for explainable image classification and annotation in critical applications	12
Mis- and disinformation in a bounded confidence model	11
Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models	11

Real-time reasoning in OWL2 for GDPR compliance	11
Pareto optimization for subset selection with dynamic cost constraints	11
Embedding deep networks into visual explanations	10
Fair division of indivisible goods: Recent progress and open questions	10
On the equivalence of optimal recommendation sets and myopically optimal query sets	10
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games	10
Dependency-based syntax-aware word representations	10
Risk-averse autonomous systems: A brief history and recent developments from the perspective of optimal control	9
The logic of gossiping	9
Logic Explained Networks	9
Exploration-exploitation in multi-agent learning: Catastrophe theory meets game theory	9
Dynamic term-modal logics for first-order epistemic planning	9
An action language for multi-agent domains	9
Imperfect ImaGANation: Implications of GANs exacerbating biases on facial data augmentation and snapchat face lenses	9
End-to-end neural event coreference resolution	9
Using state abstractions to compute personalized contrastive explanations for AI agent behavior	9
A reconstruction of multipreference closure	9
G-LIME: Statistical learning for local interpretations of deep neural network	9
Weakly-supervised sensor-based activity segmentation and recognition via learning from distributions	9
The defeat of the Winograd Schema Challenge	8
Emotional conversation generation with heterogeneous graph neural network	8
Evaluation of the moral permissibility of action plans	8
Utilitarian welfare and representation guarantees of approval-based multiwinner rules	8
Rethinking formal models of partially observable multiagent decision making	8
Schelling games on graphs	8
Overlapping communities and roles in networks with node attributes: Probabilistic graphical modeling, Bayesian formulation and variational inference	8
Price of Pareto Optimality in hedonic games	8
Online joint bid/daily budget optimization of Internet advertising campaigns	8
Explainable AI tools for legal reasoning about cases: A study on the European Court of Human Rights	8
A semantics for Hybrid Probabilistic Logic programs with function symbols	8
Planning-based knowing how: A unified approach	8
Envy-free allocations respecting social networks	8
Open-world probabilistic databases: Semantics, algorithms, complexity	8
An improved approximation algorithm for maximin shares	8
Dashed strings for string constraint solving	8
Using POMDPs for learning cost sensitive decision trees	8
Picking sequences and monotonicity in weighted fair division	7
When move acceptance selection hyper-heuristics outperform Metropolis and elitist evolutionary algorithms and when not	7
Expanding the prediction capacity in long sequence time-series forecasting	7
Why bad coffee? Explaining BDI agent behaviour with valuings	7
An epistemic logic of blameworthiness	7
Reward (Mis)design for autonomous driving	7
ASER: Towards large-scale commonsense knowledge acquisition via higher-order selectional preference over eventualities	7
X*: Anytime Multi-Agent Path Finding for Sparse Domains using Window-Based Iterative Repairs	7
Integrating social influence modeling and user modeling for trust prediction in signed networks	7
Deliberative acting, planning and learning with hierarchical operational models	7
Special issue on Explainable Artificial Intelligence (XAI)	7
Robustness among multiwinner voting rules	7
On the robustness of sparse counterfactual explanations to adverse perturbations	7
On fair selection in the presence of implicit and differential variance	7
Verification of multi-agent systems with public actions against strategy logic	6
Complexity of abstract argumentation under a claim-centric view	6
Differential privacy of hierarchical Census data: An optimization approach	6
Artificial Intelligence requires more than deep learning — but what, exactly?	6
Mitigating robust overfitting via self-residual-calibration regularization	6
Multi-agent path finding with mutex propagation	6
Diversity of solutions: An exploration through the lens of fixed-parameter tractability theory	6
On the noise estimation statistics	6
A framework for step-wise explaining how to solve constraint satisfaction problems	6
Diffusion auction design	6
Computational complexity of flat and generic Assumption-Based Argumentation, with and without probabilities	6
Preference-based inconsistency-tolerant query answering under existential rules	6
PC-SyncBB: A privacy preserving collusion secure DCOP algorithm	6
The distortion of distributed metric social choice	6
Epistemic graphs for representing and reasoning with positive and negative influences of arguments	6
Compatibility, desirability, and the running intersection property	6
Probabilistic reasoning about epistemic action narratives	5
Knowledge-based programs as succinct policies for partially observable domains	5
Fair allocation of indivisible goods: Beyond additive valuations	5
Control complexity in Borda elections: Solving all open cases of offline control and some cases of online control	5
Monitoring of perception systems: Deterministic, probabilistic, and learning-based fault detection and identification	5
Verification of agent navigation in partially-known environments	5
On the limits of forgetting in Answer Set Programming	5
Game description language and dynamic epistemic logic compared	5
Show or suppress? Managing input uncertainty in machine learning model explanations	5
Credibility Dynamics: A belief-revision-based trust model with pairwise comparisons	5
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information	5
Margin of victory for tournament solutions	5
An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms	5
AutoSTG+: An automatic framework to discover the optimal network for spatio-temporal graph prediction	5

Efficient multi-agent epistemic planning: Teaching planners about nested belief	5
Effective footstep planning using homotopy-class guidance	5
Expecting the unexpected: Goal recognition for rational and irrational agents	5
Abstraction for non-ground answer set programs	5
Probabilistic modelling of general noisy multi-manifold data sets	5
The metric distortion of multiwinner voting	5
Approximation and hardness of Shift-Bribery	4
Propositional and predicate logics of incomplete information	4
On the complexity of reasoning about opinion diffusion under majority dynamics	4
A budget-limited mechanism for category-aware crowdsourcing of multiple-choice tasks	4
Handling and measuring inconsistency in non-monotonic logics	4
Popularity-similarity random SAT formulas	4
Incremental computation for structured argumentation over dynamic DeLP knowledge bases	4
Special issue on autonomous agents modelling other agents: Guest editorial	4
Understanding the power of Max-SAT resolution through UP-resilience	4
Shedding new light on the foundations of abstract argumentation: Modularization and weak admissibility	4
Batch repair actions for automated troubleshooting	4
A lightweight epistemic logic and its application to planning	4
Risk-aware controller for autonomous vehicles using model-based collision prediction and reinforcement learning	4
Result diversification by multi-objective evolutionary algorithms with theoretical guarantees	4
Improved local search for the minimum weight dominating set problem in massive graphs by using a deep optimization mechanism	4
Simple and efficient bi-objective search algorithms via fast dominance checks	4
The quarks of attention: Structure and capacity of neural attention building blocks	4
Propositional proof systems based on maximum satisfiability	4
CPCES: A planning framework to solve conformant planning problems through a counterexample guided refinement	4
LMMS reloaded: Transformer-based sense embeddings for disambiguation and beyond	4
Memory-limited model-based diagnosis	4
Tractability of explaining classifier decisions	4
Definability for model counting	4
Autoepistemic answer set programming	4
Safe multi-agent reinforcement learning for multi-robot control	4
Bayesian agency: Linear versus tractable contracts	4
A local method for identifying causal relations under Markov equivalence	4
Paracoherent answer set computation	4
Natural language watermarking via paraphraser-based lexical substitution	3
Metamodeling and metaquerying in OWL2QL	3
Epistemic planning: Perspectives on the special issue	3
The complexity landscape of decompositional parameters for ILP: Programs with few global variables and constraints	3
Knowing the price of success	3
Quantifying controllability in temporal networks with uncertainty	3
DivGAN: A diversity enforcing generative adversarial network for mode collapse reduction	3
Committing to correlated strategies with multiple leaders	3
Combining experts' causal judgments	3
Hierarchical clustering optimizes the tradeoff between compositionality and expressivity of task structures for flexible reinforcement learning	3
On fair price discrimination in multi-unit markets	3
Spectral clustering with robust self-learning constraints	3
SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints	3
Limited lookahead in imperfect-information games	3
On the impact of the performance metric on efficient algorithm configuration	3
How to find a good explanation for clustering?	3
Safe, learning-based MPC for highway driving under lane-change uncertainty: A distributionally robust approach	3
Accurate parameter estimation for safety-critical systems with unmodeled dynamics	3
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving	3
PredDiff: Explanations and interactions from conditional expectations	3
Choice logics and their computational properties	3
Fine-tuning transformers: Vocabulary transfer	3
When security games hit traffic: A deployed optimal traffic enforcement system	3
Inconsistency-tolerant query answering for existential rules	3
Logical separability of labeled data examples under ontologies	3
On strengthening the logic of iterated belief revision: Proper ordinal interval operators	3
Certified reinforcement learning with logic guidance	3
Distributed optimization for degenerate loss functions arising from over-parameterization	3
Dynamically improved bounds bidirectional search	3
Discovering agents	3
Online perceptual learning and natural language acquisition for autonomous robots	3
Intrinsic approaches to prioritizing diagnoses in multi-context systems	3
Autoepistemic equilibrium logic and epistemic specifications	3
Portioning using ordinal preferences: Fairness and efficiency	3
Treewidth-aware reductions of normal ASP to SAT – Is normal ASP harder than SAT after all?	3
Chaos game representation for authorship attribution	3
A k-additive Choquet integral-based approach to approximate the SHAP values for local interpretability in machine learning	3
On existence of truthful fair cake cutting mechanisms	3
Data-informed knowledge and strategies	3
Fast and accurate data-driven goal recognition using process mining techniques	3
Fast optimal and bounded suboptimal Euclidean pathfinding	3
Time-delayed collective flow diffusion models for inferring latent people flow from aggregated data at limited locations	3
Epistemic GDL: A logic for representing and reasoning about imperfect information games	3
Diagnosis of intermittent faults in Multi-Agent Systems: An SFL approach	2
An efficient algorithm for counting Markov equivalent DAGs	2
Algorithms and conditional lower bounds for planning problems	2
Knowledge-based programs as building blocks for planning	2
A computational model of Ostrom's Institutional Analysis and Development framework	2
On Pareto optimality in social distance games	2
A unifying look at sequence submodularity	2
Risk-averse policy optimization via risk-neutral policy optimization	2
Post-trained convolution networks for single image super-resolution	2
Recursive reasoning-based training-time adversarial machine learning	2
A general multi-agent epistemic planner based on higher-order belief change	2
Strategyproof Allocation Mechanisms with Endowments and M-convex Distributional Constraints	2
Mind the gap: Cake cutting with separation	2
Scheduling with complete multipartite incompatibility graph on parallel machines: Complexity and algorithms	2
Compact and efficient encodings for planning in factored state and action spaces with learned Binarized Neural Network transition models	2
Reasoning about causality in games	2
Competence-aware systems	2
Sim-to-Lab-to-Real: Safe reinforcement learning with shielding and generalization guarantees	2