Artificial Intelligence

Article	Citations
Online learning in sequential Bayesian persuasion: Handling unknown priors	397
Diagnosis of intermittent faults in Multi-Agent Systems: An SFL approach	368
Knowledge-driven profile dynamics	337
Planning-based knowing how: A unified approach	277
Primarily about primaries	173
Polynomial combined first-order rewritings for linear and guarded existential rules	134
Drawing a map of elections	119
Mitigating robust overfitting via self-residual-calibration regularization	98
Ballooning multi-armed bandits	86
Iterative voting with partial preferences	80
A computational model of Ostrom's Institutional Analysis and Development framework	72
Transfer learning for collaborative recommendation with biased and unbiased data	70
“That's (not) the output I expected!” On the role of end user expectations in creating explanations of AI systems	68
Risk-averse autonomous systems: A brief history and recent developments from the perspective of optimal control	65
Epistemic planning: Perspectives on the special issue	63
Manipulation and peer mechanisms: A survey	57
Defense coordination in security games: Equilibrium analysis and mechanism design	50
An α-regret analysis of adversarial bilateral trade	49
Hyper-heuristics for personnel scheduling domains	47
SensorSCAN: Self-supervised learning and deep clustering for fault diagnosis in chemical processes	46
The distortion of distributed metric social choice	44
Accurate parameter estimation for safety-critical systems with unmodeled dynamics	42
An efficient algorithm for counting Markov equivalent DAGs	39
Learning MAX-SAT from contextual examples for combinatorial optimisation	39
(1+1) genetic programming with functionally complete instruction sets can evolve Boolean conjunctions and disjunctions with arbitrarily small error	38

No free lunch theorem for privacy-preserving LLM inference	37
Fair allocation of indivisible goods: Beyond additive valuations	37
GoSafeOpt: Scalable safe exploration for global optimization of dynamical systems	33
Reward is enough	33
CureGraph: Contrastive multi-modal graph representation learning for urban living circle health profiling and prediction	33
Propositional and predicate logics of incomplete information	32
End-to-end neural event coreference resolution	32
Certified reinforcement learning with logic guidance	32
Approximate weighted model integration on DNF structures	30
Editorial Board	30
Corrigendum to “Accurate parameter estimation for safety-critical systems with unmodeled dynamics” [Artif. Intell. 316 (2023) 103857]	30
Editorial Board	28
Editorial Board	28
The complexity landscape of claim-augmented argumentation frameworks	27
Editorial Board	27
A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic	26
From statistical relational to neurosymbolic artificial intelligence: A survey	25
Acceptance in incomplete argumentation frameworks	25
Temporal inductive path neural network for temporal knowledge graph reasoning	24
Spectral clustering with robust self-learning constraints	24
Counterfactual state explanations for reinforcement learning agents via generative deep learning	23
Lifted action models learning from partial traces	22
Exploratory machine learning with unknown unknowns	22
Editorial Board	21
Atlas of AI – Book review	20
Editorial Board	20
Editorial Board	20
Integrating symbolic reasoning into neural generative models for design generation	19
Self-adjusting offspring population sizes outperform fixed parameters on the cliff function	19
Logical separability of labeled data examples under ontologies	19
A multi-graph representation for event extraction	19
Automatically designing counterfactual regret minimization algorithms for solving imperfect-information games	19
Sequential model-based diagnosis by systematic search	18
Acquiring and modeling abstract commonsense knowledge via conceptualization	18
Is it possible to find the single nearest neighbor of a query in high dimensions?	18
Approximating problems in abstract argumentation with graph convolutional networks	17
Editorial Board	17
Editorial Board	17
Editorial Board	16
Syntactic ASP forgetting with forks	16
Editorial Board	16
Temporal logic explanations for dynamic decision systems using anchors and Monte Carlo Tree Search	16
A claim-centric perspective on abstract argumentation semantics: Claim-defeat, principles, and expressiveness	15
Commonsense visual sensemaking for autonomous driving – On generalised neurosymbolic online abduction integrating vision and semantics	15
The notion of Abstraction in Ontology-based Data Management	15
Gradient-based mixed planning with symbolic and numeric action parameters	14
Emotional conversation generation with heterogeneous graph neural network	14
Functional Relation Field: A Model-Agnostic Framework for Multivariate Time Series Forecasting	14
Committing to correlated strategies with multiple leaders	14
An abstract and structured account of dialectical argument strength	14

