Journal of Artificial Intelligence Research

Article	Citations
Combinatorial Multi-Armed Bandits with Fairness Constraints: An Online Convex Optimization Perspective	168
Argumentative Reasoning in ASPIC+ under Incomplete Information	153
Procedural Fairness in Machine Learning	153
How to DP-Fy Your Data: A Practical Guide to Generating Synthetic Data With Differential Privacy	145
Optimality Guarantees for Particle Belief Approximation of POMDPs	96
Can We Automate Scientific Reviewing?	84
An Empirical Comparison of Cost Functions in Inductive Logic Programming	63
Hierarchical Reinforcement Learning with Optimal Level Synchronization Based on Flow-Based Deep Generative Model	62
Practical Parallel Algorithms for Non-Monotone Submodular Maximization	56
Program Synthesis with Best-First Bottom-Up Search	55
Quantization Aware Factorization for Deep Neural Network Compression	54
Robust Reward Design for Markov Decision Processes	49
Composition and Zero-Shot Transfer with Lattice Structures in Reinforcement Learning	48
Certified Knowledge Compilation with Application to Formally Verified Model Counting	45
Super Level Sets and Exponential Decay: A Synergistic Approach to Stable Neural Network Training	45
A General Model for Aggregating Annotations Across Simple, Complex, and Multi-Object Annotation Tasks	44
Computational Approaches to Automatic Poetry Generation and Evaluation: A Survey	42
Iterative Train Scheduling under Disruption with Maximum Satisfiability	42
Enhanced Recommendation Systems with Retrieval-Augmented Large Language Model	34
Queries With Exact Truth Values on Concept and Role Atoms in Paraconsistent Description Logics	34
The State of Computer Vision Research in Africa	31
Data-Driven Revision of Conditional Norms in Multi-Agent Systems	30
Uncertainty as a Fairness Measure	27
Viewpoint: Artificial Intelligence Accidents Waiting to Happen?	27
Strategy Graphs for Influence Diagrams	26

Scalable Primal Heuristics Using Graph Neural Networks for Combinatorial Optimization	25
AI Reliance and Decision Quality: Fundamentals, Interdependence, and the Effects of Interventions	24
A Comprehensive Survey of Agents for Computer Use: Foundations, Challenges, and Future Directions	24
CluMo: Cluster-based Modality Fusion Prompt for Continual Learning in Visual Question Answering	23
Decision-Focused Learning: Foundations, State of the Art, Benchmark and Future Opportunities	22
De-biasing Facial Albedo Estimation via Visual-Textual Cues	22
Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach	22
Low-Rank Representation of Reinforcement Learning Policies	21
FlexiBERT: Are Current Transformer Architectures too Homogeneous and Rigid?	20
Experimental Design of Extractive Question-Answering Systems: Influence of Error Scores and Answer Length	20
Threshold Treewidth and Hypertree Width	20
Performative Ethics From Within the Ivory Tower: How CS Practitioners Uphold Systems of Oppression	19
Stackelberg Security Games with Contagious Attacks on a Network: Reallocation to the Rescue	18
Trustworthy Transfer Learning: A Survey	18
WorldView-Bench: A Benchmark for Evaluating Global Cultural Perspectives in Large Language Models	18
Conditional Relative Frequency Distributions with Undefined Observations and Generalized Fuzzy Orthopartitions	17
An Overview of Environmental Features that Impact Deep Reinforcement Learning in Sparse-Reward Domains	17
On Expected Value Strong Controllability	16
Introduction to the Special Track on Artificial Intelligence and COVID-19	16
Scalable Multi-Objective Reinforcement Learning with Fairness Guarantees using Lorenz Dominance	16
Reasoning over Streams of Events with Delayed Effects	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
Classes of Hard Formulas for QBF Resolution	15
AI for All: Identifying AI incidents Related to Diversity and Inclusion	14
Learning to Resolve Social Dilemmas: A Survey	14
Initialization of Feature Selection Search for Classification	14
Fair and Efficient Allocation of Scarce Resources Based on Predicted Outcomes: Implications for Homeless Service Delivery	14
Boolean Observation Games	13
Finite Materialisability of Datalog Programs with Metric Temporal Operators	13
Certified Dominance and Symmetry Breaking for Combinatorial Optimisation	13
Learning to Design Fair and Private Voting Rules	13
Digraph k-Coloring Games: New Algorithms and Experiments	13
ModelStar: Reachability Analysis-based Safety Verification of Neural Networks Against Model Perturbations	12
MRC and Transfer Learning Framework for Document-level Event Factuality Identification with Heterogeneous Spectral Attention Networks	12
Estimating Agent Skill in Continuous Action Domains	12
CADS: A Systematic Literature Review on the Challenges of Abstractive Dialogue Summarization	12
Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification	11
Multi-Modal Attentive Prompt Learning for Few-shot Emotion Recognition in Conversations	11
Quantifying Query Fairness Under Unawareness	11
Diagnosing AI Explanation Methods with Folk Concepts of Behavior	11
It’s About Time: Temporal References in Emergent Communication	11
Proof Theory and Decision Procedures for Deontic STIT Logics	11
Methods for Recovering Conditional Independence Graphs: A Survey	11
Incremental Learning Methodologies for Addressing Catastrophic Forgetting: Analysis and Experimental Evaluation	10
On the Convergence of Swap Dynamics to Pareto-Optimal Matchings	10
Detecting AI-Generated Text: Factors Influencing Detectability with Current Methods	10
Integrating Column Generation and Large Neighborhood Search for Bus Driver Scheduling with Complex Break Constraints	9
A Markov Framework for Learning and Reasoning About Strategies in Professional Soccer	9

