Artificial Intelligence

Article	Citations
Online learning in sequential Bayesian persuasion: Handling unknown priors	119
Polynomial combined first-order rewritings for linear and guarded existential rules	116
Diagnosis of intermittent faults in Multi-Agent Systems: An SFL approach	113
Editorial Board	102
Mitigating robust overfitting via self-residual-calibration regularization	96
Editorial Board	72
Primarily about primaries	67
Drawing a map of elections	66
Iterative voting with partial preferences	65
Knowledge-driven profile dynamics	63
Transfer learning for collaborative recommendation with biased and unbiased data	62
A computational model of Ostrom's Institutional Analysis and Development framework	61
No free lunch theorem for privacy-preserving LLM inference	59
Manipulation and peer mechanisms: A survey	57
Defense coordination in security games: Equilibrium analysis and mechanism design	54
Learning MAX-SAT from contextual examples for combinatorial optimisation	51
Weighted EF1 allocations for indivisible chores	49
Risk-averse autonomous systems: A brief history and recent developments from the perspective of optimal control	48
Epistemic planning: Perspectives on the special issue	38
Estimating possible causal effects with latent variables via adjustment and novel rule orientation	37
Hyper-heuristics for personnel scheduling domains	36
Multi-objective reinforcement learning for provably incentivising alignment with value systems	34
(1+1) genetic programming with functionally complete instruction sets can evolve Boolean conjunctions and disjunctions with arbitrarily small error	32
SensorSCAN: Self-supervised learning and deep clustering for fault diagnosis in chemical processes	30
An α-regret analysis of adversarial bilateral trade	28

The distortion of distributed metric social choice	28
Accurate parameter estimation for safety-critical systems with unmodeled dynamics	28
The complexity landscape of claim-augmented argumentation frameworks	27
GoSafeOpt: Scalable safe exploration for global optimization of dynamical systems	27
Editorial Board	26
A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic	25
Introduction to open-world AI	25
Settling the score: Portioning with cardinal preferences	24
CBS-Budget (CBSB): A complete and bounded suboptimal search for multi-agent path finding	23
Approximate weighted model integration on DNF structures	22
From statistical relational to neurosymbolic artificial intelligence: A survey	22
Editorial Board	22
Editorial Board	22
Corrigendum to “Accurate parameter estimation for safety-critical systems with unmodeled dynamics” [Artif. Intell. 316 (2023) 103857]	21
Learning optimal contracts with small action spaces	21
Certified reinforcement learning with logic guidance	20
Spectral clustering with robust self-learning constraints	20
CureGraph: Contrastive multi-modal graph representation learning for urban living circle health profiling and prediction	20
Temporal inductive path neural network for temporal knowledge graph reasoning	18
Contra2: A one-step active learning method for imbalanced graphs	18
Editorial Board	18
Editorial Board	17
Editorial Board	17
Acquiring and modeling abstract commonsense knowledge via conceptualization	17
Lifted action models learning from partial traces	16
Atlas of AI – Book review	16
Is it possible to find the single nearest neighbor of a query in high dimensions?	16
Editorial Board	16
Unsupervised sentence selection for creating a representative corpus in Turkish: An active learning approach	15
Integrating symbolic reasoning into neural generative models for design generation	14
Sequential model-based diagnosis by systematic search	14
Multi-excitation projective simulation with a many-body physics-inspired inductive bias	14
On the disjunctive rational closure of a conditional knowledge base	14
Exploratory machine learning with unknown unknowns	14
A multi-graph representation for event extraction	14
Approximating problems in abstract argumentation with graph convolutional networks	13
Self-adjusting offspring population sizes outperform fixed parameters on the cliff function	13
Logical separability of labeled data examples under ontologies	13
Editorial Board	13
Automatically designing counterfactual regret minimization algorithms for solving imperfect-information games	13
Gradient-based mixed planning with symbolic and numeric action parameters	13
Editorial Board	12
An abstract and structured account of dialectical argument strength	12
Abstracting situation calculus action theories	12
Functional Relation Field: A Model-Agnostic Framework for Multivariate Time Series Forecasting	12
The notion of Abstraction in Ontology-based Data Management	12
Environment promoted invariant information learning for graph out-of-distribution generalization	12
Temporal logic explanations for dynamic decision systems using anchors and Monte Carlo Tree Search	12
Pandora's box problem with time constraints	12
Syntactic ASP forgetting with forks	12