Logic Tensor Networks	14
Multi-view graph convolutional networks with attention mechanism	14
Corrigendum to “Learning constraints through partial queries” [Artificial Intelligence 319 (2023) 103896]	13
New width parameters for SAT and #SAT	13
Reward-respecting subtasks for model-based reinforcement learning	13
Editorial Board	13
Safe, learning-based MPC for highway driving under lane-change uncertainty: A distributionally robust approach	13
Privacy-preserving graph convolution network for federated item recommendation	12
Pessimistic value iteration for multi-task data sharing in Offline Reinforcement Learning	12
Coalitional permutation manipulations in the Gale-Shapley algorithm	12
(Re)Conceptualizing trustworthy AI: A foundation for change	11
Investigating the properties of neural network representations in reinforcement learning	11
Discrete preference games with logic-based agents: Formal framework, complexity, and islands of tractability	11
Fine-tuning transformers: Vocabulary transfer	11
Risk-aware controller for autonomous vehicles using model-based collision prediction and reinforcement learning	11
On measuring inconsistency in graph databases with regular path constraints	11
Almost proportional allocations of indivisible chores: Computation, approximation and efficiency	11
The influence of dimensions on the complexity of computing decision trees	11
Editorial Board	11
Adversarial analysis of similarity-based sign prediction	11
Optimizing the computation of overriding in DL<	11
DEED: DEep Evidential Doctor	11
Matching papers and reviewers at large conferences	10
Using ontologies to enhance human understandability of global post-hoc explanations of black-box models	10
Taking into account “who said what” in abstract argumentation: Complexity results	10
Maximum Likelihood Evidential Reasoning	10
Credulous acceptance in high-order argumentation frameworks with necessities: An incremental approach	10
Improved metric distortion via threshold approvals	10
On the computation of mixed strategies for security games with general defending requirements	10
Truthful aggregation of budget proposals with proportionality guarantees	10
Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs	9
A framework for step-wise explaining how to solve constraint satisfaction problems	9
A polynomial reduction of forks into logic programs	9
Learning a fast 3D spectral approach to object segmentation and tracking over space and time	9
Generative models for grid-based and image-based pathfinding	9
The complexity of optimizing atomic congestion	9
Algorithms and conditional lower bounds for planning problems	9
Saliency-aware regularized graph neural network	9
Integrating multi-armed bandit with local search for MaxSAT	9
Natural language watermarking via paraphraser-based lexical substitution	9
AI-driven transcriptome profile-guided hit molecule generation	8
Search-engine-augmented dialogue response generation with cheaply supervised query production	8
A tetrachotomy of ontology-mediated queries with a covering axiom	8
Evolving interpretable decision trees for reinforcement learning	8
Budget-feasible mechanisms for proportionally selecting agents from groups	8
Multi resource allocation with partial preferences	8
Reward (Mis)design for autonomous driving	8
Argumentative explanations for interactive recommendations	8
Neural probabilistic logic programming in DeepProbLog	7
Acyclic orders, partition schemes and CSPs: Unified hardness proofs and improved algorithms	7
Entropy estimation via uniformization	7
Adaptive large-neighbourhood search for optimisation in answer-set programming	7
A general framework for preferences in answer set programming	7
Hierarchical clustering optimizes the tradeoff between compositionality and expressivity of task structures for flexible reinforcement learning	7
Editorial Board	7
Bisimulation between base argumentation and premise-conclusion argumentation	7
Editorial Board	7
A neurosymbolic cognitive architecture framework for handling novelties in open worlds	7
Editorial Board	7
Picking sequences and monotonicity in weighted fair division	7
Knowledge-based strategies for multi-agent teams playing against Nature	7
Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming	7
Data-informed knowledge and strategies	7
Online joint bid/daily budget optimization of Internet advertising campaigns	7
Bayesian auctions with efficient queries	6
Editorial Board	6
Sound and complete causal identification with latent variables given local background knowledge	6
Knowledge is power: Open-world knowledge representation learning for knowledge-based visual reasoning	6
Abstraction for non-ground answer set programs	6
Analyzing generalized planning under nondeterminism	6
Negotiation strategies for agents with ordinal preferences: Theoretical analysis and human study	6
Choice logics and their computational properties	6
Class fairness in online matching	6
Editorial Board	6
Privacy preserving solution of DCOPs by mediation	6
Editorial Board	6
IID prophet inequality with a single data point	6
EMOA*: A framework for search-based multi-objective path planning	6
Characterising harmful data sources when constructing multi-fidelity surrogate models	6
Editorial Board	6

