Artificial Intelligence

Article	Citations
Online learning in sequential Bayesian persuasion: Handling unknown priors	449
Knowledge-driven profile dynamics	299
Primarily about primaries	191
Polynomial combined first-order rewritings for linear and guarded existential rules	163
Drawing a map of elections	139
Mitigating robust overfitting via self-residual-calibration regularization	113
Iterative voting with partial preferences	85
Transfer learning for collaborative recommendation with biased and unbiased data	83
A computational model of Ostrom's Institutional Analysis and Development framework	79
Diagnosis of intermittent faults in Multi-Agent Systems: An SFL approach	78
“That's (not) the output I expected!” On the role of end user expectations in creating explanations of AI systems	68
An α-regret analysis of adversarial bilateral trade	67
Accurate parameter estimation for safety-critical systems with unmodeled dynamics	59
An efficient algorithm for counting Markov equivalent DAGs	55
Learning MAX-SAT from contextual examples for combinatorial optimisation	53
(1+1) genetic programming with functionally complete instruction sets can evolve Boolean conjunctions and disjunctions with arbitrarily small error	50
Hyper-heuristics for personnel scheduling domains	49
Manipulation and peer mechanisms: A survey	49
Epistemic planning: Perspectives on the special issue	48
Risk-averse autonomous systems: A brief history and recent developments from the perspective of optimal control	48
Reward is enough	47
No free lunch theorem for privacy-preserving LLM inference	43
GoSafeOpt: Scalable safe exploration for global optimization of dynamical systems	42
Defense coordination in security games: Equilibrium analysis and mechanism design	40
Fair allocation of indivisible goods: Beyond additive valuations	37

CureGraph: Contrastive multi-modal graph representation learning for urban living circle health profiling and prediction	34
The distortion of distributed metric social choice	34
SensorSCAN: Self-supervised learning and deep clustering for fault diagnosis in chemical processes	34
Certified reinforcement learning with logic guidance	33
Approximate weighted model integration on DNF structures	32
End-to-end neural event coreference resolution	32
Corrigendum to “Accurate parameter estimation for safety-critical systems with unmodeled dynamics” [Artif. Intell. 316 (2023) 103857]	30
CBS-Budget (CBSB): A complete and bounded suboptimal search for multi-agent path finding	30
Editorial Board	29
Editorial Board	29
Editorial Board	29
Editorial Board	28
Learning optimal contracts with small action spaces	27
The complexity landscape of claim-augmented argumentation frameworks	27
A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic	26
Introduction to open-world AI	24
Spectral clustering with robust self-learning constraints	22
Propositional and predicate logics of incomplete information	22
From statistical relational to neurosymbolic artificial intelligence: A survey	21
Editorial Board	21
Editorial Board	21
Atlas of AI – Book review	21
Logical separability of labeled data examples under ontologies	21
Temporal inductive path neural network for temporal knowledge graph reasoning	21
Automatically designing counterfactual regret minimization algorithms for solving imperfect-information games	21
Editorial Board	21
Integrating symbolic reasoning into neural generative models for design generation	20
Is it possible to find the single nearest neighbor of a query in high dimensions?	20
Acquiring and modeling abstract commonsense knowledge via conceptualization	20
Lifted action models learning from partial traces	20
Exploratory machine learning with unknown unknowns	19
Approximating problems in abstract argumentation with graph convolutional networks	19
Sequential model-based diagnosis by systematic search	18
Self-adjusting offspring population sizes outperform fixed parameters on the cliff function	18
Editorial Board	17
Editorial Board	17
A multi-graph representation for event extraction	17
Editorial Board	17
Editorial Board	17
Temporal logic explanations for dynamic decision systems using anchors and Monte Carlo Tree Search	16
Syntactic ASP forgetting with forks	15
A claim-centric perspective on abstract argumentation semantics: Claim-defeat, principles, and expressiveness	15
Emotional conversation generation with heterogeneous graph neural network	15
An abstract and structured account of dialectical argument strength	15
Gradient-based mixed planning with symbolic and numeric action parameters	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
Committing to correlated strategies with multiple leaders	15
Functional Relation Field: A Model-Agnostic Framework for Multivariate Time Series Forecasting	15
Logic Tensor Networks	14