A claim-centric perspective on abstract argumentation semantics: Claim-defeat, principles, and expressiveness	12
Emotional conversation generation with heterogeneous graph neural network	11
Pessimistic value iteration for multi-task data sharing in Offline Reinforcement Learning	11
Argus: Programming with communication protocols in a belief-desire-intention architecture	11
One mind, many tongues: A deep dive into language-agnostic knowledge neurons in large language models	11
Discrete preference games with logic-based agents: Formal framework, complexity, and islands of tractability	11
Reward-respecting subtasks for model-based reinforcement learning	11
Corrigendum to “Learning constraints through partial queries” [Artificial Intelligence 319 (2023) 103896]	11
Risk-aware controller for autonomous vehicles using model-based collision prediction and reinforcement learning	11
Editorial Board	11
Multi-view graph convolutional networks with attention mechanism	11
Safe, learning-based MPC for highway driving under lane-change uncertainty: A distributionally robust approach	11
Privacy-preserving graph convolution network for federated item recommendation	11
Almost proportional allocations of indivisible chores: Computation, approximation and efficiency	11
On the design of truthful mechanisms for the capacitated facility location problem with two and more facilities	10
Maximum Likelihood Evidential Reasoning	10
Reinforcement learning in convergently non-stationary environments: Feudal hierarchies and learned representations	10
The influence of dimensions on the complexity of computing decision trees	10
Fine-tuning transformers: Vocabulary transfer	10
DEED: DEep Evidential Doctor	10
Optimizing the computation of overriding in DL<	10
Adversarial analysis of similarity-based sign prediction	10
On measuring inconsistency in graph databases with regular path constraints	10
Editorial Board	10
Investigating the properties of neural network representations in reinforcement learning	9
Saliency-aware regularized graph neural network	9
Taking into account “who said what” in abstract argumentation: Complexity results	9
A polynomial reduction of forks into logic programs	9
Matching papers and reviewers at large conferences	9
Credulous acceptance in high-order argumentation frameworks with necessities: An incremental approach	9
The complexity of optimizing atomic congestion	9
Learning a fast 3D spectral approach to object segmentation and tracking over space and time	9
(Re)Conceptualizing trustworthy AI: A foundation for change	9
Search-engine-augmented dialogue response generation with cheaply supervised query production	9
Many-objective problems where crossover is provably essential	9
Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs	9
Truthful aggregation of budget proposals with proportionality guarantees	8
Budget-feasible mechanisms for proportionally selecting agents from groups	8
Integrating multi-armed bandit with local search for MaxSAT	8
Evolving interpretable decision trees for reinforcement learning	8
FedHM: Efficient federated learning for heterogeneous models via low-rank factorization	8
Natural language watermarking via paraphraser-based lexical substitution	8
Improved metric distortion via threshold approvals	8
Reward (Mis)design for autonomous driving	8
A tetrachotomy of ontology-mediated queries with a covering axiom	8
On the computation of mixed strategies for security games with general defending requirements	8
Generative models for grid-based and image-based pathfinding	8
Adversarially robust unsupervised domain adaptation	8
Knowledge-based strategies for multi-agent teams playing against Nature	8
Relaxed core stability in hedonic games	7
Bisimulation between base argumentation and premise-conclusion argumentation	7
AI-driven transcriptome profile-guided hit molecule generation	7
Integration of memory systems supporting non-symbolic representations in an architecture for lifelong development of artificial agents	7
Data-informed knowledge and strategies	7
Neural knowledge graph reasoning with relational digraph	7
Editorial Board	7
Entropy estimation via uniformization	7
Editorial Board	7
An offline risk-aware policy selection method for Bayesian Markov decision processes	7
LAD2025, A constraint-based solver for the subgraph isomorphism problem	7
Multi resource allocation with partial preferences	7
Privacy preserving solution of DCOPs by mediation	7
Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming	6
Theoretical insights into CycleGAN: Analyzing approximation and estimation errors in unpaired data generation	6
A general framework for preferences in answer set programming	6
Class fairness in online matching	6
Knowledge is power: Open-world knowledge representation learning for knowledge-based visual reasoning	6
Domain-independent dynamic programming	6
Editorial Board	6
Active legibility in multiagent reinforcement learning	6
OBDDs, SDDs, and circuits of bounded width: Completeness matters	6
A neurosymbolic cognitive architecture framework for handling novelties in open worlds	6
Addressing maximization bias in reinforcement learning with two-sample testing	6
Bridging theory and practice in bidirectional heuristic search with front-to-end consistent heuristics	6
A differentiable first-order rule learner for inductive logic programming	6
Sound and complete causal identification with latent variables given local background knowledge	6
Adaptive large-neighbourhood search for optimisation in answer-set programming	6
Hierarchical clustering optimizes the tradeoff between compositionality and expressivity of task structures for flexible reinforcement learning	6
Are the BERT family zero-shot learners? A study on their potential and limitations	6
Local-MIP: Efficient local search for mixed integer programming	6

