Artificial Intelligence

Article	Citations
Online learning in sequential Bayesian persuasion: Handling unknown priors	209
Knowledge-driven profile dynamics	184
A computational model of Ostrom's Institutional Analysis and Development framework	152
Primarily about primaries	97
Transfer learning for collaborative recommendation with biased and unbiased data	88
Polynomial combined first-order rewritings for linear and guarded existential rules	84
Diagnosis of intermittent faults in Multi-Agent Systems: An SFL approach	79
Iterative voting with partial preferences	71
Drawing a map of elections	58
Editorial Board	57
(1+1) genetic programming with functionally complete instruction sets can evolve Boolean conjunctions and disjunctions with arbitrarily small error	54
Mitigating robust overfitting via self-residual-calibration regularization	54
Accurate parameter estimation for safety-critical systems with unmodeled dynamics	53
Fair allocation of indivisible goods: Beyond additive valuations	52
The distortion of distributed metric social choice	52
An efficient algorithm for counting Markov equivalent DAGs	52
Manipulation and peer mechanisms: A survey	50
Hyper-heuristics for personnel scheduling domains	44
An α-regret analysis of adversarial bilateral trade	43
Weighted EF1 allocations for indivisible chores	41
Estimating possible causal effects with latent variables via adjustment and novel rule orientation	41
Risk-averse autonomous systems: A brief history and recent developments from the perspective of optimal control	40
No free lunch theorem for privacy-preserving LLM inference	40
GoSafeOpt: Scalable safe exploration for global optimization of dynamical systems	36
Defense coordination in security games: Equilibrium analysis and mechanism design	35

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

Editorial Board	14
Logic Tensor Networks	13
Editorial Board	13
Privacy-preserving graph convolution network for federated item recommendation	13
Editorial Board	13
Coalitional permutation manipulations in the Gale-Shapley algorithm	12
Argus: Programming with communication protocols in a belief-desire-intention architecture	12
Risk-aware controller for autonomous vehicles using model-based collision prediction and reinforcement learning	12
Editorial Board	12
Safe, learning-based MPC for highway driving under lane-change uncertainty: A distributionally robust approach	12
Reward-respecting subtasks for model-based reinforcement learning	12
Pessimistic value iteration for multi-task data sharing in Offline Reinforcement Learning	12
Corrigendum to “Learning constraints through partial queries” [Artificial Intelligence 319 (2023) 103896]	12
(Re)Conceptualizing trustworthy AI: A foundation for change	11
Matching papers and reviewers at large conferences	11
The influence of dimensions on the complexity of computing decision trees	11
Reinforcement learning in convergently non-stationary environments: Feudal hierarchies and learned representations	11
Discrete preference games with logic-based agents: Formal framework, complexity, and islands of tractability	11
Adversarial analysis of similarity-based sign prediction	11
Investigating the properties of neural network representations in reinforcement learning	10
Optimizing the computation of overriding in DL<	10
Credulous acceptance in high-order argumentation frameworks with necessities: An incremental approach	10
A framework for step-wise explaining how to solve constraint satisfaction problems	10
Almost proportional allocations of indivisible chores: Computation, approximation and efficiency	10
On measuring inconsistency in graph databases with regular path constraints	10
Fine-tuning transformers: Vocabulary transfer	10
Adversarially robust unsupervised domain adaptation	10
Improved metric distortion via threshold approvals	10
On the design of truthful mechanisms for the capacitated facility location problem with two and more facilities	10
Editorial Board	10
DEED: DEep Evidential Doctor	10
Integrating multi-armed bandit with local search for MaxSAT	10
Maximum Likelihood Evidential Reasoning	10
Budget-feasible mechanisms for proportionally selecting agents from groups	9
Taking into account “who said what” in abstract argumentation: Complexity results	9
Evolving interpretable decision trees for reinforcement learning	9
The complexity of optimizing atomic congestion	9
A polynomial reduction of forks into logic programs	9
FedHM: Efficient federated learning for heterogeneous models via low-rank factorization	9
Generative models for grid-based and image-based pathfinding	9
Search-engine-augmented dialogue response generation with cheaply supervised query production	9
On the computation of mixed strategies for security games with general defending requirements	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
Picking sequences and monotonicity in weighted fair division	8
Knowledge-based strategies for multi-agent teams playing against Nature	8
Learning a fast 3D spectral approach to object segmentation and tracking over space and time	8
Reward (Mis)design for autonomous driving	8
Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs	8
Entropy estimation via uniformization	8
Integration of memory systems supporting non-symbolic representations in an architecture for lifelong development of artificial agents	8
Truthful aggregation of budget proposals with proportionality guarantees	8
Natural language watermarking via paraphraser-based lexical substitution	8
AI-driven transcriptome profile-guided hit molecule generation	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
A general framework for preferences in answer set programming	7
Online joint bid/daily budget optimization of Internet advertising campaigns	7
Hierarchical clustering optimizes the tradeoff between compositionality and expressivity of task structures for flexible reinforcement learning	7
Active legibility in multiagent reinforcement learning	7
Bayesian auctions with efficient queries	7
Data-informed knowledge and strategies	7
Class fairness in online matching	7
Relaxed core stability in hedonic games	7
Editorial Board	7
Privacy preserving solution of DCOPs by mediation	7
Adaptive large-neighbourhood search for optimisation in answer-set programming	7
A neurosymbolic cognitive architecture framework for handling novelties in open worlds	7
Sound and complete causal identification with latent variables given local background knowledge	7
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving	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
Local-MIP: Efficient local search for mixed integer programming	6
Editorial Board	6
Counterfactuals as modal conditionals, and their probability	6
Towards well-generalizing meta-learning via adversarial task augmentation	6
Editorial Board	6
VoCSK: Verb-oriented commonsense knowledge mining with taxonomy-guided induction	6

