Journal of Artificial Intelligence Research

Article	Citations
Optimality Guarantees for Particle Belief Approximation of POMDPs	242
Practical Parallel Algorithms for Non-Monotone Submodular Maximization	211
Combinatorial Multi-Armed Bandits with Fairness Constraints: An Online Convex Optimization Perspective	112
Flexible Bayesian Nonlinear Model Configuration	100
Argumentative Reasoning in ASPIC+ under Incomplete Information	93
Graph Kernels: A Survey	92
Can We Automate Scientific Reviewing?	92
Certified Knowledge Compilation with Application to Formally Verified Model Counting	79
Composition and Zero-Shot Transfer with Lattice Structures in Reinforcement Learning	78
CluMo: Cluster-based Modality Fusion Prompt for Continual Learning in Visual Question Answering	73
A General Model for Aggregating Annotations Across Simple, Complex, and Multi-Object Annotation Tasks	71
Learning Optimal Decision Sets and Lists with SAT	56
Fairness in Influence Maximization through Randomization	55
Decision-Focused Learning: Foundations, State of the Art, Benchmark and Future Opportunities	54
Enhanced Recommendation Systems with Retrieval-Augmented Large Language Model	54
Data-Driven Revision of Conditional Norms in Multi-Agent Systems	53
Visually Grounded Models of Spoken Language: A Survey of Datasets, Architectures and Evaluation Techniques	52
Strategy Graphs for Influence Diagrams	44
Super Level Sets and Exponential Decay: A Synergistic Approach to Stable Neural Network Training	43
Uncertainty as a Fairness Measure	40
Program Synthesis with Best-First Bottom-Up Search	39
Scalable Primal Heuristics Using Graph Neural Networks for Combinatorial Optimization	35
The State of Computer Vision Research in Africa	33
Viewpoint: Artificial Intelligence Accidents Waiting to Happen?	32
Iterative Train Scheduling under Disruption with Maximum Satisfiability	32

Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach	28
Quantization Aware Factorization for Deep Neural Network Compression	26
AI Reliance and Decision Quality: Fundamentals, Interdependence, and the Effects of Interventions	26
Low-Rank Representation of Reinforcement Learning Policies	25
Evolutionary Dynamics and Phi-Regret Minimization in Games	24
FlexiBERT: Are Current Transformer Architectures too Homogeneous and Rigid?	24
Conditional Relative Frequency Distributions with Undefined Observations and Generalized Fuzzy Orthopartitions	23
Stackelberg Security Games with Contagious Attacks on a Network: Reallocation to the Rescue	23
Image Captioning as an Assistive Technology: Lessons Learned from VizWiz 2020 Challenge	22
An Overview of Environmental Features that Impact Deep Reinforcement Learning in Sparse-Reward Domains	21
Threshold Treewidth and Hypertree Width	21
Performative Ethics From Within the Ivory Tower: How CS Practitioners Uphold Systems of Oppression	20
The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom	19
Experimental Design of Extractive Question-Answering Systems: Influence of Error Scores and Answer Length	19
Flexible FOND Planning with Explicit Fairness Assumptions	18
Introduction to the Special Track on Artificial Intelligence and COVID-19	18
Fair and Efficient Allocation of Scarce Resources Based on Predicted Outcomes: Implications for Homeless Service Delivery	17
On Expected Value Strong Controllability	17
Expected 1.x Makespan-Optimal Multi-Agent Path Finding on Grid Graphs in Low Polynomial Time	16
Learning to Design Fair and Private Voting Rules	16
AI for All: Identifying AI incidents Related to Diversity and Inclusion	15
Initialization of Feature Selection Search for Classification	15
Classes of Hard Formulas for QBF Resolution	15
Certified Dominance and Symmetry Breaking for Combinatorial Optimisation	14
Finite Materialisability of Datalog Programs with Metric Temporal Operators	14
Learning to Resolve Social Dilemmas: A Survey	14
On the Convergence of Swap Dynamics to Pareto-Optimal Matchings	13
Boolean Observation Games	13
Estimating Agent Skill in Continuous Action Domains	13
On the Indecisiveness of Kelly-Strategyproof Social Choice Functions	13
Digraph k-Coloring Games: New Algorithms and Experiments	13
Methods for Recovering Conditional Independence Graphs: A Survey	13
Quantum Mathematics in Artificial Intelligence	12
Reinforcement Learning for Generative AI: State of the Art, Opportunities and Open Research Challenges	11
SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits	11
Ordinal Maximin Share Approximation for Goods	11
Worst-case Bounds on Power vs. Proportion in Weighted Voting Games with an Application to False-name Manipulation	11
Impact of Imputation Strategies on Fairness in Machine Learning	11
Diagnosing AI Explanation Methods with Folk Concepts of Behavior	11
Fair Influence Maximization in Large-scale Social Networks Based on Attribute-aware Reverse Influence Sampling	11
CADS: A Systematic Literature Review on the Challenges of Abstractive Dialogue Summarization	11
A Survey on Data Selection for LLM Instruction Tuning	10
Multi-Modal Attentive Prompt Learning for Few-shot Emotion Recognition in Conversations	10
Proactive Dynamic Distributed Constraint Optimization Problems	10
Fine-grained Prediction of Political Leaning on Social Media with Unsupervised Deep Learning	10
MRC and Transfer Learning Framework for Document-level Event Factuality Identification with Heterogeneous Spectral Attention Networks	10
Detecting AI-Generated Text: Factors Influencing Detectability with Current Methods	10
Proof Theory and Decision Procedures for Deontic STIT Logics	10
Incremental Learning Methodologies for Addressing Catastrophic Forgetting: Analysis and Experimental Evaluation	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
Value Preferences Estimation and Disambiguation in Hybrid Participatory Systems	9
Towards Generalist Robot Learning from Internet Video: A Survey	9
Predicting Decisions in Language Based Persuasion Games	9
From Single-Objective to Bi-Objective Maximum Satisfiability Solving	9
Maximisation of Admissible Multi-Objective Heuristics	8
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions	8
A Markov Framework for Learning and Reasoning About Strategies in Professional Soccer	8
Towards an Ontology-Driven Approach to Document Bias	8
Policy-based Primal-Dual Methods for Concave CMDP with Variance Reduction	8
On the Evaluation of (Meta-)solver Approaches	8
Human-in-the-Loop Reinforcement Learning: A Survey and Position on Requirements, Challenges, and Opportunities	8
Crossing the Conversational Chasm: A Primer on Natural Language Processing for Multilingual Task-Oriented Dialogue Systems	8
Adversarial Framework with Certified Robustness for Time-Series Domain via Statistical Features	7
Qualitative Reasoning about 2D Cardinal Directions using Answer Set Programming	7
Reinforcement Learning from Optimization Proxy for Ride-Hailing Vehicle Relocation	7
Finding and Recognizing Popular Coalition Structures	7
An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty	7
On the Parallel Parameterized Complexity of MaxSAT Variants	7
TOOLTANGO: Common sense Generalization in Predicting Sequential Tool Interactions for Robot Plan Synthesis	7
Non-Crossing Anonymous MAPF for Tethered Robots	7
A Principled Distributional Approach to Trajectory Similarity Measurement and its Application to Anomaly Detection	7
Principles and their Computational Consequences for Argumentation Frameworks with Collective Attacks	6
Core Challenges in Embodied Vision-Language Planning	6
Mean-Semivariance Policy Optimization via Risk-Averse Reinforcement Learning	6
The Complexity of Subelection Isomorphism Problems	6
MA-LAMA: Exploiting the Multi-Agent Nature of Temporal Planning Problems	6
Doubly Robust Crowdsourcing	6
Semantic Alignment of Malicious Question Based on Contrastive Semantic Networks and Data Augmentation	6
Computational Machine Ethics: A Survey	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
Pure Nash Equilibria in Resource Graph Games	6
Joint Optimization of Concave Scalarized Multi-Objective Reinforcement Learning with Policy Gradient Based Algorithm	6
Prediction of Social Dynamic Agents and Long-Tailed Learning Challenges: A Survey	5
Improving Mutual Information Based Feature Selection by Boosting Unique Relevance	5
Bt-GAN: Generating Fair Synthetic Healthdata via Bias-transforming Generative Adversarial Networks	5
On Dynamics in Structured Argumentation Formalisms	5
The Complexity of Matching Games: A Survey	5
On Mitigating the Utility-Loss in Differentially Private Learning: A New Perspective by a Geometrically Inspired Kernel Approach	5
Viewpoint: Hybrid Intelligence Supports Application Development for Diabetes Lifestyle Management	5
Automatically Finding the Right Probabilities in Bayesian Networks	5
Forgetting in Abstract Argumentation: Limits and Possibilities	5
Decentralized Gradient-Quantization Based Matrix Factorization for Fast Privacy-Preserving Point-of-Interest Recommendation	5
Improving Local Search Algorithm for Pseudo Boolean Optimization	4
Data Augmentation for Time-Series Classification: An Extensive Empirical Study and Comprehensive Survey	4
Multi-Agent Advisor Q-Learning	4
Mixed Fair Division: A Survey	4
LabelCoRank: Revolutionizing Long Tail Multi-Label Classification with Co-Occurrence Reranking	4
Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes	4
An Algorithm with Improved Complexity for Pebble Motion/Multi-Agent Path Finding on Trees	4
Counting Complexity for Reasoning in Abstract Argumentation	4
DeepSym: Deep Symbol Generation and Rule Learning for Planning from Unsupervised Robot Interaction	4
sEMG-Based Upper Limb Movement Classifier: Current Scenario and Upcoming Challenges	4
Symbolic Search for Cost-Optimal Planning with Expressive Model Extensions	4
Amortized Variational Inference: A Systematic Review	4
Against The Achilles' Heel: A Survey on Red Teaming for Generative Models	4
Finding the Hardest Formulas for Resolution	4
conDENSE: Conditional Density Estimation for Time Series Anomaly Detection	4
Information Lattice Learning	4
Recursive Decomposition of Logical Thoughts: Framework for Superior Reasoning and Knowledge Propagation in Large Language Models	4
Can Fairness be Automated? Guidelines and Opportunities for Fairness-aware AutoML	4
Neural Character-Level Syntactic Parsing for Chinese	4
Analysis of the Impact of Randomization of Search-Control Parameters in Monte-Carlo Tree Search	4
Automatic Recognition of the General-Purpose Communicative Functions Defined by the ISO 24617-2 Standard for Dialog Act Annotation	4
Actor Prioritized Experience Replay	4
Optimal and Efficient Auctions for the Gradual Procurement of Strategic Service Provider Agents	3
Effi	3
Efficient Ontology-Mediated Query Answering: Extending DL-liteR and Linear ELH	3
The Computational Complexity of ReLU Network Training Parameterized by Data Dimensionality	3
Generative Curricula for Multi-Agent Path Finding via Unsupervised and Reinforcement Learning	3
Exploiting Cultural Biases via Homoglyphs in Text-to-Image Synthesis	3
Best of Both Worlds: Agents with Entitlements	3
Efficient and Fair Healthcare Rationing	3
Multi-Label Classification Neural Networks with Hard Logical Constraints	3
Synthesis and Properties of Optimally Value-Aligned Normative Systems	3
Agent-Based Modeling for Predicting Pedestrian Trajectories Around an Autonomous Vehicle	3
MallobSat: Scalable SAT Solving by Clause Sharing	3
Fairness in Forecasting of Observations of Linear Dynamical Systems	3
Mitigating Value Hallucination in Dyna-Style Planning via Multistep Predecessor Models	3

