Artificial Intelligence

Article	Citations
Online learning in sequential Bayesian persuasion: Handling unknown priors	215
Knowledge-driven profile dynamics	194
Polynomial combined first-order rewritings for linear and guarded existential rules	160
Diagnosis of intermittent faults in Multi-Agent Systems: An SFL approach	100
Transfer learning for collaborative recommendation with biased and unbiased data	93
Editorial Board	88
Iterative voting with partial preferences	83
A computational model of Ostrom's Institutional Analysis and Development framework	77
Editorial Board	64
Primarily about primaries	63
Drawing a map of elections	62
Mitigating robust overfitting via self-residual-calibration regularization	59
Accurate parameter estimation for safety-critical systems with unmodeled dynamics	54
An α-regret analysis of adversarial bilateral trade	54
An efficient algorithm for counting Markov equivalent DAGs	54
Learning MAX-SAT from contextual examples for combinatorial optimisation	52
Weighted EF1 allocations for indivisible chores	51
No free lunch theorem for privacy-preserving LLM inference	48
Hyper-heuristics for personnel scheduling domains	46
Epistemic planning: Perspectives on the special issue	44
Risk-averse autonomous systems: A brief history and recent developments from the perspective of optimal control	43
(1+1) genetic programming with functionally complete instruction sets can evolve Boolean conjunctions and disjunctions with arbitrarily small error	41
GoSafeOpt: Scalable safe exploration for global optimization of dynamical systems	38
Defense coordination in security games: Equilibrium analysis and mechanism design	37
Estimating possible causal effects with latent variables via adjustment and novel rule orientation	37

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

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

VoCSK: Verb-oriented commonsense knowledge mining with taxonomy-guided induction	6
Syntactic reasoning with conditional probabilities in deductive argumentation	6
Choice logics and their computational properties	6
IID prophet inequality with a single data point	6
Characterising harmful data sources when constructing multi-fidelity surrogate models	6
Editorial Board	6
A note on incorrect inferences in non-binary qualitative probabilistic networks	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
Editorial Board	6
Neural large neighborhood search for routing problems	6
Towards well-generalizing meta-learning via adversarial task augmentation	6
Negotiation strategies for agents with ordinal preferences: Theoretical analysis and human study	6
Minimax off-policy evaluation and learning with subgaussian and differentiable importance weighting	6
Analyzing generalized planning under nondeterminism	6
Addressing maximization bias in reinforcement learning with two-sample testing	6
Federated Neural Nonparametric Point Processes	6
Knowledge is power: Open-world knowledge representation learning for knowledge-based visual reasoning	6
EMOA*: A framework for search-based multi-objective path planning	6
Logic Explained Networks	6
A crossword solving system based on Monte Carlo tree search	5
Treewidth-aware reductions of normal ASP to SAT – Is normal ASP harder than SAT after all?	5
DivGAN: A diversity enforcing generative adversarial network for mode collapse reduction	5
Editorial Board	5
Counterfactuals as modal conditionals, and their probability	5
A conflict-directed approach to chance-constrained mixed logical linear programming	5
A general multi-agent epistemic planner based on higher-order belief change	5
Strategyproof Allocation Mechanisms with Endowments and M-convex Distributional Constraints	5
Editorial Board	5
Knowledge-based programs as building blocks for planning	5
Inhomogeneous deep Q-network for time sensitive applications	5
On Pareto optimality in social distance games	5
Simple and efficient bi-objective search algorithms via fast dominance checks	5
Schelling games on graphs	5
Q-Learning-based model predictive variable impedance control for physical human-robot collaboration	5
Lifted inference with tree axioms	5
A false sense of security	4
NT-FAN: A simple yet effective noise-tolerant few-shot adaptation network	4
GUBS criterion: Arbitrary trade-offs between cost and probability-to-goal in stochastic planning based on Expected Utility Theory	4
A simple yet effective self-debiasing framework for transformer models	4
LMMS reloaded: Transformer-based sense embeddings for disambiguation and beyond	4
Automated streamliner portfolios for constraint satisfaction problems	4
Probabilistic reach-avoid for Bayesian neural networks	4
Approximately EFX allocations for indivisible chores	4
A stochastic process approach for multi-agent path finding with non-asymptotic performance guarantees	4
Explainable AI and stakes in medicine: A user study	4
ICCMA 2023: 5th International Competition on Computational Models of Argumentation	4
Learngene: Inheritable “genes” in intelligent agents	4
Editorial Board	4
Deep optimal transport for domain adaptation on SPD manifolds	4
Bayesian feature interaction selection for factorization machines	4
Hybrid planning for challenging construction problems: An Answer Set Programming approach	4
Improved maximin guarantees for subadditive and fractionally subadditive fair allocation problem	4
Memory-limited model-based diagnosis	4
A domain-independent agent architecture for adaptive operation in evolving open worlds	4
Factored-reward bandits with intermediate observations: Regret minimization and best arm identification	4
Using state abstractions to compute personalized contrastive explanations for AI agent behavior	4
How to find a good explanation for clustering?	4
Situated conditional reasoning	4
Pre-training and diagnosing knowledge base completion models	4
Risk-averse policy optimization via risk-neutral policy optimization	4
Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks	4
An anytime algorithm for constrained stochastic shortest path problems with deterministic policies	4
TTVAE: Transformer-based generative modeling for tabular data generation	4
AutoSTG+: An automatic framework to discover the optimal network for spatio-temporal graph prediction	4
Learning infinite-word automata with loop-index queries	4
TEAMSTER: Model-based reinforcement learning for ad hoc teamwork	4
Reasoning about causality in games	4
ASP and subset minimality: Enumeration, cautious reasoning and MUSes	3
AI Journal Special Issue on Ethics for Autonomous Systems	3
Learning spatio-temporal dynamics on mobility networks for adaptation to open-world events	3
Explain it as simple as possible, but no simpler – Explanation via model simplification for addressing inferential gap	3
Editorial Board	3
Grounded predictions of teamwork as a one-shot game: A multiagent multi-armed bandits approach	3
Overlapping communities and roles in networks with node attributes: Probabilistic graphical modeling, Bayesian formulation and variational inference	3
Social behavior as a key to learning-based multi-agent pathfinding dilemmas	3
Interpretation modeling: Social grounding of sentences by reasoning over their implicit moral judgments	3
Arc-consistency with linear programming reduced costs (applied to stable set in chordal graphs)	3
Editorial Board	3
Task-guided IRL in POMDPs that scales	3
Probabilistic modelling of general noisy multi-manifold data sets	3
Enhancing cooperativity in controlled query evaluation over ontologies	3
Measuring power in coalitional games with friends, enemies and allies	3
Globalizing constraint models	3
Certifiably robust interpretation via Rényi differential privacy	3
Revision operators with compact representations	3
PathLAD+: Towards effective exact methods for subgraph isomorphism problem	3
An extended view on lifting Gaussian Bayesian networks	3
Axiomatic characterization of PageRank	3
Width-based search for multi agent privacy-preserving planning	3
Generalized planning as heuristic search: A new planning search-space that leverages pointers over objects	3
Editorial Board	3
On trivalent logics, probabilistic weak deduction theorems, and a general import-export principle	3
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information	3
Solving Projected Model Counting by Utilizing Treewidth and its Limits	3