Artificial Intelligence

Article	Citations
Online learning in sequential Bayesian persuasion: Handling unknown priors	221
Editorial Board	206
Primarily about primaries	168
Drawing a map of elections	102
Knowledge-driven profile dynamics	100
Polynomial combined first-order rewritings for linear and guarded existential rules	88
Diagnosis of intermittent faults in Multi-Agent Systems: An SFL approach	87
Editorial Board	80
Iterative voting with partial preferences	69
Mitigating robust overfitting via self-residual-calibration regularization	68
A computational model of Ostrom's Institutional Analysis and Development framework	59
Transfer learning for collaborative recommendation with biased and unbiased data	56
Accurate parameter estimation for safety-critical systems with unmodeled dynamics	54
An efficient algorithm for counting Markov equivalent DAGs	54
(1+1) genetic programming with functionally complete instruction sets can evolve Boolean conjunctions and disjunctions with arbitrarily small error	53
An α-regret analysis of adversarial bilateral trade	53
GoSafeOpt: Scalable safe exploration for global optimization of dynamical systems	51
Estimating possible causal effects with latent variables via adjustment and novel rule orientation	48
Hyper-heuristics for personnel scheduling domains	45
Weighted EF1 allocations for indivisible chores	44
Learning MAX-SAT from contextual examples for combinatorial optimisation	41
Defense coordination in security games: Equilibrium analysis and mechanism design	40
Fair allocation of indivisible goods: Beyond additive valuations	37
Manipulation and peer mechanisms: A survey	36
SensorSCAN: Self-supervised learning and deep clustering for fault diagnosis in chemical processes	36

Risk-averse autonomous systems: A brief history and recent developments from the perspective of optimal control	33
The distortion of distributed metric social choice	33
Epistemic planning: Perspectives on the special issue	32
The complexity landscape of claim-augmented argumentation frameworks	31
No free lunch theorem for privacy-preserving LLM inference	31
Editorial Board	30
Editorial Board	28
A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic	26
Corrigendum to “Accurate parameter estimation for safety-critical systems with unmodeled dynamics” [Artif. Intell. 316 (2023) 103857]	26
Introduction to open-world AI	25
CureGraph: Contrastive multi-modal graph representation learning for urban living circle health profiling and prediction	25
Certified reinforcement learning with logic guidance	24
Editorial Board	24
Editorial Board	24
Approximate weighted model integration on DNF structures	23
CBS-Budget (CBSB): A complete and bounded suboptimal search for multi-agent path finding	23
Spectral clustering with robust self-learning constraints	22
From statistical relational to neurosymbolic artificial intelligence: A survey	21
Contra2: A one-step active learning method for imbalanced graphs	21
End-to-end neural event coreference resolution	21
Temporal inductive path neural network for temporal knowledge graph reasoning	21
Learning optimal contracts with small action spaces	21
Propositional and predicate logics of incomplete information	20
Editorial Board	20
Automatically designing counterfactual regret minimization algorithms for solving imperfect-information games	19
Editorial Board	19
Editorial Board	18
Integrating symbolic reasoning into neural generative models for design generation	18
Atlas of AI – Book review	18
Unsupervised sentence selection for creating a representative corpus in Turkish: An active learning approach	17
Is it possible to find the single nearest neighbor of a query in high dimensions?	17
Lifted action models learning from partial traces	17
On the disjunctive rational closure of a conditional knowledge base	16
Logical separability of labeled data examples under ontologies	16
Self-adjusting offspring population sizes outperform fixed parameters on the cliff function	16
Approximating problems in abstract argumentation with graph convolutional networks	15
A multi-graph representation for event extraction	15
Acquiring and modeling abstract commonsense knowledge via conceptualization	15
Exploratory machine learning with unknown unknowns	15
Editorial Board	14
Sequential model-based diagnosis by systematic search	14
Gradient-based mixed planning with symbolic and numeric action parameters	14
Emotional conversation generation with heterogeneous graph neural network	13
Pandora's box problem with time constraints	13
An abstract and structured account of dialectical argument strength	13
Abstracting situation calculus action theories	13
Logic Tensor Networks	12
Editorial Board	12
Functional Relation Field: A Model-Agnostic Framework for Multivariate Time Series Forecasting	12
Multi-view graph convolutional networks with attention mechanism	12