Choice logics and their computational properties	6
Negotiation strategies for agents with ordinal preferences: Theoretical analysis and human study	6
Are the BERT family zero-shot learners? A study on their potential and limitations	6
Analyzing generalized planning under nondeterminism	6
Editorial Board	6
A crossword solving system based on Monte Carlo tree search	6
Editorial Board	6
IID prophet inequality with a single data point	6
EMOA*: A framework for search-based multi-objective path planning	6
Minimax off-policy evaluation and learning with subgaussian and differentiable importance weighting	6
Abstraction for non-ground answer set programs	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
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
A counter abstraction technique for verifying properties of probabilistic swarm systems	6
Editorial Board	6
Neural large neighborhood search for routing problems	6
Logic Explained Networks	6
Characterising harmful data sources when constructing multi-fidelity surrogate models	6
Knowledge-based programs as building blocks for planning	5
Syntactic reasoning with conditional probabilities in deductive argumentation	5
Q-Learning-based model predictive variable impedance control for physical human-robot collaboration	5
Situated conditional reasoning	5
Risk-averse policy optimization via risk-neutral policy optimization	5
DivGAN: A diversity enforcing generative adversarial network for mode collapse reduction	5
Inhomogeneous deep Q-network for time sensitive applications	5
Treewidth-aware reductions of normal ASP to SAT – Is normal ASP harder than SAT after all?	5
Schelling games on graphs	5
On Pareto optimality in social distance games	5
Editorial Board	5
Lifted inference with tree axioms	5
A conflict-directed approach to chance-constrained mixed logical linear programming	5
Simple and efficient bi-objective search algorithms via fast dominance checks	5
Strategyproof Allocation Mechanisms with Endowments and M-convex Distributional Constraints	5
Editorial Board	5
GUBS criterion: Arbitrary trade-offs between cost and probability-to-goal in stochastic planning based on Expected Utility Theory	5
Pre-training and diagnosing knowledge base completion models	5
A general multi-agent epistemic planner based on higher-order belief change	5
Using state abstractions to compute personalized contrastive explanations for AI agent behavior	4
NT-FAN: A simple yet effective noise-tolerant few-shot adaptation network	4
Bayesian feature interaction selection for factorization machines	4
A domain-independent agent architecture for adaptive operation in evolving open worlds	4
Strategyproof mechanisms for Friends and Enemies Games	4
AI Journal Special Issue on Ethics for Autonomous Systems	4
Axiomatic characterization of PageRank	4
AutoSTG+: An automatic framework to discover the optimal network for spatio-temporal graph prediction	4
TTVAE: Transformer-based generative modeling for tabular data generation	4
Explainable AI and stakes in medicine: A user study	4
Factored-reward bandits with intermediate observations: Regret minimization and best arm identification	4
ICCMA 2023: 5th International Competition on Computational Models of Argumentation	4
Learngene: Inheritable “genes” in intelligent agents	4
Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks	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
An extended view on lifting Gaussian Bayesian networks	4
Learning infinite-word automata with loop-index queries	4
Hybrid planning for challenging construction problems: An Answer Set Programming approach	4
Reasoning about causality in games	4
LMMS reloaded: Transformer-based sense embeddings for disambiguation and beyond	4
A false sense of security	4
Editorial Board	4
How to find a good explanation for clustering?	4
Deep optimal transport for domain adaptation on SPD manifolds	4
A stochastic process approach for multi-agent path finding with non-asymptotic performance guarantees	4
Editorial Board	4
Automated streamliner portfolios for constraint satisfaction problems	4
Approximately EFX allocations for indivisible chores	4
Probabilistic reach-avoid for Bayesian neural networks	4
Improved maximin guarantees for subadditive and fractionally subadditive fair allocation problem	4
Memory-limited model-based diagnosis	4
A simple yet effective self-debiasing framework for transformer models	4
Sample-based bounds for coherent risk measures: Applications to policy synthesis and verification	3
Task-guided IRL in POMDPs that scales	3
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information	3
On trivalent logics, probabilistic weak deduction theorems, and a general import-export principle	3
Measuring power in coalitional games with friends, enemies and allies	3
Editorial Board	3
Certifiably robust interpretation via Rényi differential privacy	3
Grounded predictions of teamwork as a one-shot game: A multiagent multi-armed bandits approach	3
ASP and subset minimality: Enumeration, cautious reasoning and MUSes	3
Controlled query evaluation in description logics through consistent query answering	3
Explain it as simple as possible, but no simpler – Explanation via model simplification for addressing inferential gap	3
Choosing abstraction levels for model-based software debugging: A theoretical and empirical analysis for spreadsheet programs	3
Editorial Board	3
Globalizing constraint models	3
G-LIME: Statistical learning for local interpretations of deep neural network	3
An improved approximation algorithm for maximin shares	3
Learning spatio-temporal dynamics on mobility networks for adaptation to open-world events	3
Social behavior as a key to learning-based multi-agent pathfinding dilemmas	3
Enhancing cooperativity in controlled query evaluation over ontologies	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
Probabilistic modelling of general noisy multi-manifold data sets	3