Corrigendum to “Learning constraints through partial queries” [Artificial Intelligence 319 (2023) 103896]	14
Multi-view graph convolutional networks with attention mechanism	14
Safe, learning-based MPC for highway driving under lane-change uncertainty: A distributionally robust approach	13
Reward-respecting subtasks for model-based reinforcement learning	13
Editorial Board	13
Privacy-preserving graph convolution network for federated item recommendation	13
Pessimistic value iteration for multi-task data sharing in Offline Reinforcement Learning	13
Coalitional permutation manipulations in the Gale-Shapley algorithm	13
Risk-aware controller for autonomous vehicles using model-based collision prediction and reinforcement learning	13
Discrete preference games with logic-based agents: Formal framework, complexity, and islands of tractability	12
Editorial Board	12
Investigating the properties of neural network representations in reinforcement learning	12
On measuring inconsistency in graph databases with regular path constraints	12
Adversarial analysis of similarity-based sign prediction	12
Optimizing the computation of overriding in DL<	12
Almost proportional allocations of indivisible chores: Computation, approximation and efficiency	12
(Re)Conceptualizing trustworthy AI: A foundation for change	11
Matching papers and reviewers at large conferences	11
Maximum Likelihood Evidential Reasoning	11
The influence of dimensions on the complexity of computing decision trees	11
Taking into account “who said what” in abstract argumentation: Complexity results	11
Fine-tuning transformers: Vocabulary transfer	11
DEED: DEep Evidential Doctor	11
Learning a fast 3D spectral approach to object segmentation and tracking over space and time	10
Generative models for grid-based and image-based pathfinding	10
Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs	10
The complexity of optimizing atomic congestion	10
Truthful aggregation of budget proposals with proportionality guarantees	9
Search-engine-augmented dialogue response generation with cheaply supervised query production	9
Evolving interpretable decision trees for reinforcement learning	9
Integrating multi-armed bandit with local search for MaxSAT	9
Reward (Mis)design for autonomous driving	9
A framework for step-wise explaining how to solve constraint satisfaction problems	9
Improved metric distortion via threshold approvals	9
Credulous acceptance in high-order argumentation frameworks with necessities: An incremental approach	9
Natural language watermarking via paraphraser-based lexical substitution	9
Saliency-aware regularized graph neural network	9
Budget-feasible mechanisms for proportionally selecting agents from groups	9
On the computation of mixed strategies for security games with general defending requirements	9
FedHM: Efficient federated learning for heterogeneous models via low-rank factorization	9
A polynomial reduction of forks into logic programs	9
A general framework for preferences in answer set programming	8
Editorial Board	8
Multi resource allocation with partial preferences	8
Neural probabilistic logic programming in DeepProbLog	8
Sound and complete causal identification with latent variables given local background knowledge	8
AI-driven transcriptome profile-guided hit molecule generation	8
Bisimulation between base argumentation and premise-conclusion argumentation	8
Entropy estimation via uniformization	8
Editorial Board	8
Data-informed knowledge and strategies	8
A tetrachotomy of ontology-mediated queries with a covering axiom	8
Knowledge-based strategies for multi-agent teams playing against Nature	8
Picking sequences and monotonicity in weighted fair division	8
Privacy preserving solution of DCOPs by mediation	7
Adaptive large-neighbourhood search for optimisation in answer-set programming	7
Editorial Board	7
Addressing maximization bias in reinforcement learning with two-sample testing	7
Hierarchical clustering optimizes the tradeoff between compositionality and expressivity of task structures for flexible reinforcement learning	7
A neurosymbolic cognitive architecture framework for handling novelties in open worlds	7
Online joint bid/daily budget optimization of Internet advertising campaigns	7
Bayesian auctions with efficient queries	7
Editorial Board	7
Class fairness in online matching	7
Active legibility in multiagent reinforcement learning	7
Integration of memory systems supporting non-symbolic representations in an architecture for lifelong development of artificial agents	7
Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming	7
Editorial Board	7
A differentiable first-order rule learner for inductive logic programming	7
A general multi-agent epistemic planner based on higher-order belief change	6
Abstraction for non-ground answer set programs	6
Lifted inference with tree axioms	6
VoCSK: Verb-oriented commonsense knowledge mining with taxonomy-guided induction	6
Are the BERT family zero-shot learners? A study on their potential and limitations	6
Knowledge is power: Open-world knowledge representation learning for knowledge-based visual reasoning	6
Editorial Board	6
Towards well-generalizing meta-learning via adversarial task augmentation	6
Knowledge-based programs as building blocks for planning	6
Counterfactuals as modal conditionals, and their probability	6
Characterising harmful data sources when constructing multi-fidelity surrogate models	6