Temporal logic explanations for dynamic decision systems using anchors and Monte Carlo Tree Search	12
Syntactic ASP forgetting with forks	12
Editorial Board	12
A claim-centric perspective on abstract argumentation semantics: Claim-defeat, principles, and expressiveness	12
The notion of Abstraction in Ontology-based Data Management	12
Safe, learning-based MPC for highway driving under lane-change uncertainty: A distributionally robust approach	11
On the design of truthful mechanisms for the capacitated facility location problem with two and more facilities	11
Pessimistic value iteration for multi-task data sharing in Offline Reinforcement Learning	11
Reward-respecting subtasks for model-based reinforcement learning	11
Privacy-preserving graph convolution network for federated item recommendation	11
Editorial Board	11
Argus: Programming with communication protocols in a belief-desire-intention architecture	11
Risk-aware controller for autonomous vehicles using model-based collision prediction and reinforcement learning	11
Reinforcement learning in convergently non-stationary environments: Feudal hierarchies and learned representations	11
Corrigendum to “Learning constraints through partial queries” [Artificial Intelligence 319 (2023) 103896]	11
The influence of dimensions on the complexity of computing decision trees	10
Discrete preference games with logic-based agents: Formal framework, complexity, and islands of tractability	10
Almost proportional allocations of indivisible chores: Computation, approximation and efficiency	10
Optimizing the computation of overriding in DL<	10
Investigating the properties of neural network representations in reinforcement learning	10
(Re)Conceptualizing trustworthy AI: A foundation for change	10
On measuring inconsistency in graph databases with regular path constraints	10
DEED: DEep Evidential Doctor	10
Matching papers and reviewers at large conferences	10
Maximum Likelihood Evidential Reasoning	10
Editorial Board	10
Fine-tuning transformers: Vocabulary transfer	10
Credulous acceptance in high-order argumentation frameworks with necessities: An incremental approach	9
Learning a fast 3D spectral approach to object segmentation and tracking over space and time	9
Many-objective problems where crossover is provably essential	9
Adversarial analysis of similarity-based sign prediction	9
A polynomial reduction of forks into logic programs	9
Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs	9
Generative models for grid-based and image-based pathfinding	9
Integrating multi-armed bandit with local search for MaxSAT	9
Taking into account “who said what” in abstract argumentation: Complexity results	9
On the computation of mixed strategies for security games with general defending requirements	9
Budget-feasible mechanisms for proportionally selecting agents from groups	9
Improved metric distortion via threshold approvals	9
The complexity of optimizing atomic congestion	9
Search-engine-augmented dialogue response generation with cheaply supervised query production	8
FedHM: Efficient federated learning for heterogeneous models via low-rank factorization	8
Evolving interpretable decision trees for reinforcement learning	8
Editorial Board	8
Bisimulation between base argumentation and premise-conclusion argumentation	8
Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming	8
Natural language watermarking via paraphraser-based lexical substitution	8
Saliency-aware regularized graph neural network	8
A tetrachotomy of ontology-mediated queries with a covering axiom	8
Multi resource allocation with partial preferences	8
AI-driven transcriptome profile-guided hit molecule generation	8
Knowledge-based strategies for multi-agent teams playing against Nature	8
Truthful aggregation of budget proposals with proportionality guarantees	8
Adversarially robust unsupervised domain adaptation	8
Reward (Mis)design for autonomous driving	8
Entropy estimation via uniformization	8
Integration of memory systems supporting non-symbolic representations in an architecture for lifelong development of artificial agents	8
Editorial Board	7
Bayesian auctions with efficient queries	7
Sound and complete causal identification with latent variables given local background knowledge	7
Privacy preserving solution of DCOPs by mediation	7
Relaxed core stability in hedonic games	7
Active legibility in multiagent reinforcement learning	7
A differentiable first-order rule learner for inductive logic programming	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
Data-informed knowledge and strategies	7
Editorial Board	7
Class fairness in online matching	7
A neurosymbolic cognitive architecture framework for handling novelties in open worlds	7
Online joint bid/daily budget optimization of Internet advertising campaigns	7
Bridging theory and practice in bidirectional heuristic search with front-to-end consistent heuristics	6
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving	6
Local-MIP: Efficient local search for mixed integer programming	6
Editorial Board	6
A counter abstraction technique for verifying properties of probabilistic swarm systems	6
Logic Explained Networks	6
Editorial Board	6
Minimax off-policy evaluation and learning with subgaussian and differentiable importance weighting	6

