Journal of Artificial Intelligence Research

Article	Citations
Practical Parallel Algorithms for Non-Monotone Submodular Maximization	395
Combinatorial Multi-Armed Bandits with Fairness Constraints: An Online Convex Optimization Perspective	150
Procedural Fairness in Machine Learning	148
Argumentative Reasoning in ASPIC+ under Incomplete Information	134
Optimality Guarantees for Particle Belief Approximation of POMDPs	130
Can We Automate Scientific Reviewing?	78
Program Synthesis with Best-First Bottom-Up Search	77
Data-Driven Revision of Conditional Norms in Multi-Agent Systems	74
Quantization Aware Factorization for Deep Neural Network Compression	70
Robust Reward Design for Markov Decision Processes	62
Composition and Zero-Shot Transfer with Lattice Structures in Reinforcement Learning	58
Certified Knowledge Compilation with Application to Formally Verified Model Counting	56
Strategy Graphs for Influence Diagrams	52
Uncertainty as a Fairness Measure	52
A Comprehensive Survey of Agents for Computer Use: Foundations, Challenges, and Future Directions	51
Enhanced Recommendation Systems with Retrieval-Augmented Large Language Model	45
CluMo: Cluster-based Modality Fusion Prompt for Continual Learning in Visual Question Answering	45
Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach	43
Super Level Sets and Exponential Decay: A Synergistic Approach to Stable Neural Network Training	43
Viewpoint: Artificial Intelligence Accidents Waiting to Happen?	40
Computational Approaches to Automatic Poetry Generation and Evaluation: A Survey	40
A General Model for Aggregating Annotations Across Simple, Complex, and Multi-Object Annotation Tasks	33
Iterative Train Scheduling under Disruption with Maximum Satisfiability	31
Queries With Exact Truth Values on Concept and Role Atoms in Paraconsistent Description Logics	30
AI Reliance and Decision Quality: Fundamentals, Interdependence, and the Effects of Interventions	29

Scalable Primal Heuristics Using Graph Neural Networks for Combinatorial Optimization	27
Decision-Focused Learning: Foundations, State of the Art, Benchmark and Future Opportunities	27
The State of Computer Vision Research in Africa	26
Low-Rank Representation of Reinforcement Learning Policies	24
Conditional Relative Frequency Distributions with Undefined Observations and Generalized Fuzzy Orthopartitions	23
Trustworthy Transfer Learning: A Survey	23
An Overview of Environmental Features that Impact Deep Reinforcement Learning in Sparse-Reward Domains	23
Stackelberg Security Games with Contagious Attacks on a Network: Reallocation to the Rescue	22
Threshold Treewidth and Hypertree Width	22
Experimental Design of Extractive Question-Answering Systems: Influence of Error Scores and Answer Length	22
Performative Ethics From Within the Ivory Tower: How CS Practitioners Uphold Systems of Oppression	20
FlexiBERT: Are Current Transformer Architectures too Homogeneous and Rigid?	19
Evolutionary Dynamics and Phi-Regret Minimization in Games	19
WorldView-Bench: A Benchmark for Evaluating Global Cultural Perspectives in Large Language Models	18
Flexible FOND Planning with Explicit Fairness Assumptions	18
Learning to Design Fair and Private Voting Rules	17
On Expected Value Strong Controllability	17
Introduction to the Special Track on Artificial Intelligence and COVID-19	17
Reasoning over Streams of Events with Delayed Effects	16
Fair and Efficient Allocation of Scarce Resources Based on Predicted Outcomes: Implications for Homeless Service Delivery	16
Scalable Multi-Objective Reinforcement Learning with Fairness Guarantees using Lorenz Dominance	16
Expected 1.x Makespan-Optimal Multi-Agent Path Finding on Grid Graphs in Low Polynomial Time	15
The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom	15
Approximating Proportional and Maximin Allocations on D-Claw-Free Graphs	15
Initialization of Feature Selection Search for Classification	14
Learning to Resolve Social Dilemmas: A Survey	14
Certified Dominance and Symmetry Breaking for Combinatorial Optimisation	14
AI for All: Identifying AI incidents Related to Diversity and Inclusion	14
Boolean Observation Games	13
Estimating Agent Skill in Continuous Action Domains	13
Methods for Recovering Conditional Independence Graphs: A Survey	13
Fair Influence Maximization in Large-scale Social Networks Based on Attribute-aware Reverse Influence Sampling	13
Classes of Hard Formulas for QBF Resolution	13
Finite Materialisability of Datalog Programs with Metric Temporal Operators	13
Digraph k-Coloring Games: New Algorithms and Experiments	13
Diagnosing AI Explanation Methods with Folk Concepts of Behavior	12
Proof Theory and Decision Procedures for Deontic STIT Logics	12
On the Convergence of Swap Dynamics to Pareto-Optimal Matchings	12
CADS: A Systematic Literature Review on the Challenges of Abstractive Dialogue Summarization	12
Incremental Learning Methodologies for Addressing Catastrophic Forgetting: Analysis and Experimental Evaluation	12
MRC and Transfer Learning Framework for Document-level Event Factuality Identification with Heterogeneous Spectral Attention Networks	12
ModelStar: Reachability Analysis-based Safety Verification of Neural Networks Against Model Perturbations	12
Quantifying Query Fairness Under Unawareness	11
Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization	10
Opening the Analogical Portal to Explainability: Can Analogies Help Laypeople in AI-assisted Decision Making?	10
A Survey on Data Selection for LLM Instruction Tuning	10
Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification	10
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions	10
Multi-Modal Attentive Prompt Learning for Few-shot Emotion Recognition in Conversations	10
Integrating Column Generation and Large Neighborhood Search for Bus Driver Scheduling with Complex Break Constraints	10

