Journal of Artificial Intelligence Research

Article	Citations
Flexible Bayesian Nonlinear Model Configuration	185
Optimality Guarantees for Particle Belief Approximation of POMDPs	156
Practical Parallel Algorithms for Non-Monotone Submodular Maximization	111
Combinatorial Multi-Armed Bandits with Fairness Constraints: An Online Convex Optimization Perspective	93
Graph Kernels: A Survey	87
Can We Automate Scientific Reviewing?	75
Quantization Aware Factorization for Deep Neural Network Compression	74
Viewpoint: Artificial Intelligence Accidents Waiting to Happen?	72
The State of Computer Vision Research in Africa	67
Program Synthesis with Best-First Bottom-Up Search	60
Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach	60
Certified Knowledge Compilation with Application to Formally Verified Model Counting	58
Composition and Zero-Shot Transfer with Lattice Structures in Reinforcement Learning	57
AI Reliance and Decision Quality: Fundamentals, Interdependence, and the Effects of Interventions	55
Fairness in Influence Maximization through Randomization	49
Decision-Focused Learning: Foundations, State of the Art, Benchmark and Future Opportunities	47
Iterative Train Scheduling under Disruption with Maximum Satisfiability	46
A General Model for Aggregating Annotations Across Simple, Complex, and Multi-Object Annotation Tasks	45
Learning Optimal Decision Sets and Lists with SAT	41
Improving the Effectiveness and Efficiency of Stochastic Neighbour Embedding with Isolation Kernel	39
Enhanced Recommendation Systems with Retrieval-Augmented Large Language Model	38
Uncertainty as a Fairness Measure	35
Data-Driven Revision of Conditional Norms in Multi-Agent Systems	34
Visually Grounded Models of Spoken Language: A Survey of Datasets, Architectures and Evaluation Techniques	34
Scalable Primal Heuristics Using Graph Neural Networks for Combinatorial Optimization	32

Strategy Graphs for Influence Diagrams	29
Efficient Local Search based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set	28
Threshold Treewidth and Hypertree Width	28
Low-Rank Representation of Reinforcement Learning Policies	28
FlexiBERT: Are Current Transformer Architectures too Homogeneous and Rigid?	27
Image Captioning as an Assistive Technology: Lessons Learned from VizWiz 2020 Challenge	25
Evolutionary Dynamics and Phi-Regret Minimization in Games	23
Stackelberg Security Games with Contagious Attacks on a Network: Reallocation to the Rescue	23
Performative Ethics From Within the Ivory Tower: How CS Practitioners Uphold Systems of Oppression	21
An Overview of Environmental Features that Impact Deep Reinforcement Learning in Sparse-Reward Domains	20
Learning to Design Fair and Private Voting Rules	19
Experimental Design of Extractive Question-Answering Systems: Influence of Error Scores and Answer Length	19
The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom	18
Introduction to the Special Track on Artificial Intelligence and COVID-19	17
Learning to Resolve Social Dilemmas: A Survey	17
Classes of Hard Formulas for QBF Resolution	17
Certified Dominance and Symmetry Breaking for Combinatorial Optimisation	17
On Expected Value Strong Controllability	17
Flexible FOND Planning with Explicit Fairness Assumptions	17
Expected 1.x Makespan-Optimal Multi-Agent Path Finding on Grid Graphs in Low Polynomial Time	16
Fair and Efficient Allocation of Scarce Resources Based on Predicted Outcomes: Implications for Homeless Service Delivery	16
Initialization of Feature Selection Search for Classification	16
Finite Materialisability of Datalog Programs with Metric Temporal Operators	15
Confronting Abusive Language Online: A Survey from the Ethical and Human Rights Perspective	15
Predicting Decisions in Language Based Persuasion Games	14
Worst-case Bounds on Power vs. Proportion in Weighted Voting Games with an Application to False-name Manipulation	14
Boolean Observation Games	14
On the Indecisiveness of Kelly-Strategyproof Social Choice Functions	12
Methods for Recovering Conditional Independence Graphs: A Survey	12
On the Convergence of Swap Dynamics to Pareto-Optimal Matchings	11
Multi-Modal Attentive Prompt Learning for Few-shot Emotion Recognition in Conversations	11
CADS: A Systematic Literature Review on the Challenges of Abstractive Dialogue Summarization	11
SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits	11
Digraph k-Coloring Games: New Algorithms and Experiments	11
Fine-grained Prediction of Political Leaning on Social Media with Unsupervised Deep Learning	10
Quantum Mathematics in Artificial Intelligence	10
MRC and Transfer Learning Framework for Document-level Event Factuality Identification with Heterogeneous Spectral Attention Networks	10
Ordinal Maximin Share Approximation for Goods	10
Estimating Agent Skill in Continuous Action Domains	10
Fair Influence Maximization in Large-scale Social Networks Based on Attribute-aware Reverse Influence Sampling	10
Proof Theory and Decision Procedures for Deontic STIT Logics	10
Detecting AI-Generated Text: Factors Influencing Detectability with Current Methods	9
Reinforcement Learning for Generative AI: State of the Art, Opportunities and Open Research Challenges	9
Proactive Dynamic Distributed Constraint Optimization Problems	9
Value Preferences Estimation and Disambiguation in Hybrid Participatory Systems	8
Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization	8
Ethics and Governance of Artificial Intelligence: Evidence from a Survey of Machine Learning Researchers	8
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions	8
Crossing the Conversational Chasm: A Primer on Natural Language Processing for Multilingual Task-Oriented Dialogue Systems	8
Impact of Imputation Strategies on Fairness in Machine Learning	8