Fair Influence Maximization in Large-scale Social Networks Based on Attribute-aware Reverse Influence Sampling	9
From Single-Objective to Bi-Objective Maximum Satisfiability Solving	9
Value Preferences Estimation and Disambiguation in Hybrid Participatory Systems	9
A Survey on Data Selection for LLM Instruction Tuning	9
Reinforcement Learning for Generative AI: State of the Art, Opportunities and Open Research Challenges	9
Towards an Ontology-Driven Approach to Document Bias	9
Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization	9
Opening the Analogical Portal to Explainability: Can Analogies Help Laypeople in AI-assisted Decision Making?	9
Towards Generalist Robot Learning from Internet Video: A Survey	8
Maximisation of Admissible Multi-Objective Heuristics	8
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions	8
The Winnability of Klondike Solitaire and Many Other Patience Games	8
Principles and their Computational Consequences for Argumentation Frameworks with Collective Attacks	8
Human-in-the-Loop Reinforcement Learning: A Survey and Position on Requirements, Challenges, and Opportunities	8
On the Evaluation of (Meta-)solver Approaches	8
Qualitative Reasoning about 2D Cardinal Directions using Answer Set Programming	8
Policy-based Primal-Dual Methods for Concave CMDP with Variance Reduction	8
MA-LAMA: Exploiting the Multi-Agent Nature of Temporal Planning Problems	8
On the Parallel Parameterized Complexity of MaxSAT Variants	8
A Principled Distributional Approach to Trajectory Similarity Measurement and its Application to Anomaly Detection	8
Non-Crossing Anonymous MAPF for Tethered Robots	7
Efficiently Negative: Complexity and Approximations of Targeted Negative Campaigning	7
How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC	7
TOOLTANGO: Common sense Generalization in Predicting Sequential Tool Interactions for Robot Plan Synthesis	7
An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty	7
Mean-Semivariance Policy Optimization via Risk-Averse Reinforcement Learning	7
Reinforcement Learning from Optimization Proxy for Ride-Hailing Vehicle Relocation	7
A Review of Pseudo-Labeling for Computer Vision	7
Prediction of Social Dynamic Agents and Long-Tailed Learning Challenges: A Survey	7
Decentralized Gradient-Quantization Based Matrix Factorization for Fast Privacy-Preserving Point-of-Interest Recommendation	6
Improving Mutual Information Based Feature Selection by Boosting Unique Relevance	6
Forgetting in Abstract Argumentation: Limits and Possibilities	6
On Dynamics in Structured Argumentation Formalisms	6
ℵ-IPOMDP: Mitigating Deception in a Cognitive Hierarchy with Off-Policy Counterfactual Anomaly Detection	6
The Complexity of Subelection Isomorphism Problems	6
Automatically Finding the Right Probabilities in Bayesian Networks	6
An Algorithm with Improved Complexity for Pebble Motion/Multi-Agent Path Finding on Trees	6
Abductive Reasoning in Expansions of Belnap-Dunn Logic	6
The Complexity of Matching Games: A Survey	6
Revisiting SAT-based Solvers: MaxSAT Rules and Core Sequences	6
Semantic Alignment of Malicious Question Based on Contrastive Semantic Networks and Data Augmentation	6
Computational Machine Ethics: A Survey	6
Multi-Agent Pathfinding Under Team-Connected Communication Constraint via Adaptive Path Expansion and Dynamic Leading	6
Joint Optimization of Concave Scalarized Multi-Objective Reinforcement Learning with Policy Gradient Based Algorithm	6
Viewpoint: Hybrid Intelligence Supports Application Development for Diabetes Lifestyle Management	6
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
LabelCoRank: Revolutionizing Long Tail Multi-Label Classification with Co-Occurrence Reranking	5
Amortized Variational Inference: A Systematic Review	5
Improving Local Search Algorithm for Pseudo Boolean Optimization	5
The Complexity of Extending Fair Allocations of Indivisible Goods	5
Counting Complexity for Reasoning in Abstract Argumentation	5
Actor Prioritized Experience Replay	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
conDENSE: Conditional Density Estimation for Time Series Anomaly Detection	5
A Graphical Formalism for Reasoning about Substitution in Resource Transforming Procedures	5
sEMG-Based Upper Limb Movement Classifier: Current Scenario and Upcoming Challenges	5
Combining Constraint Programming and Machine Learning: From Current Progress to Future Opportunities	5
Bases for Weighted Gradual Semantics and Inverse Problems in Argumentation Theory	5
Design and Effects of Co-Learning in Human-AI Teams	5
Symbolic Search for Cost-Optimal Planning with Expressive Model Extensions	5
Information Lattice Learning	5
Can Fairness be Automated? Guidelines and Opportunities for Fairness-aware AutoML	5
Scalable Neural-Probabilistic Answer Set Programming	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
Recursive Decomposition of Logical Thoughts: Framework for Superior Reasoning and Knowledge Propagation in Large Language Models	4
Approximate Counting of Linear Extensions in Practice	4
Data Augmentation for Time-Series Classification: An Extensive Empirical Study and Comprehensive Survey	4
Label-Aware Pseudo-Training Sample Generation for Text Classification	4
Backward Monte Carlo Tree Search: Charting Unsafe Regions in the Belief-Space	4
Separating and Collapsing Electoral Control Types	4
DeepSym: Deep Symbol Generation and Rule Learning for Planning from Unsupervised Robot Interaction	4
Reward Generation for Model-Free Reinforcement Learning from Formal Specifications	4
Honey, I Shrunk the Hypothesis Space (Through Logical Preprocessing)	4
Towards Evidence Retrieval Cost Reduction in Abstract Argumentation Frameworks with Fallible Evidence	4
Partial Minimum Satisfiability: Fine-Grained Analysis	4
Efficient and Fair Healthcare Rationing	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
Generating Streamlining Constraints with Large Language Models	4
Adaptive Neighborhood Selection for MAPF via Non-Stationary Bandits	4
Computing Unsatisfiable Cores for LTLf Specifications	4
Synthesis and Properties of Optimally Value-Aligned Normative Systems	4
On Generating Monolithic and Model Reconciling Explanations in Probabilistic Scenarios	3
A Survey of Methods for Automated Algorithm Configuration	3
Solving Overlapping Coalition Structure Generation in Task-Based Settings	3
Best of Both Worlds: Agents with Entitlements	3
Improving Reproducibility in AI Research: Four Mechanisms Adopted by JAIR	3
Mitigating Value Hallucination in Dyna-Style Planning via Multistep Predecessor Models	3
GEPR: Group-knowledge Enhanced Personalized Educational Resource Recommendation	3
Exploiting Cultural Biases via Homoglyphs in Text-to-Image Synthesis	3
Tackling Cooperative Incompatibility for Zero-Shot Human-AI Coordination	3
Generative Curricula for Multi-Agent Path Finding via Unsupervised and Reinforcement Learning	3
Stability in Online Coalition Formation	3
Existence, Computation and Efficiency of Nash Stable Outcomes in Hedonic Skill Games	3
The Computational Complexity of ReLU Network Training Parameterized by Data Dimensionality	3
Individual Fairness, Base Rate Tracking and the Lipschitz Condition	3
Maintenance of Plan Libraries for Case-Based Planning: Offline and Online Policies	3
Effi	3
Fairness in Forecasting of Observations of Linear Dynamical Systems	3
Empirical Game Theoretic Analysis: A Survey	3
Right Place, Right Time: Proactive Multi-Robot Task Allocation Under Spatiotemporal Uncertainty	3
Path-Planning on a Spherical Surface with Disturbances and Exclusion Zones	3
Communication-Aware Local Search for Distributed Constraint Optimization	3
Optimal and Efficient Auctions for the Gradual Procurement of Strategic Service Provider Agents	3
Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic	3
MallobSat: Scalable SAT Solving by Clause Sharing	3
General Policies, Subgoal Structure, and Planning Width	2
Multi-Objective Reinforcement Learning Based on Decomposition: A Taxonomy and Framework	2
Towards Trustworthy AI-Enabled Decision Support Systems: Validation of the Multisource AI Scorecard Table (MAST)	2
PAC-Chernoff Bounds: Understanding Generalization in the Interpolation Regime	2
Object-agnostic Affordance Categorization via Unsupervised Learning of Graph Embeddings	2
On the Complexity of Finding Set Repairs for Data-Graphs	2
The RL/LLM Taxonomy Tree: Reviewing Synergies Between Reinforcement Learning and Large Language Models	2
On the Trade-off between Redundancy and Cohesiveness in Extractive Summarization	2
Lifted Reasoning for Combinatorial Counting	2
Query-driven Qualitative Constraint Acquisition	2
Maximizing the Spread of Influence through a Social Network Using Partial Incentives	2
Scaling Safe Policy Improvement: Monte Carlo Tree Search and Policy Iteration Strategies	2
Generalised Merge and Shrink Abstractions for Temporal Planning	2
Principles for Responsible AI Consciousness Research	2
From Knowledge to Action: Logics of Permitted and Obligatory Announcements	2
Machine Learning-Guided Interactive Constraint Acquisition	2
Detecting Generative Model Inversion Attacks for Protecting Intellectual Property of Deep Neural Networks	2
A Scoping Study on AI Affordances in Early Childhood Education: Mapping the Global Landscape, Identifying Research Gaps, and Charting Future Research Directions	2
Exploiting Action Impact Regularity and Exogenous State Variables for Offline Reinforcement Learning	2
Fairer than Fair: Sharp Bounds for Connected Super-Proportional Cake Cutting	2
Geometrically Inspired Kernel Machines for Collaborative Learning Beyond Gradient Descent	2
Coopetition Against an Amazon	2
Satisfiability Modulo User Propagators	2
Motion Planning Under Uncertainty with Complex Agents and Environments via Hybrid Search	2
Collective Belief Revision	2
Adaptive Few-Shot Class-Incremental Learning via Latent Variable Models	2
DIGCN: A Dynamic Interaction Graph Convolutional Network Based on Learnable Proposals for Object Detection	2
AAN+: Generalized Average Attention Network for Accelerating Neural Transformer	2
Improving Resource Allocations by Sharing in Pairs	2
USN: A Robust Imitation Learning Method against Diverse Action Noise	2
Understanding Sample Generation Strategies for Learning Heuristic Functions in Classical Planning	2
A Unified Perspective on Value Backup and Exploration in Monte-Carlo Tree Search	2
Approximate Implication for Probabilistic Graphical Models	2
Decentralized, Decomposition-Based Observation Scheduling for a Large-Scale Satellite Constellation	2
Cross-domain Constituency Parsing by Leveraging Heterogeneous Data	2
Using Constraint Propagation to Bound Linear Programs	2
A Benchmark Study on Knowledge Graphs Enrichment and Pruning Methods in the Presence of Noisy Relationships	2
QCDCL vs QBF Resolution: Further Insights	2
Declarative Approaches to Outcome Determination in Judgment Aggregation	2
On the Equivalence between Logic Programs and Bipolar Argumentation Frameworks	2
Repairing the Cracked Foundation: A Survey of Obstacles in Evaluation Practices for Generated Text	2
Improving Label Error Detection and Elimination with Uncertainty Quantification	2
Efficient Ontology-Mediated Query Answering: Extending DL-liteR and Linear ELH	2
Detecting Change Intervals with Isolation Distributional Kernel	2
Sequence-Oriented Diagnosis of Discrete-Event Systems	2
TOMA: Computational Theory of Mind with Abstractions for Hybrid Intelligence	2
MaxSAT Fuzzing and Delta Debugging	2
Preserving Fairness in AI under Domain Shift	2
Explainable Bayesian Deep Learning through Input-skip Latent Binary Bayesian Neural Networks	2
A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning	2
Robustness Distributions in Neural Network Verification	2
ConSCompF: Consistency-focused Similarity Comparison Framework for Generative Large Language Models	2
The TOAD System for Totally Ordered HTN Planning	2
Towards Continual Reinforcement Learning: A Review and Perspectives	2
CPM-based Hierarchical Text Classification	2
Achieving Zero Constraint Violation for Concave Utility Constrained Reinforcement Learning via Primal-Dual Approach	2
Active Constraint Acquisition Using Large Language Models	2
Satsuma: Structure-Based Symmetry Breaking in SAT	2