Journal of Artificial Intelligence Research

Article	Citations
Practical Parallel Algorithms for Non-Monotone Submodular Maximization	378
Optimality Guarantees for Particle Belief Approximation of POMDPs	145
Combinatorial Multi-Armed Bandits with Fairness Constraints: An Online Convex Optimization Perspective	143
Procedural Fairness in Machine Learning	132
Can We Automate Scientific Reviewing?	122
Argumentative Reasoning in ASPIC+ under Incomplete Information	77
Scalable Primal Heuristics Using Graph Neural Networks for Combinatorial Optimization	74
Data-Driven Revision of Conditional Norms in Multi-Agent Systems	69
Program Synthesis with Best-First Bottom-Up Search	69
Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach	61
CluMo: Cluster-based Modality Fusion Prompt for Continual Learning in Visual Question Answering	61
Viewpoint: Artificial Intelligence Accidents Waiting to Happen?	55
Quantization Aware Factorization for Deep Neural Network Compression	52
Composition and Zero-Shot Transfer with Lattice Structures in Reinforcement Learning	51
Certified Knowledge Compilation with Application to Formally Verified Model Counting	51
Robust Reward Design for Markov Decision Processes	51
Uncertainty as a Fairness Measure	45
A Comprehensive Survey of Agents for Computer Use: Foundations, Challenges, and Future Directions	42
Strategy Graphs for Influence Diagrams	40
Iterative Train Scheduling under Disruption with Maximum Satisfiability	39
Super Level Sets and Exponential Decay: A Synergistic Approach to Stable Neural Network Training	39
The State of Computer Vision Research in Africa	38
Queries With Exact Truth Values on Concept and Role Atoms in Paraconsistent Description Logics	32
Decision-Focused Learning: Foundations, State of the Art, Benchmark and Future Opportunities	31
Enhanced Recommendation Systems with Retrieval-Augmented Large Language Model	30

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

Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization	10
Detecting AI-Generated Text: Factors Influencing Detectability with Current Methods	10
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions	10
Policy-based Primal-Dual Methods for Concave CMDP with Variance Reduction	10
A Survey on Data Selection for LLM Instruction Tuning	10
Value Preferences Estimation and Disambiguation in Hybrid Participatory Systems	10
From Single-Objective to Bi-Objective Maximum Satisfiability Solving	9
A Markov Framework for Learning and Reasoning About Strategies in Professional Soccer	9
Maximisation of Admissible Multi-Objective Heuristics	9
On the Evaluation of (Meta-)solver Approaches	9
Towards Generalist Robot Learning from Internet Video: A Survey	9
MA-LAMA: Exploiting the Multi-Agent Nature of Temporal Planning Problems	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
Human-in-the-Loop Reinforcement Learning: A Survey and Position on Requirements, Challenges, and Opportunities	9
Qualitative Reasoning about 2D Cardinal Directions using Answer Set Programming	8
Non-Crossing Anonymous MAPF for Tethered Robots	8
Finding and Recognizing Popular Coalition Structures	8
TOOLTANGO: Common sense Generalization in Predicting Sequential Tool Interactions for Robot Plan Synthesis	8
Reinforcement Learning from Optimization Proxy for Ride-Hailing Vehicle Relocation	8
Principles and their Computational Consequences for Argumentation Frameworks with Collective Attacks	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
An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty	8
The Complexity of Matching Games: A Survey	7
Core Challenges in Embodied Vision-Language Planning	7
The Winnability of Klondike Solitaire and Many Other Patience Games	7
Joint Optimization of Concave Scalarized Multi-Objective Reinforcement Learning with Policy Gradient Based Algorithm	7
Mean-Semivariance Policy Optimization via Risk-Averse Reinforcement Learning	7
A Review of Pseudo-Labeling for Computer Vision	7
Computational Machine Ethics: A Survey	7
How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC	7
Inductive Logic Programming At 30: A New Introduction	7
Semantic Alignment of Malicious Question Based on Contrastive Semantic Networks and Data Augmentation	6
Automatically Finding the Right Probabilities in Bayesian Networks	6
The Complexity of Subelection Isomorphism Problems	6
An Algorithm with Improved Complexity for Pebble Motion/Multi-Agent Path Finding on Trees	6
Forgetting in Abstract Argumentation: Limits and Possibilities	6
Decentralized Gradient-Quantization Based Matrix Factorization for Fast Privacy-Preserving Point-of-Interest Recommendation	6
Abductive Reasoning in Expansions of Belnap-Dunn Logic	6
On Dynamics in Structured Argumentation Formalisms	6
Viewpoint: Hybrid Intelligence Supports Application Development for Diabetes Lifestyle Management	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
Revisiting SAT-based Solvers: MaxSAT Rules and Core Sequences	6
On Mitigating the Utility-Loss in Differentially Private Learning: A New Perspective by a Geometrically Inspired Kernel Approach	6
Improving Mutual Information Based Feature Selection by Boosting Unique Relevance	6
Symbolic Search for Cost-Optimal Planning with Expressive Model Extensions	5
conDENSE: Conditional Density Estimation for Time Series Anomaly Detection	5
LabelCoRank: Revolutionizing Long Tail Multi-Label Classification with Co-Occurrence Reranking	5
Bt-GAN: Generating Fair Synthetic Healthdata via Bias-transforming Generative Adversarial Networks	5
Information Lattice Learning	5
Improving Local Search Algorithm for Pseudo Boolean Optimization	5
Amortized Variational Inference: A Systematic Review	5
Combining Constraint Programming and Machine Learning: From Current Progress to Future Opportunities	5
Mixed Fair Division: A Survey	5
Counting Complexity for Reasoning in Abstract Argumentation	5
Recursive Decomposition of Logical Thoughts: Framework for Superior Reasoning and Knowledge Propagation in Large Language Models	5
Bases for Weighted Gradual Semantics and Inverse Problems in Argumentation Theory	5
Against The Achilles' Heel: A Survey on Red Teaming for Generative Models	5
Actor Prioritized Experience Replay	5
Data Augmentation for Time-Series Classification: An Extensive Empirical Study and Comprehensive Survey	4
Generating Streamlining Constraints with Large Language Models	4
Efficient and Fair Healthcare Rationing	4
Empirical Game Theoretic Analysis: A Survey	4
A Survey of Methods for Automated Algorithm Configuration	4
Mitigating Value Hallucination in Dyna-Style Planning via Multistep Predecessor Models	4
Backward Monte Carlo Tree Search: Charting Unsafe Regions in the Belief-Space	4
MallobSat: Scalable SAT Solving by Clause Sharing	4
Rational Silence and False Polarization: How Viewpoint Organizations and Recommender Systems Distort the Expression of Public Opinion	4
Towards Evidence Retrieval Cost Reduction in Abstract Argumentation Frameworks with Fallible Evidence	4
sEMG-Based Upper Limb Movement Classifier: Current Scenario and Upcoming Challenges	4
Score Function Gradient Estimation to Widen the Applicability of Decision-Focused Learning	4
Can Fairness be Automated? Guidelines and Opportunities for Fairness-aware AutoML	4
Best of Both Worlds: Agents with Entitlements	4
Stability in Online Coalition Formation	4
Optimal and Efficient Auctions for the Gradual Procurement of Strategic Service Provider Agents	4
The Computational Complexity of ReLU Network Training Parameterized by Data Dimensionality	4
Admissibility in Probabilistic Argumentation	4
Computing Unsatisfiable Cores for LTLf Specifications	4