Policy-based Primal-Dual Methods for Concave CMDP with Variance Reduction	10
Impact of Imputation Strategies on Fairness in Machine Learning	10
Reinforcement Learning for Generative AI: State of the Art, Opportunities and Open Research Challenges	10
Detecting AI-Generated Text: Factors Influencing Detectability with Current Methods	10
A Markov Framework for Learning and Reasoning About Strategies in Professional Soccer	9
Value Preferences Estimation and Disambiguation in Hybrid Participatory Systems	9
Maximisation of Admissible Multi-Objective Heuristics	9
Towards an Ontology-Driven Approach to Document Bias	9
Crossing the Conversational Chasm: A Primer on Natural Language Processing for Multilingual Task-Oriented Dialogue Systems	9
On the Evaluation of (Meta-)solver Approaches	9
From Single-Objective to Bi-Objective Maximum Satisfiability Solving	9
Human-in-the-Loop Reinforcement Learning: A Survey and Position on Requirements, Challenges, and Opportunities	9
Towards Generalist Robot Learning from Internet Video: A Survey	9
Qualitative Reasoning about 2D Cardinal Directions using Answer Set Programming	8
Finding and Recognizing Popular Coalition Structures	8
Principles and their Computational Consequences for Argumentation Frameworks with Collective Attacks	8
On the Parallel Parameterized Complexity of MaxSAT Variants	8
MA-LAMA: Exploiting the Multi-Agent Nature of Temporal Planning Problems	8
Non-Crossing Anonymous MAPF for Tethered Robots	8
An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty	8
TOOLTANGO: Common sense Generalization in Predicting Sequential Tool Interactions for Robot Plan Synthesis	7
Reinforcement Learning from Optimization Proxy for Ride-Hailing Vehicle Relocation	7
Mean-Semivariance Policy Optimization via Risk-Averse Reinforcement Learning	7
How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC	7
The Winnability of Klondike Solitaire and Many Other Patience Games	7
Inductive Logic Programming At 30: A New Introduction	7
The Complexity of Matching Games: A Survey	7
A Review of Pseudo-Labeling for Computer Vision	7
A Principled Distributional Approach to Trajectory Similarity Measurement and its Application to Anomaly Detection	7
Computational Machine Ethics: A Survey	7
Abductive Reasoning in Expansions of Belnap-Dunn Logic	6
Automatically Finding the Right Probabilities in Bayesian Networks	6
Decentralized Gradient-Quantization Based Matrix Factorization for Fast Privacy-Preserving Point-of-Interest Recommendation	6
Revisiting SAT-based Solvers: MaxSAT Rules and Core Sequences	6
ℵ-IPOMDP: Mitigating Deception in a Cognitive Hierarchy with Off-Policy Counterfactual Anomaly Detection	6
Prediction of Social Dynamic Agents and Long-Tailed Learning Challenges: A Survey	6
The Complexity of Subelection Isomorphism Problems	6
Semantic Alignment of Malicious Question Based on Contrastive Semantic Networks and Data Augmentation	6
Viewpoint: Hybrid Intelligence Supports Application Development for Diabetes Lifestyle Management	6
Multi-Agent Pathfinding Under Team-Connected Communication Constraint via Adaptive Path Expansion and Dynamic Leading	6
On Dynamics in Structured Argumentation Formalisms	6
Against The Achilles' Heel: A Survey on Red Teaming for Generative Models	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
Mixed Fair Division: A Survey	5
Design and Effects of Co-Learning in Human-AI Teams	5
Counting Complexity for Reasoning in Abstract Argumentation	5
Information Lattice Learning	5
Bt-GAN: Generating Fair Synthetic Healthdata via Bias-transforming Generative Adversarial Networks	5
Forgetting in Abstract Argumentation: Limits and Possibilities	5
Combining Constraint Programming and Machine Learning: From Current Progress to Future Opportunities	5
Amortized Variational Inference: A Systematic Review	5
Actor Prioritized Experience Replay	5
Symbolic Search for Cost-Optimal Planning with Expressive Model Extensions	5
Recursive Decomposition of Logical Thoughts: Framework for Superior Reasoning and Knowledge Propagation in Large Language Models	5
Joint Optimization of Concave Scalarized Multi-Objective Reinforcement Learning with Policy Gradient Based Algorithm	5
An Algorithm with Improved Complexity for Pebble Motion/Multi-Agent Path Finding on Trees	5
Bases for Weighted Gradual Semantics and Inverse Problems in Argumentation Theory	5
LabelCoRank: Revolutionizing Long Tail Multi-Label Classification with Co-Occurrence Reranking	5
conDENSE: Conditional Density Estimation for Time Series Anomaly Detection	5
Improving Local Search Algorithm for Pseudo Boolean Optimization	5
Approximate Counting of Linear Extensions in Practice	4
Separating and Collapsing Electoral Control Types	4
Exploiting Cultural Biases via Homoglyphs in Text-to-Image Synthesis	4
Efficient and Fair Healthcare Rationing	4
Towards Robust Offline-to-Online Reinforcement Learning via Uncertainty and Smoothness	4
Rational Silence and False Polarization: How Viewpoint Organizations and Recommender Systems Distort the Expression of Public Opinion	4
Can Fairness be Automated? Guidelines and Opportunities for Fairness-aware AutoML	4
DeepSym: Deep Symbol Generation and Rule Learning for Planning from Unsupervised Robot Interaction	4
A Graphical Formalism for Reasoning about Substitution in Resource Transforming Procedures	4
Synthesis and Properties of Optimally Value-Aligned Normative Systems	4
Backward Monte Carlo Tree Search: Charting Unsafe Regions in the Belief-Space	4
MallobSat: Scalable SAT Solving by Clause Sharing	4
Partial Minimum Satisfiability: Fine-Grained Analysis	4
Honey, I Shrunk the Hypothesis Space (Through Logical Preprocessing)	4
sEMG-Based Upper Limb Movement Classifier: Current Scenario and Upcoming Challenges	4
Generating Streamlining Constraints with Large Language Models	4
Scalable Neural-Probabilistic Answer Set Programming	4
Towards Evidence Retrieval Cost Reduction in Abstract Argumentation Frameworks with Fallible Evidence	4
Admissibility in Probabilistic Argumentation	4