Diagnosing AI Explanation Methods with Folk Concepts of Behavior	8
A Markov Framework for Learning and Reasoning About Strategies in Professional Soccer	8
Opening the Analogical Portal to Explainability: Can Analogies Help Laypeople in AI-assisted Decision Making?	8
From Single-Objective to Bi-Objective Maximum Satisfiability Solving	8
On the Parallel Parameterized Complexity of MaxSAT Variants	7
Qualitative Reasoning about 2D Cardinal Directions using Answer Set Programming	7
Reinforcement Learning from Optimization Proxy for Ride-Hailing Vehicle Relocation	7
Non-Crossing Anonymous MAPF for Tethered Robots	7
Maximisation of Admissible Multi-Objective Heuristics	7
Adversarial Framework with Certified Robustness for Time-Series Domain via Statistical Features	7
An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty	7
Human-in-the-Loop Reinforcement Learning: A Survey and Position on Requirements, Challenges, and Opportunities	7
On the Evaluation of (Meta-)solver Approaches	7
TOOLTANGO: Common sense Generalization in Predicting Sequential Tool Interactions for Robot Plan Synthesis	7
Principles and their Computational Consequences for Argumentation Frameworks with Collective Attacks	6
Doubly Robust Crowdsourcing	6
Joint Optimization of Concave Scalarized Multi-Objective Reinforcement Learning with Policy Gradient Based Algorithm	6
Mean-Semivariance Policy Optimization via Risk-Averse Reinforcement Learning	6
Finding and Recognizing Popular Coalition Structures	6
Inductive Logic Programming At 30: A New Introduction	6
How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC	6
Decentralized Gradient-Quantization Based Matrix Factorization for Fast Privacy-Preserving Point-of-Interest Recommendation	6
Core Challenges in Embodied Vision-Language Planning	6
A Principled Distributional Approach to Trajectory Similarity Measurement and its Application to Anomaly Detection	6
Prediction of Social Dynamic Agents and Long-Tailed Learning Challenges: A Survey	6
Semantic Alignment of Malicious Question Based on Contrastive Semantic Networks and Data Augmentation	6
On Dynamics in Structured Argumentation Formalisms	5
The Complexity of Subelection Isomorphism Problems	5
Improving Mutual Information Based Feature Selection by Boosting Unique Relevance	5
On Mitigating the Utility-Loss in Differentially Private Learning: A New Perspective by a Geometrically Inspired Kernel Approach	5
Forgetting in Abstract Argumentation: Limits and Possibilities	5
Mixed Fair Division: A Survey	5
Computational Machine Ethics: A Survey	5
Automatically Finding the Right Probabilities in Bayesian Networks	5
Pure Nash Equilibria in Resource Graph Games	5
Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes	5
Against The Achilles' Heel: A Survey on Red Teaming for Generative Models	5
Bt-GAN: Generating Fair Synthetic Healthdata via Bias-transforming Generative Adversarial Networks	5
Neural Character-Level Syntactic Parsing for Chinese	5
Viewpoint: Hybrid Intelligence Supports Application Development for Diabetes Lifestyle Management	5
The Complexity of Matching Games: A Survey	5
Finding the Hardest Formulas for Resolution	5
An Algorithm with Improved Complexity for Pebble Motion/Multi-Agent Path Finding on Trees	5
Amortized Variational Inference: A Systematic Review	5
Analysis of the Impact of Randomization of Search-Control Parameters in Monte-Carlo Tree Search	5
Information Lattice Learning	4
sEMG-Based Upper Limb Movement Classifier: Current Scenario and Upcoming Challenges	4
Can Fairness be Automated? Guidelines and Opportunities for Fairness-aware AutoML	4
Multi-Agent Advisor Q-Learning	4
Counting Complexity for Reasoning in Abstract Argumentation	4
conDENSE: Conditional Density Estimation for Time Series Anomaly Detection	4
Synthesis and Properties of Optimally Value-Aligned Normative Systems	4
Symbolic Search for Cost-Optimal Planning with Expressive Model Extensions	4
Actor Prioritized Experience Replay	4
Automatic Recognition of the General-Purpose Communicative Functions Defined by the ISO 24617-2 Standard for Dialog Act Annotation	4
DeepSym: Deep Symbol Generation and Rule Learning for Planning from Unsupervised Robot Interaction	4
Scalable Neural-Probabilistic Answer Set Programming	4
Efficient and Fair Healthcare Rationing	3
Exploiting Cultural Biases via Homoglyphs in Text-to-Image Synthesis	3
Agent-Based Modeling for Predicting Pedestrian Trajectories Around an Autonomous Vehicle	3
Towards Evidence Retrieval Cost Reduction in Abstract Argumentation Frameworks with Fallible Evidence	3
Towards Robust Offline-to-Online Reinforcement Learning via Uncertainty and Smoothness	3
Optimal and Efficient Auctions for the Gradual Procurement of Strategic Service Provider Agents	3
Maintenance of Plan Libraries for Case-Based Planning: Offline and Online Policies	3
The Computational Complexity of ReLU Network Training Parameterized by Data Dimensionality	3
Fairness in Forecasting of Observations of Linear Dynamical Systems	3
Admissibility in Probabilistic Argumentation	3
Empirical Game Theoretic Analysis: A Survey	3
Approximate Counting of Linear Extensions in Practice	3
Separating and Collapsing Electoral Control Types	3
Multi-Label Classification Neural Networks with Hard Logical Constraints	3
Explainable Deep Learning: A Field Guide for the Uninitiated	3
Best of Both Worlds: Agents with Entitlements	3
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem	3
MallobSat: Scalable SAT Solving by Clause Sharing	3
Jointly Learning Environments and Control Policies with Projected Stochastic Gradient Ascent	3
Computing Unsatisfiable Cores for LTLf Specifications	3
Multi-Document Summarization with Determinantal Point Process Attention	3
A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems	3
Marginal Distance and Hilbert-Schmidt Covariances-Based Independence Tests for Multivariate Functional Data	3