Are the BERT family zero-shot learners? A study on their potential and limitations	6
Open-world probabilistic databases: Semantics, algorithms, complexity	6
Integration of memory systems supporting non-symbolic representations in an architecture for lifelong development of artificial agents	6
Addressing maximization bias in reinforcement learning with two-sample testing	6
A differentiable first-order rule learner for inductive logic programming	6
Editorial Board	6
A note on incorrect inferences in non-binary qualitative probabilistic networks	6
A crossword solving system based on Monte Carlo tree search	5
ICCMA 2023: 5th International Competition on Computational Models of Argumentation	5
Lifted inference with tree axioms	5
Using state abstractions to compute personalized contrastive explanations for AI agent behavior	5
Towards well-generalizing meta-learning via adversarial task augmentation	5
Schelling games on graphs	5
Neural large neighborhood search for routing problems	5
VoCSK: Verb-oriented commonsense knowledge mining with taxonomy-guided induction	5
Inhomogeneous deep Q-network for time sensitive applications	5
Editorial Board	5
A general multi-agent epistemic planner based on higher-order belief change	5
Editorial Board	5
A counter abstraction technique for verifying properties of probabilistic swarm systems	5
Toward personalized XAI: A case study in intelligent tutoring systems	5
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving	5
DivGAN: A diversity enforcing generative adversarial network for mode collapse reduction	5
Treewidth-aware reductions of normal ASP to SAT – Is normal ASP harder than SAT after all?	5
Simple and efficient bi-objective search algorithms via fast dominance checks	5
Strategyproof Allocation Mechanisms with Endowments and M-convex Distributional Constraints	5
A lightweight epistemic logic and its application to planning	5
A conflict-directed approach to chance-constrained mixed logical linear programming	5
Q-Learning-based model predictive variable impedance control for physical human-robot collaboration	5
Logic Explained Networks	5
On Pareto optimality in social distance games	5
Syntactic reasoning with conditional probabilities in deductive argumentation	5
Knowledge-based programs as building blocks for planning	5
Counterfactuals as modal conditionals, and their probability	5
Situated conditional reasoning	4
Reasoning about causality in games	4
Bayesian feature interaction selection for factorization machines	4
Risk-averse policy optimization via risk-neutral policy optimization	4
Explainable AI and stakes in medicine: A user study	4
AI Journal Special Issue on Ethics for Autonomous Systems	4
Factored-Reward Bandits with Intermediate Observations: Regret Minimization and Best Arm Identification	4
TEAMSTER: Model-based reinforcement learning for ad hoc teamwork	4
Learning infinite-word automata with loop-index queries	4
How to find a good explanation for clustering?	4
GUBS criterion: Arbitrary trade-offs between cost and probability-to-goal in stochastic planning based on Expected Utility Theory	4
Editorial Board	4
LMMS reloaded: Transformer-based sense embeddings for disambiguation and beyond	4
Approximately EFX allocations for indivisible chores	4
Memory-limited model-based diagnosis	4
AutoSTG+: An automatic framework to discover the optimal network for spatio-temporal graph prediction	4
Hybrid planning for challenging construction problems: An Answer Set Programming approach	4
Probabilistic reach-avoid for Bayesian neural networks	4
Pre-training and diagnosing knowledge base completion models	4
A false sense of security	4
A stochastic process approach for multi-agent path finding with non-asymptotic performance guarantees	4
A simple yet effective self-debiasing framework for transformer models	4
Editorial Board	4
A domain-independent agent architecture for adaptive operation in evolving open worlds	4
TTVAE: Transformer-based generative modeling for tabular data generation	4
Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks	4
Enhanced aspect-based sentiment analysis models with progressive self-supervised attention learning	3
Conflict-tolerant and conflict-free multi-agent meeting	3
Grounded predictions of teamwork as a one-shot game: A multiagent multi-armed bandits approach	3
Controlled query evaluation in description logics through consistent query answering	3
An anytime algorithm for constrained stochastic shortest path problems with deterministic policies	3
Axiomatic characterization of PageRank	3
PathLAD+: Towards effective exact methods for subgraph isomorphism problem	3
Solving Projected Model Counting by Utilizing Treewidth and its Limits	3
Propositional proof systems based on maximum satisfiability	3
On trivalent logics, probabilistic weak deduction theorems, and a general import-export principle	3
Editorial Board	3
A review of possible effects of cognitive biases on interpretation of rule-based machine learning models	3
Explain it as simple as possible, but no simpler – Explanation via model simplification for addressing inferential gap	3
Revision operators with compact representations	3
ASP and subset minimality: Enumeration, cautious reasoning and MUSes	3
Editorial Board	3
Strategyproof mechanisms for Friends and Enemies Games	3
Sample-based bounds for coherent risk measures: Applications to policy synthesis and verification	3
Answers set programs for non-transferable utility games: Expressiveness, complexity and applications	3
Globalizing constraint models	3
Generalized planning as heuristic search: A new planning search-space that leverages pointers over objects	3
Interpretation modeling: Social grounding of sentences by reasoning over their implicit moral judgments	3
Finding the optimal exploration-exploitation trade-off online through Bayesian risk estimation and minimization	3
Task-guided IRL in POMDPs that scales	3
Fair and efficient allocation with few agent types, few item types, or small value levels	3
Learning spatio-temporal dynamics on mobility networks for adaptation to open-world events	3
Probabilistic modelling of general noisy multi-manifold data sets	3
Automated streamliner portfolios for constraint satisfaction problems	3
An extended view on lifting Gaussian Bayesian networks	3
Iterative genetic improvement: Scaling stochastic program synthesis	3
Width-based search for multi agent privacy-preserving planning	3
Certifiably robust interpretation via Rényi differential privacy	3
Measuring power in coalitional games with friends, enemies and allies	3
Editorial Board	3
Stable fractional matchings	3