Empirical Game Theoretic Analysis: A Survey	4
Label-Aware Pseudo-Training Sample Generation for Text Classification	4
Data Augmentation for Time-Series Classification: An Extensive Empirical Study and Comprehensive Survey	4
Correct Explanations and How to Define Them: Properties and Metrics for Measuring Correctness of Three Forms of ML Model Input/Output Behaviour Explanations	4
Score Function Gradient Estimation to Widen the Applicability of Decision-Focused Learning	4
Computing Unsatisfiable Cores for LTLf Specifications	4
The Computational Complexity of ReLU Network Training Parameterized by Data Dimensionality	3
Effi	3
Mitigating Value Hallucination in Dyna-Style Planning via Multistep Predecessor Models	3
Existence, Computation and Efficiency of Nash Stable Outcomes in Hedonic Skill Games	3
General Policies, Subgoal Structure, and Planning Width	3
Satisfiability Modulo User Propagators	3
Efficient Ontology-Mediated Query Answering: Extending DL-liteR and Linear ELH	3
Solving Overlapping Coalition Structure Generation in Task-Based Settings	3
Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic	3
Fairness in Forecasting of Observations of Linear Dynamical Systems	3
Optimal and Efficient Auctions for the Gradual Procurement of Strategic Service Provider Agents	3
On Generating Monolithic and Model Reconciling Explanations in Probabilistic Scenarios	3
Best of Both Worlds: Agents with Entitlements	3
Query-driven Qualitative Constraint Acquisition	3
Automated Reinforcement Learning (AutoRL): A Survey and Open Problems	3
Improving Reproducibility in AI Research: Four Mechanisms Adopted by JAIR	3
Object-agnostic Affordance Categorization via Unsupervised Learning of Graph Embeddings	3
Right Place, Right Time: Proactive Multi-Robot Task Allocation Under Spatiotemporal Uncertainty	3
Generative Curricula for Multi-Agent Path Finding via Unsupervised and Reinforcement Learning	3
Stability in Online Coalition Formation	3
A Survey of Methods for Automated Algorithm Configuration	3
Maintenance of Plan Libraries for Case-Based Planning: Offline and Online Policies	3
Communication-Aware Local Search for Distributed Constraint Optimization	3
Geometrically Inspired Kernel Machines for Collaborative Learning Beyond Gradient Descent	3
Declarative Approaches to Outcome Determination in Judgment Aggregation	3
Repairing the Cracked Foundation: A Survey of Obstacles in Evaluation Practices for Generated Text	3
Towards Trustworthy AI-Enabled Decision Support Systems: Validation of the Multisource AI Scorecard Table (MAST)	3
Detecting Generative Model Inversion Attacks for Protecting Intellectual Property of Deep Neural Networks	3
Individual Fairness, Base Rate Tracking and the Lipschitz Condition	3
Tackling Cooperative Incompatibility for Zero-Shot Human-AI Coordination	3
Path-Planning on a Spherical Surface with Disturbances and Exclusion Zones	3
TOMA: Computational Theory of Mind with Abstractions for Hybrid Intelligence	2
On the Trade-off between Redundancy and Cohesiveness in Extractive Summarization	2
DIGCN: A Dynamic Interaction Graph Convolutional Network Based on Learnable Proposals for Object Detection	2
Decentralized, Decomposition-Based Observation Scheduling for a Large-Scale Satellite Constellation	2
From Knowledge to Action: Logics of Permitted and Obligatory Announcements	2
A Scoping Study on AI Affordances in Early Childhood Education: Mapping the Global Landscape, Identifying Research Gaps, and Charting Future Research Directions	2
QCDCL vs QBF Resolution: Further Insights	2
Detecting Change Intervals with Isolation Distributional Kernel	2
Cross-domain Constituency Parsing by Leveraging Heterogeneous Data	2
Motion Planning Under Uncertainty with Complex Agents and Environments via Hybrid Search	2
Recursion in Abstract Argumentation is Hard --- On the Complexity of Semantics Based on Weak Admissibility	2
The RL/LLM Taxonomy Tree: Reviewing Synergies Between Reinforcement Learning and Large Language Models	2
AAN+: Generalized Average Attention Network for Accelerating Neural Transformer	2
Improving Resource Allocations by Sharing in Pairs	2
Fairer than Fair: Sharp Bounds for Connected Super-Proportional Cake Cutting	2
Using Constraint Propagation to Bound Linear Programs	2
Adaptive Few-Shot Class-Incremental Learning via Latent Variable Models	2
Coopetition Against an Amazon	2
Approximate Implication for Probabilistic Graphical Models	2
Towards Continual Reinforcement Learning: A Review and Perspectives	2
Collective Belief Revision	2
A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning	2
Robustness Distributions in Neural Network Verification	2
Principles for Responsible AI Consciousness Research	2
Scaling Safe Policy Improvement: Monte Carlo Tree Search and Policy Iteration Strategies	2
On the Complexity of Finding Set Repairs for Data-Graphs	2
A Benchmark Study on Knowledge Graphs Enrichment and Pruning Methods in the Presence of Noisy Relationships	2
PAC-Chernoff Bounds: Understanding Generalization in the Interpolation Regime	2
Preserving Fairness in AI under Domain Shift	2
Sequence-Oriented Diagnosis of Discrete-Event Systems	2
Learning Bayesian Networks Under Sparsity Constraints: A Parameterized Complexity Analysis	2
On the Equivalence between Logic Programs and Bipolar Argumentation Frameworks	2
A Unified Perspective on Value Backup and Exploration in Monte-Carlo Tree Search	2
ConSCompF: Consistency-focused Similarity Comparison Framework for Generative Large Language Models	2
The TOAD System for Totally Ordered HTN Planning	2
Machine Learning-Guided Interactive Constraint Acquisition	2
Generalised Merge and Shrink Abstractions for Temporal Planning	2
Improving Label Error Detection and Elimination with Uncertainty Quantification	2
Satsuma: Structure-Based Symmetry Breaking in SAT	2
Achieving Zero Constraint Violation for Concave Utility Constrained Reinforcement Learning via Primal-Dual Approach	2
Understanding Sample Generation Strategies for Learning Heuristic Functions in Classical Planning	2
Multi-Objective Reinforcement Learning Based on Decomposition: A Taxonomy and Framework	2
CPM-based Hierarchical Text Classification	2
Active Constraint Acquisition Using Large Language Models	2
Exploiting Action Impact Regularity and Exogenous State Variables for Offline Reinforcement Learning	2