Tackling Cooperative Incompatibility for Zero-Shot Human-AI Coordination	3
Mitigating Value Hallucination in Dyna-Style Planning via Multistep Predecessor Models	3
Path-Planning on a Spherical Surface with Disturbances and Exclusion Zones	3
Teaching People by Justifying Tree Search Decisions: An Empirical Study in Curling	2
Towards Trustworthy AI-Enabled Decision Support Systems: Validation of the Multisource AI Scorecard Table (MAST)	2
Automated Reinforcement Learning (AutoRL): A Survey and Open Problems	2
Individual Fairness, Base Rate Tracking and the Lipschitz Condition	2
Improving Reproducibility in AI Research: Four Mechanisms Adopted by JAIR	2
Generative Curricula for Multi-Agent Path Finding via Unsupervised and Reinforcement Learning	2
Multilabel Classification with Partial Abstention: Bayes-Optimal Prediction under Label Independence	2
Existence, Computation and Efficiency of Nash Stable Outcomes in Hedonic Skill Games	2
Recursion in Abstract Argumentation is Hard --- On the Complexity of Semantics Based on Weak Admissibility	2
Query-driven Qualitative Constraint Acquisition	2
General Policies, Subgoal Structure, and Planning Width	2
Exploiting Action Impact Regularity and Exogenous State Variables for Offline Reinforcement Learning	2
Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases	2
Satisfiability Modulo User Propagators	2
Object-agnostic Affordance Categorization via Unsupervised Learning of Graph Embeddings	2
Stability in Online Coalition Formation	2
Communication-Aware Local Search for Distributed Constraint Optimization	2
Right Place, Right Time: Proactive Multi-Robot Task Allocation Under Spatiotemporal Uncertainty	2
CPM-based Hierarchical Text Classification	2
Learning Bayesian Networks Under Sparsity Constraints: A Parameterized Complexity Analysis	2
AAN+: Generalized Average Attention Network for Accelerating Neural Transformer	2
Repairing the Cracked Foundation: A Survey of Obstacles in Evaluation Practices for Generated Text	2
Playing Codenames with Language Graphs and Word Embeddings	2
Effi	2
Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic	2
A Survey of Methods for Automated Algorithm Configuration	2
Efficient Ontology-Mediated Query Answering: Extending DL-liteR and Linear ELH	2
Solving Overlapping Coalition Structure Generation in Task-Based Settings	2
A Benchmark Study on Knowledge Graphs Enrichment and Pruning Methods in the Presence of Noisy Relationships	2
Improving Resource Allocations by Sharing in Pairs	2
On the Trade-off between Redundancy and Cohesiveness in Extractive Summarization	1
A Portfolio Approach to Massively Parallel Bayesian Optimization	1
Solving the Watchman Route Problem with Heuristic Search	1
On Centralized Critics in Multi-Agent Reinforcement Learning	1
EpidemiOptim: A Toolbox for the Optimization of Control Policies in Epidemiological Models	1
Lifted Reasoning for Combinatorial Counting	1
Your College Dorm and Dormmates: Fair Resource Sharing with Externalities	1
Understanding Sample Generation Strategies for Learning Heuristic Functions in Classical Planning	1
Learning Realistic Patterns from Visually Unrealistic Stimuli: Generalization and Data Anonymization	1
Sequence-Oriented Diagnosis of Discrete-Event Systems	1
A Divide, Align and Conquer Strategy For Program Synthesis	1
Declarative Approaches to Outcome Determination in Judgment Aggregation	1
Two-phase Multi-document Event Summarization on Core Event Graphs	1
Multi-Objective Reinforcement Learning Based on Decomposition: A Taxonomy and Framework	1
Adaptive Few-Shot Class-Incremental Learning via Latent Variable Models	1
Approximate Implication for Probabilistic Graphical Models	1
Set-to-Sequence Methods in Machine Learning: A Review	1
The RL/LLM Taxonomy Tree: Reviewing Synergies Between Reinforcement Learning and Large Language Models	1
Favoring Eagerness for Remaining Items: Designing Efficient, Fair, and Strategyproof Mechanisms	1
A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning	1
Exploiting Contextual Target Attributes for Target Sentiment Classification	1
Language-Models-as-a-Service: Overview of a New Paradigm and its Challenges	1
Reviewer Assignment Problem: A Systematic Review of the Literature	1
Weighted, Circular and Semi-Algebraic Proofs	1
Asymptotics of K-Fold Cross Validation	1
Better Decision Heuristics in CDCL through Local Search and Target Phases	1
DIGCN: A Dynamic Interaction Graph Convolutional Network Based on Learnable Proposals for Object Detection	1
Decentralized, Decomposition-Based Observation Scheduling for a Large-Scale Satellite Constellation	1
A Few Queries Go a Long Way: Information-Distortion Tradeoffs in Matching	1
From Knowledge to Action: Logics of Permitted and Obligatory Announcements	1
Contract Scheduling with Predictions	1
Declarative Algorithms and Complexity Results for Assumption-Based Argumentation	1
Negative Human Rights as a Basis for Long-term AI Safety and Regulation	1
Trends in Integration of Vision and Language Research: A Survey of Tasks, Datasets, and Methods	1
The LM-Cut Heuristic Family for Optimal Numeric Planning with Simple Conditions	1
Cross-domain Constituency Parsing by Leveraging Heterogeneous Data	1
CASA: Conversational Aspect Sentiment Analysis for Dialogue Understanding	1
Coopetition Against an Amazon	1
Robust Average-Reward Reinforcement Learning	1
TOMA: Computational Theory of Mind with Abstractions for Hybrid Intelligence	1
The Jiminy Advisor: Moral Agreements among Stakeholders Based on Norms and Argumentation	1
USN: A Robust Imitation Learning Method against Diverse Action Noise	1
Maximal Combinations of Fairness Definitions	1
Experimental Comparison and Survey of Twelve Time Series Anomaly Detection Algorithms	1
Relevance in Belief Update	1
A Fortiori Case-Based Reasoning: From Theory to Data	1
Competitive Equilibria with a Constant Number of Chores	1
Motion Planning Under Uncertainty with Complex Agents and Environments via Hybrid Search	1
Collective Belief Revision	1
Equivalence in Argumentation Frameworks with a Claim-centric View: Classical Results with Novel Ingredients	1
A Unified Perspective on Value Backup and Exploration in Monte-Carlo Tree Search	1
Selfishly Prepaying in Financial Credit Networks	1
Preserving Fairness in AI under Domain Shift	1
Evaluating Strategic Structures in Multi-Agent Inverse Reinforcement Learning	1
Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning	1
MAT2I: Enhancing Perceptual Authenticity in Text-to-Image Synthesis using Multi-Attribute Generative Adversarial Networks	1
Merge-and-Shrink: A Compositional Theory of Transformations of Factored Transition Systems	1
Your Prompt is My Command: On Assessing the Human-Centred Generality of Multimodal Models	1
The TOAD System for Totally Ordered HTN Planning	1
Path Counting for Grid-Based Navigation	1
QCDCL vs QBF Resolution: Further Insights	1
Online Bin Packing with Predictions	1