Analyzing generalized planning under nondeterminism	6
IID prophet inequality with a single data point	6
Editorial Board	6
A counter abstraction technique for verifying properties of probabilistic swarm systems	6
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving	6
On Pareto optimality in social distance games	6
A crossword solving system based on Monte Carlo tree search	6
Editorial Board	6
Logic Explained Networks	6
Negotiation strategies for agents with ordinal preferences: Theoretical analysis and human study	6
EMOA*: A framework for search-based multi-objective path planning	6
A note on incorrect inferences in non-binary qualitative probabilistic networks	6
A theory of synaptic neural balance: From local to global order	6
Neural large neighborhood search for routing problems	6
Choice logics and their computational properties	6
Pre-training and diagnosing knowledge base completion models	5
Inhomogeneous deep Q-network for time sensitive applications	5
Situated conditional reasoning	5
A conflict-directed approach to chance-constrained mixed logical linear programming	5
Treewidth-aware reductions of normal ASP to SAT – Is normal ASP harder than SAT after all?	5
Editorial Board	5
DivGAN: A diversity enforcing generative adversarial network for mode collapse reduction	5
A false sense of security	5
How to find a good explanation for clustering?	5
NT-FAN: A simple yet effective noise-tolerant few-shot adaptation network	5
Reasoning about causality in games	5
Syntactic reasoning with conditional probabilities in deductive argumentation	5
Strategyproof Allocation Mechanisms with Endowments and M-convex Distributional Constraints	5
Simple and efficient bi-objective search algorithms via fast dominance checks	5
ICCMA 2023: 5th International Competition on Computational Models of Argumentation	5
Editorial Board	5
Bayesian feature interaction selection for factorization machines	5
Using state abstractions to compute personalized contrastive explanations for AI agent behavior	5
GUBS criterion: Arbitrary trade-offs between cost and probability-to-goal in stochastic planning based on Expected Utility Theory	5
Q-Learning-based model predictive variable impedance control for physical human-robot collaboration	5
Schelling games on graphs	5
Toward personalized XAI: A case study in intelligent tutoring systems	5
Risk-averse policy optimization via risk-neutral policy optimization	5
Editorial Board	5
Deep optimal transport for domain adaptation on SPD manifolds	5
Probabilistic modelling of general noisy multi-manifold data sets	4
Controlled query evaluation in description logics through consistent query answering	4
Editorial Board	4
An extended view on lifting Gaussian Bayesian networks	4
Editorial Board	4
LMMS reloaded: Transformer-based sense embeddings for disambiguation and beyond	4
Learning infinite-word automata with loop-index queries	4
Explainable AI and stakes in medicine: A user study	4
Automated streamliner portfolios for constraint satisfaction problems	4
Probabilistic reach-avoid for Bayesian neural networks	4
Explain it as simple as possible, but no simpler – Explanation via model simplification for addressing inferential gap	4
Axiomatic characterization of PageRank	4
PathLAD+: Towards effective exact methods for subgraph isomorphism problem	4
Strategyproof mechanisms for Friends and Enemies Games	4
Strategyproof Mechanism for Two-Sided Matching with Resource Allocation	4
TTVAE: Transformer-based generative modeling for tabular data generation	4
Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks	4
Memory-limited model-based diagnosis	4
A simple yet effective self-debiasing framework for transformer models	4
A stochastic process approach for multi-agent path finding with non-asymptotic performance guarantees	4
AutoSTG+: An automatic framework to discover the optimal network for spatio-temporal graph prediction	4
An improved approximation algorithm for maximin shares	4
Conflict-tolerant and conflict-free multi-agent meeting	4
ASP and subset minimality: Enumeration, cautious reasoning and MUSes	4
Fair and efficient allocation with few agent types, few item types, or small value levels	4
An anytime algorithm for constrained stochastic shortest path problems with deterministic policies	4
Approximately EFX allocations for indivisible chores	4
AI Journal Special Issue on Ethics for Autonomous Systems	4
A domain-independent agent architecture for adaptive operation in evolving open worlds	4
TEAMSTER: Model-based reinforcement learning for ad hoc teamwork	4
Hybrid planning for challenging construction problems: An Answer Set Programming approach	4
A lightweight epistemic logic and its application to planning	4
Sample-based bounds for coherent risk measures: Applications to policy synthesis and verification	4
Improved maximin guarantees for subadditive and fractionally subadditive fair allocation problem	4
Editorial Board	3
Overlapping communities and roles in networks with node attributes: Probabilistic graphical modeling, Bayesian formulation and variational inference	3
G-LIME: Statistical learning for local interpretations of deep neural network	3
Choosing Abstraction Levels for Model-based Software Debugging: A Theoretical and Empirical Analysis for Spreadsheet Programs	3
Solving Projected Model Counting by Utilizing Treewidth and its Limits	3
Finding the optimal exploration-exploitation trade-off online through Bayesian risk estimation and minimization	3
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information	3
Identifying roles of formulas in inconsistency under Priest's minimally inconsistent logic of paradox	3
Priority inheritance with backtracking for iterative multi-agent path finding	3
Control complexity in Borda elections: Solving all open cases of offline control and some cases of online control	3
Dual-track spatio-temporal learning for urban flow prediction with adaptive normalization	3
Answers set programs for non-transferable utility games: Expressiveness, complexity and applications	3
Revision operators with compact representations	3
Globalizing constraint models	3
A simple proof-theoretic characterization of stable models: Reduction to difference logic and experiments	3
Explaining individual predictions when features are dependent: More accurate approximations to Shapley values	3
Grounded predictions of teamwork as a one-shot game: A multiagent multi-armed bandits approach	3
A budget-limited mechanism for category-aware crowdsourcing of multiple-choice tasks	3
Task-guided IRL in POMDPs that scales	3
On trivalent logics, probabilistic weak deduction theorems, and a general import-export principle	3
Certifiably robust interpretation via Rényi differential privacy	3