Editorial Board	6
A note on incorrect inferences in non-binary qualitative probabilistic networks	6
Addressing maximization bias in reinforcement learning with two-sample testing	6
Knowledge is power: Open-world knowledge representation learning for knowledge-based visual reasoning	6
IID prophet inequality with a single data point	6
Choice logics and their computational properties	6
EMOA*: A framework for search-based multi-objective path planning	6
Characterising harmful data sources when constructing multi-fidelity surrogate models	6
Analyzing generalized planning under nondeterminism	6
Are the BERT family zero-shot learners? A study on their potential and limitations	6
A theory of synaptic neural balance: From local to global order	6
Neural large neighborhood search for routing problems	6
VoCSK: Verb-oriented commonsense knowledge mining with taxonomy-guided induction	6
Towards well-generalizing meta-learning via adversarial task augmentation	6
Negotiation strategies for agents with ordinal preferences: Theoretical analysis and human study	6
Editorial Board	5
Counterfactuals as modal conditionals, and their probability	5
Inhomogeneous deep Q-network for time sensitive applications	5
A crossword solving system based on Monte Carlo tree search	5
Lifted inference with tree axioms	5
Knowledge-based programs as building blocks for planning	5
ICCMA 2023: 5th International Competition on Computational Models of Argumentation	5
Pre-training and diagnosing knowledge base completion models	5
Editorial Board	5
Strategyproof Allocation Mechanisms with Endowments and M-convex Distributional Constraints	5
A conflict-directed approach to chance-constrained mixed logical linear programming	5
Editorial Board	5
Simple and efficient bi-objective search algorithms via fast dominance checks	5
Q-Learning-based model predictive variable impedance control for physical human-robot collaboration	5
Reasoning about causality in games	5
GUBS criterion: Arbitrary trade-offs between cost and probability-to-goal in stochastic planning based on Expected Utility Theory	5
NT-FAN: A simple yet effective noise-tolerant few-shot adaptation network	5
Editorial Board	5
Treewidth-aware reductions of normal ASP to SAT – Is normal ASP harder than SAT after all?	5
On Pareto optimality in social distance games	5
DivGAN: A diversity enforcing generative adversarial network for mode collapse reduction	5
Syntactic reasoning with conditional probabilities in deductive argumentation	5
A false sense of security	5
Editorial Board	5
Situated conditional reasoning	5
Automated streamliner portfolios for constraint satisfaction problems	4
Sample-based bounds for coherent risk measures: Applications to policy synthesis and verification	4
Explainable AI and stakes in medicine: A user study	4
A domain-independent agent architecture for adaptive operation in evolving open worlds	4
A stochastic process approach for multi-agent path finding with non-asymptotic performance guarantees	4
Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks	4
Deep optimal transport for domain adaptation on SPD manifolds	4
LMMS reloaded: Transformer-based sense embeddings for disambiguation and beyond	4
TTVAE: Transformer-based generative modeling for tabular data generation	4
Editorial Board	4
AI Journal Special Issue on Ethics for Autonomous Systems	4
Arc-consistency with linear programming reduced costs (applied to stable set in chordal graphs)	4
Strategyproof Mechanism for Two-Sided Matching with Resource Allocation	4
Improved maximin guarantees for subadditive and fractionally subadditive fair allocation problem	4
Learning infinite-word automata with loop-index queries	4
Factored-reward bandits with intermediate observations: Regret minimization and best arm identification	4
Learngene: Inheritable “genes” in intelligent agents	4
How to find a good explanation for clustering?	4
A simple yet effective self-debiasing framework for transformer models	4
TEAMSTER: Model-based reinforcement learning for ad hoc teamwork	4
Editorial Board	4
An anytime algorithm for constrained stochastic shortest path problems with deterministic policies	4
Approximately EFX allocations for indivisible chores	4
AutoSTG+: An automatic framework to discover the optimal network for spatio-temporal graph prediction	4
Probabilistic reach-avoid for Bayesian neural networks	4
Hybrid planning for challenging construction problems: An Answer Set Programming approach	4
Bayesian feature interaction selection for factorization machines	4
Risk-averse policy optimization via risk-neutral policy optimization	4
Memory-limited model-based diagnosis	4
ASP and subset minimality: Enumeration, cautious reasoning and MUSes	4
An extended view on lifting Gaussian Bayesian networks	4
On trivalent logics, probabilistic weak deduction theorems, and a general import-export principle	3
Enhancing cooperativity in controlled query evaluation over ontologies	3
Grounded predictions of teamwork as a one-shot game: A multiagent multi-armed bandits approach	3
Explain it as simple as possible, but no simpler – Explanation via model simplification for addressing inferential gap	3
Controlled query evaluation in description logics through consistent query answering	3
Iterative genetic improvement: Scaling stochastic program synthesis	3
Interpretation modeling: Social grounding of sentences by reasoning over their implicit moral judgments	3
Online POMDP planning with anytime deterministic optimality guarantees	3
Choosing abstraction levels for model-based software debugging: A theoretical and empirical analysis for spreadsheet programs	3
Editorial Board	3
Generalized planning as heuristic search: A new planning search-space that leverages pointers over objects	3
Strategyproof mechanisms for Friends and Enemies Games	3
Axiomatic characterization of PageRank	3
Solving Projected Model Counting by Utilizing Treewidth and its Limits	3
Answers set programs for non-transferable utility games: Expressiveness, complexity and applications	3
Bridging sparse domain semantics via an asymmetric siamese framework with virtual anchor guidance for domain-specific multimodal translation	3
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information	3
Measuring power in coalitional games with friends, enemies and allies	3
Certifiably robust interpretation via Rényi differential privacy	3
Interpreting capsule networks for image classification by routing path visualization	3
PathLAD+: Towards effective exact methods for subgraph isomorphism problem	3
Probabilistic modelling of general noisy multi-manifold data sets	3
Editorial Board	3
Dual-track spatio-temporal learning for urban flow prediction with adaptive normalization	3