Maintenance of Plan Libraries for Case-Based Planning: Offline and Online Policies	4
Partial Minimum Satisfiability: Fine-Grained Analysis	4
Multi-Agent Advisor Q-Learning	4
Approximate Counting of Linear Extensions in Practice	4
DeepSym: Deep Symbol Generation and Rule Learning for Planning from Unsupervised Robot Interaction	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
Exploiting Cultural Biases via Homoglyphs in Text-to-Image Synthesis	4
Path-Planning on a Spherical Surface with Disturbances and Exclusion Zones	4
On Generating Monolithic and Model Reconciling Explanations in Probabilistic Scenarios	4
Separating and Collapsing Electoral Control Types	4
Towards Robust Offline-to-Online Reinforcement Learning via Uncertainty and Smoothness	4
Scalable Neural-Probabilistic Answer Set Programming	4
Label-Aware Pseudo-Training Sample Generation for Text Classification	4
Synthesis and Properties of Optimally Value-Aligned Normative Systems	4
Right Place, Right Time: Proactive Multi-Robot Task Allocation Under Spatiotemporal Uncertainty	3
General Policies, Subgoal Structure, and Planning Width	3
Towards Trustworthy AI-Enabled Decision Support Systems: Validation of the Multisource AI Scorecard Table (MAST)	3
Query-driven Qualitative Constraint Acquisition	3
Recursion in Abstract Argumentation is Hard --- On the Complexity of Semantics Based on Weak Admissibility	3
Existence, Computation and Efficiency of Nash Stable Outcomes in Hedonic Skill Games	3
Solving Overlapping Coalition Structure Generation in Task-Based Settings	3
Effi	3
Generative Curricula for Multi-Agent Path Finding via Unsupervised and Reinforcement Learning	3
Satisfiability Modulo User Propagators	3
Efficient Ontology-Mediated Query Answering: Extending DL-liteR and Linear ELH	3
Improving Reproducibility in AI Research: Four Mechanisms Adopted by JAIR	3
Declarative Approaches to Outcome Determination in Judgment Aggregation	3
Exploiting Action Impact Regularity and Exogenous State Variables for Offline Reinforcement Learning	3
Repairing the Cracked Foundation: A Survey of Obstacles in Evaluation Practices for Generated Text	3
Active Constraint Acquisition Using Large Language Models	3
Detecting Generative Model Inversion Attacks for Protecting Intellectual Property of Deep Neural Networks	3
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem	3
Tackling Cooperative Incompatibility for Zero-Shot Human-AI Coordination	3
Individual Fairness, Base Rate Tracking and the Lipschitz Condition	3
Learning Bayesian Networks Under Sparsity Constraints: A Parameterized Complexity Analysis	3
Automated Reinforcement Learning (AutoRL): A Survey and Open Problems	3
Improving Resource Allocations by Sharing in Pairs	3
Object-agnostic Affordance Categorization via Unsupervised Learning of Graph Embeddings	3
Sequence-Oriented Diagnosis of Discrete-Event Systems	3
Communication-Aware Local Search for Distributed Constraint Optimization	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
Geometrically Inspired Kernel Machines for Collaborative Learning Beyond Gradient Descent	3
Adaptive Few-Shot Class-Incremental Learning via Latent Variable Models	2
Online Bin Packing with Predictions	2
Decentralized, Decomposition-Based Observation Scheduling for a Large-Scale Satellite Constellation	2
The RL/LLM Taxonomy Tree: Reviewing Synergies Between Reinforcement Learning and Large Language Models	2
Detecting Change Intervals with Isolation Distributional Kernel	2
Generalised Merge and Shrink Abstractions for Temporal Planning	2
A Scoping Study on AI Affordances in Early Childhood Education: Mapping the Global Landscape, Identifying Research Gaps, and Charting Future Research Directions	2
TOMA: Computational Theory of Mind with Abstractions for Hybrid Intelligence	2
Coopetition Against an Amazon	2
Cross-domain Constituency Parsing by Leveraging Heterogeneous Data	2
AAN+: Generalized Average Attention Network for Accelerating Neural Transformer	2
From Knowledge to Action: Logics of Permitted and Obligatory Announcements	2
Motion Planning Under Uncertainty with Complex Agents and Environments via Hybrid Search	2
A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning	2
DIGCN: A Dynamic Interaction Graph Convolutional Network Based on Learnable Proposals for Object Detection	2
A Model to Support Collective Reasoning: Formalization, Analysis and Computational Assessment	2
Scaling Safe Policy Improvement: Monte Carlo Tree Search and Policy Iteration Strategies	2
ConSCompF: Consistency-focused Similarity Comparison Framework for Generative Large Language Models	2
Satsuma: Structure-Based Symmetry Breaking in SAT	2
Principles for Responsible AI Consciousness Research	2
Multi-Objective Reinforcement Learning Based on Decomposition: A Taxonomy and Framework	2
Improving Label Error Detection and Elimination with Uncertainty Quantification	2
Collective Belief Revision	2
The TOAD System for Totally Ordered HTN Planning	2
Understanding Sample Generation Strategies for Learning Heuristic Functions in Classical Planning	2
Preserving Fairness in AI under Domain Shift	2
On the Complexity of Finding Set Repairs for Data-Graphs	2
MaxSAT Fuzzing and Delta Debugging	2
Lifted Reasoning for Combinatorial Counting	2
A Unified Perspective on Value Backup and Exploration in Monte-Carlo Tree Search	2
On the Trade-off between Redundancy and Cohesiveness in Extractive Summarization	2
Fairer than Fair: Sharp Bounds for Connected Super-Proportional Cake Cutting	2
Towards Continual Reinforcement Learning: A Review and Perspectives	2
QCDCL vs QBF Resolution: Further Insights	2
PAC-Chernoff Bounds: Understanding Generalization in the Interpolation Regime	2
Robustness Distributions in Neural Network Verification	2
Your Prompt is My Command: On Assessing the Human-Centred Generality of Multimodal Models	2
A Benchmark Study on Knowledge Graphs Enrichment and Pruning Methods in the Presence of Noisy Relationships	2
Approximate Implication for Probabilistic Graphical Models	2
CPM-based Hierarchical Text Classification	2
On the Equivalence between Logic Programs and Bipolar Argumentation Frameworks	2
Using Constraint Propagation to Bound Linear Programs	2
USN: A Robust Imitation Learning Method against Diverse Action Noise	2