Opinion dynamics with median aggregation	6
Neural large neighborhood search for routing problems	5
Editorial Board	5
Minimax off-policy evaluation and learning with subgaussian and differentiable importance weighting	5
A note on incorrect inferences in non-binary qualitative probabilistic networks	5
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving	5
Characterising harmful data sources when constructing multi-fidelity surrogate models	5
Editorial Board	5
DivGAN: A diversity enforcing generative adversarial network for mode collapse reduction	5
A crossword solving system based on Monte Carlo tree search	5
Editorial Board	5
Logic Explained Networks	5
Choice logics and their computational properties	5
Editorial Board	5
Federated neural nonparametric point processes	5
Analyzing generalized planning under nondeterminism	5
VoCSK: Verb-oriented commonsense knowledge mining with taxonomy-guided induction	5
Syntactic reasoning with conditional probabilities in deductive argumentation	5
Inhomogeneous deep Q-network for time sensitive applications	5
Editorial Board	5
Lifted inference with tree axioms	5
IID prophet inequality with a single data point	5
Negotiation strategies for agents with ordinal preferences: Theoretical analysis and human study	5
A theory of synaptic neural balance: From local to global order	5
Balancing the Spread of Two Opinions in Sparse Social Networks	5
Towards well-generalizing meta-learning via adversarial task augmentation	5
EMOA*: A framework for search-based multi-objective path planning	5
On Pareto optimality in social distance games	5
A conflict-directed approach to chance-constrained mixed logical linear programming	5
Factored-reward bandits with intermediate observations: Regret minimization and best arm identification	4
TEAMSTER: Model-based reinforcement learning for ad hoc teamwork	4
Reasoning about causality in games	4
ICCMA 2023: 5th International Competition on Computational Models of Argumentation	4
Situated conditional reasoning	4
Editorial Board	4
Q-Learning-based model predictive variable impedance control for physical human-robot collaboration	4
Strategyproof Allocation Mechanisms with Endowments and M-convex Distributional Constraints	4
Editorial Board	4
NT-FAN: A simple yet effective noise-tolerant few-shot adaptation network	4
Explainable AI and stakes in medicine: A user study	4
Hybrid planning for challenging construction problems: An Answer Set Programming approach	4
Pre-training and diagnosing knowledge base completion models	4
A domain-independent agent architecture for adaptive operation in evolving open worlds	4
Risk-averse policy optimization via risk-neutral policy optimization	4
GUBS criterion: Arbitrary trade-offs between cost and probability-to-goal in stochastic planning based on Expected Utility Theory	4
Simple and efficient bi-objective search algorithms via fast dominance checks	4
Editorial Board	4
Learning semi-parametric tree models from mixed data	4
AutoSTG+: An automatic framework to discover the optimal network for spatio-temporal graph prediction	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
Efficient constraint generation for stochastic shortest path problems	4
Learngene: Inheritable “genes” in intelligent agents	4
Deep optimal transport for domain adaptation on SPD manifolds	4
Editorial Board	4
Counterfactuals as modal conditionals, and their probability	4
A false sense of security	4
How to find a good explanation for clustering?	4
Strategyproof Mechanism for Two-Sided Matching with Resource Allocation	3
Social behavior as a key to learning-based multi-agent pathfinding dilemmas	3
Conflict-tolerant and conflict-free multi-agent meeting	3
Width-based search for multi agent privacy-preserving planning	3
Controlled query evaluation in description logics through consistent query answering	3
Approximately EFX allocations for indivisible chores	3
Editorial Board	3
TTVAE: Transformer-based generative modeling for tabular data generation	3
Learning infinite-word automata with loop-index queries	3
ASP and subset minimality: Enumeration, cautious reasoning and MUSes	3
Probabilistically robust counterfactual explanations under model changes	3
Finding the optimal exploration-exploitation trade-off online through Bayesian risk estimation and minimization	3
Fair and efficient allocation with few agent types, few item types, or small value levels	3
Certifiably robust interpretation via Rényi differential privacy	3
Explain it as simple as possible, but no simpler – Explanation via model simplification for addressing inferential gap	3
Learning spatio-temporal dynamics on mobility networks for adaptation to open-world events	3
Improved maximin guarantees for subadditive and fractionally subadditive fair allocation problem	3
Axiomatic characterization of PageRank	3
Interpreting capsule networks for image classification by routing path visualization	3
Probabilistic reach-avoid for Bayesian neural networks	3
Automated streamliner portfolios for constraint satisfaction problems	3
PathLAD+: Towards effective exact methods for subgraph isomorphism problem	3
Solving Projected Model Counting by Utilizing Treewidth and its Limits	3
Task-guided IRL in POMDPs that scales	3
Revision operators with compact representations	3
Iterative genetic improvement: Scaling stochastic program synthesis	3
Editorial Board	3
Arc-consistency with linear programming reduced costs (applied to stable set in chordal graphs)	3
An anytime algorithm for constrained stochastic shortest path problems with deterministic policies	3
Sample-based bounds for coherent risk measures: Applications to policy synthesis and verification	3
Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks	3
An extended view on lifting Gaussian Bayesian networks	3
Editorial Board	2
Online learning of energy consumption for navigation of electric vehicles	2
The distortion of distributed facility location	2
Parameterized complexity of envy-free resource allocation in social networks	2
Chimeric U-Net – Modifying the standard U-Net towards explainability	2