Improving Reproducibility in AI Research: Four Mechanisms Adopted by JAIR	3
Individual Fairness, Base Rate Tracking and the Lipschitz Condition	3
Stability in Online Coalition Formation	3
Empirical Game Theoretic Analysis: A Survey	3
Maintenance of Plan Libraries for Case-Based Planning: Offline and Online Policies	3
Separating and Collapsing Electoral Control Types	3
Towards Evidence Retrieval Cost Reduction in Abstract Argumentation Frameworks with Fallible Evidence	3
Scalable Neural-Probabilistic Answer Set Programming	3
A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems	3
Explainable Deep Learning: A Field Guide for the Uninitiated	3
Path-Planning on a Spherical Surface with Disturbances and Exclusion Zones	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
A Survey of Methods for Automated Algorithm Configuration	3
Tackling Cooperative Incompatibility for Zero-Shot Human-AI Coordination	3
Marginal Distance and Hilbert-Schmidt Covariances-Based Independence Tests for Multivariate Functional Data	3
Towards Robust Offline-to-Online Reinforcement Learning via Uncertainty and Smoothness	3
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem	3
Admissibility in Probabilistic Argumentation	3
Jointly Learning Environments and Control Policies with Projected Stochastic Gradient Ascent	3
Computing Unsatisfiable Cores for LTLf Specifications	3
Approximate Counting of Linear Extensions in Practice	3
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
Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning	2
Teaching People by Justifying Tree Search Decisions: An Empirical Study in Curling	2
Principles for Responsible AI Consciousness Research	2
Multi-Objective Reinforcement Learning Based on Decomposition: A Taxonomy and Framework	2
Collective Belief Revision	2
Recursion in Abstract Argumentation is Hard --- On the Complexity of Semantics Based on Weak Admissibility	2
TOMA: Computational Theory of Mind with Abstractions for Hybrid Intelligence	2
Improving Resource Allocations by Sharing in Pairs	2
Approximate Implication for Probabilistic Graphical Models	2
Preserving Fairness in AI under Domain Shift	2
QCDCL vs QBF Resolution: Further Insights	2
Automated Reinforcement Learning (AutoRL): A Survey and Open Problems	2
Geometrically Inspired Kernel Machines for Collaborative Learning Beyond Gradient Descent	2
Satisfiability Modulo User Propagators	2
AAN+: Generalized Average Attention Network for Accelerating Neural Transformer	2
CPM-based Hierarchical Text Classification	2
Decentralized, Decomposition-Based Observation Scheduling for a Large-Scale Satellite Constellation	2
PAC-Chernoff Bounds: Understanding Generalization in the Interpolation Regime	2
Robustness Distributions in Neural Network Verification	2
Motion Planning Under Uncertainty with Complex Agents and Environments via Hybrid Search	2
General Policies, Subgoal Structure, and Planning Width	2
The TOAD System for Totally Ordered HTN Planning	2
A Benchmark Study on Knowledge Graphs Enrichment and Pruning Methods in the Presence of Noisy Relationships	2
Understanding Sample Generation Strategies for Learning Heuristic Functions in Classical Planning	2
Query-driven Qualitative Constraint Acquisition	2
Solving Overlapping Coalition Structure Generation in Task-Based Settings	2
Right Place, Right Time: Proactive Multi-Robot Task Allocation Under Spatiotemporal Uncertainty	2
Object-agnostic Affordance Categorization via Unsupervised Learning of Graph Embeddings	2
Repairing the Cracked Foundation: A Survey of Obstacles in Evaluation Practices for Generated Text	2
Sequence-Oriented Diagnosis of Discrete-Event Systems	2
A Scoping Study on AI Affordances in Early Childhood Education: Mapping the Global Landscape, Identifying Research Gaps, and Charting Future Research Directions	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
From Knowledge to Action: Logics of Permitted and Obligatory Announcements	2
Learning Bayesian Networks Under Sparsity Constraints: A Parameterized Complexity Analysis	2
Coopetition Against an Amazon	2
Declarative Approaches to Outcome Determination in Judgment Aggregation	2
Cross-domain Constituency Parsing by Leveraging Heterogeneous Data	2
Exploiting Action Impact Regularity and Exogenous State Variables for Offline Reinforcement Learning	2
Towards Trustworthy AI-Enabled Decision Support Systems: Validation of the Multisource AI Scorecard Table (MAST)	2
A Few Queries Go a Long Way: Information-Distortion Tradeoffs in Matching	1
Learning How to Vote with Principles: Axiomatic Insights Into the Collective Decisions of Neural Networks	1
Better Decision Heuristics in CDCL through Local Search and Target Phases	1
Equivalence in Argumentation Frameworks with a Claim-centric View: Classical Results with Novel Ingredients	1
Selfishly Prepaying in Financial Credit Networks	1
The Fixed-Point Semantics of Relational Concept Analysis	1
An MRP Formulation for Supervised Learning: Generalized Temporal Difference Learning Models	1
Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis	1
The LM-Cut Heuristic Family for Optimal Numeric Planning with Simple Conditions	1
On the Consistency between Belief Revision and Belief Update	1
Get out of the BAG! Silos in AI Ethics Education: Unsupervised Topic Modeling Analysis of Global AI Curricula	1
Confidence-based Estimators for Predictive Performance in Model Monitoring	1
Experimental Comparison and Survey of Twelve Time Series Anomaly Detection Algorithms	1
Learning Realistic Patterns from Visually Unrealistic Stimuli: Generalization and Data Anonymization	1
A Divide, Align and Conquer Strategy For Program Synthesis	1
Creative Problem Solving in Artificially Intelligent Agents: A Survey and Framework	1
Towards Green Automated Machine Learning: Status Quo and Future Directions	1
Neural Natural Language Generation: A Survey on Multilinguality, Multimodality, Controllability and Learning	1
Efficient XAI: A Low-Cost Data Reduction Approach to SHAP Interpretability	1
On the Phase Transition of the Euclidean Travelling Salesman Problem with Time Windows	1
Objective Bayesian Nets for Integrating Consistent Datasets	1
Output Space Entropy Search Framework for Multi-Objective Bayesian Optimization	1
CASA: Conversational Aspect Sentiment Analysis for Dialogue Understanding	1
Your College Dorm and Dormmates: Fair Resource Sharing with Externalities	1
Collective Intelligence in Decision-Making with Non-Stationary Experts	1
Negative Human Rights as a Basis for Long-term AI Safety and Regulation	1
Contract Scheduling with Predictions	1
A Survey of Opponent Modeling in Adversarial Domains	1
A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems	1
AI Governance in the GCC States: A Comparative Analysis of National AI Strategies	1
Reasoning about Decidability of Strategic Logics with Imperfect Information and Perfect Recall Strategies	1