Journal of Artificial Intelligence Research

Article	Citations
Optimality Guarantees for Particle Belief Approximation of POMDPs	229
Practical Parallel Algorithms for Non-Monotone Submodular Maximization	207
Combinatorial Multi-Armed Bandits with Fairness Constraints: An Online Convex Optimization Perspective	135
Flexible Bayesian Nonlinear Model Configuration	107
Graph Kernels: A Survey	99
Can We Automate Scientific Reviewing?	88
Certified Knowledge Compilation with Application to Formally Verified Model Counting	85
Composition and Zero-Shot Transfer with Lattice Structures in Reinforcement Learning	85
A General Model for Aggregating Annotations Across Simple, Complex, and Multi-Object Annotation Tasks	75
Fairness in Influence Maximization through Randomization	74
Learning Optimal Decision Sets and Lists with SAT	68
Improving the Effectiveness and Efficiency of Stochastic Neighbour Embedding with Isolation Kernel	66
Data-Driven Revision of Conditional Norms in Multi-Agent Systems	63
Visually Grounded Models of Spoken Language: A Survey of Datasets, Architectures and Evaluation Techniques	55
Strategy Graphs for Influence Diagrams	53
Enhanced Recommendation Systems with Retrieval-Augmented Large Language Model	52
Uncertainty as a Fairness Measure	51
Program Synthesis with Best-First Bottom-Up Search	50
The State of Computer Vision Research in Africa	47
Scalable Primal Heuristics Using Graph Neural Networks for Combinatorial Optimization	47
Iterative Train Scheduling under Disruption with Maximum Satisfiability	43
Viewpoint: Artificial Intelligence Accidents Waiting to Happen?	42
Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach	37
AI Reliance and Decision Quality: Fundamentals, Interdependence, and the Effects of Interventions	36
Quantization Aware Factorization for Deep Neural Network Compression	33

Super Level Sets and Exponential Decay: A Synergistic Approach to Stable Neural Network Training	32
Decision-Focused Learning: Foundations, State of the Art, Benchmark and Future Opportunities	32
Low-Rank Representation of Reinforcement Learning Policies	30
Experimental Design of Extractive Question-Answering Systems: Influence of Error Scores and Answer Length	25
Conditional Relative Frequency Distributions with Undefined Observations and Generalized Fuzzy Orthopartitions	24
Image Captioning as an Assistive Technology: Lessons Learned from VizWiz 2020 Challenge	24
Performative Ethics From Within the Ivory Tower: How CS Practitioners Uphold Systems of Oppression	23
Evolutionary Dynamics and Phi-Regret Minimization in Games	22
Threshold Treewidth and Hypertree Width	22
FlexiBERT: Are Current Transformer Architectures too Homogeneous and Rigid?	22
Stackelberg Security Games with Contagious Attacks on a Network: Reallocation to the Rescue	22
The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom	21
An Overview of Environmental Features that Impact Deep Reinforcement Learning in Sparse-Reward Domains	21
Flexible FOND Planning with Explicit Fairness Assumptions	20
On Expected Value Strong Controllability	19
Introduction to the Special Track on Artificial Intelligence and COVID-19	19
Fair and Efficient Allocation of Scarce Resources Based on Predicted Outcomes: Implications for Homeless Service Delivery	19
Expected 1.x Makespan-Optimal Multi-Agent Path Finding on Grid Graphs in Low Polynomial Time	18
Initialization of Feature Selection Search for Classification	17
AI for All: Identifying AI incidents Related to Diversity and Inclusion	16
Learning to Design Fair and Private Voting Rules	16
Classes of Hard Formulas for QBF Resolution	15
Learning to Resolve Social Dilemmas: A Survey	15
Finite Materialisability of Datalog Programs with Metric Temporal Operators	14
Worst-case Bounds on Power vs. Proportion in Weighted Voting Games with an Application to False-name Manipulation	14
Certified Dominance and Symmetry Breaking for Combinatorial Optimisation	14
Boolean Observation Games	14
Methods for Recovering Conditional Independence Graphs: A Survey	13
CADS: A Systematic Literature Review on the Challenges of Abstractive Dialogue Summarization	13
On the Indecisiveness of Kelly-Strategyproof Social Choice Functions	13
Predicting Decisions in Language Based Persuasion Games	13
Digraph k-Coloring Games: New Algorithms and Experiments	12
On the Convergence of Swap Dynamics to Pareto-Optimal Matchings	12
SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits	12
Opening the Analogical Portal to Explainability: Can Analogies Help Laypeople in AI-assisted Decision Making?	11
Reinforcement Learning for Generative AI: State of the Art, Opportunities and Open Research Challenges	11
Ordinal Maximin Share Approximation for Goods	11
Quantum Mathematics in Artificial Intelligence	11
MRC and Transfer Learning Framework for Document-level Event Factuality Identification with Heterogeneous Spectral Attention Networks	11
Diagnosing AI Explanation Methods with Folk Concepts of Behavior	11
Estimating Agent Skill in Continuous Action Domains	11
Proactive Dynamic Distributed Constraint Optimization Problems	10
Value Preferences Estimation and Disambiguation in Hybrid Participatory Systems	10
Proof Theory and Decision Procedures for Deontic STIT Logics	10
Detecting AI-Generated Text: Factors Influencing Detectability with Current Methods	10
Impact of Imputation Strategies on Fairness in Machine Learning	10
Fine-grained Prediction of Political Leaning on Social Media with Unsupervised Deep Learning	10
Multi-Modal Attentive Prompt Learning for Few-shot Emotion Recognition in Conversations	10
Ethics and Governance of Artificial Intelligence: Evidence from a Survey of Machine Learning Researchers	10
Fair Influence Maximization in Large-scale Social Networks Based on Attribute-aware Reverse Influence Sampling	10

Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions	9
From Single-Objective to Bi-Objective Maximum Satisfiability Solving	9
A Markov Framework for Learning and Reasoning About Strategies in Professional Soccer	9
Towards Generalist Robot Learning from Internet Video: A Survey	9
Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization	9
Human-in-the-Loop Reinforcement Learning: A Survey and Position on Requirements, Challenges, and Opportunities	8
Maximisation of Admissible Multi-Objective Heuristics	8
On the Parallel Parameterized Complexity of MaxSAT Variants	8
On the Evaluation of (Meta-)solver Approaches	8
Finding and Recognizing Popular Coalition Structures	8
An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty	8
Crossing the Conversational Chasm: A Primer on Natural Language Processing for Multilingual Task-Oriented Dialogue Systems	8
TOOLTANGO: Common sense Generalization in Predicting Sequential Tool Interactions for Robot Plan Synthesis	8
Non-Crossing Anonymous MAPF for Tethered Robots	8
Reinforcement Learning from Optimization Proxy for Ride-Hailing Vehicle Relocation	7
Doubly Robust Crowdsourcing	7
Joint Optimization of Concave Scalarized Multi-Objective Reinforcement Learning with Policy Gradient Based Algorithm	7
Adversarial Framework with Certified Robustness for Time-Series Domain via Statistical Features	7
Core Challenges in Embodied Vision-Language Planning	7
Mean-Semivariance Policy Optimization via Risk-Averse Reinforcement Learning	7
Inductive Logic Programming At 30: A New Introduction	7
Principles and their Computational Consequences for Argumentation Frameworks with Collective Attacks	7
Qualitative Reasoning about 2D Cardinal Directions using Answer Set Programming	7
How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC	7
A Principled Distributional Approach to Trajectory Similarity Measurement and its Application to Anomaly Detection	7
The Complexity of Subelection Isomorphism Problems	6
The Complexity of Matching Games: A Survey	6
Pure Nash Equilibria in Resource Graph Games	6
Forgetting in Abstract Argumentation: Limits and Possibilities	6
Automatically Finding the Right Probabilities in Bayesian Networks	6
Computational Machine Ethics: A Survey	6
Prediction of Social Dynamic Agents and Long-Tailed Learning Challenges: A Survey	6
Improving Mutual Information Based Feature Selection by Boosting Unique Relevance	6
Neural Character-Level Syntactic Parsing for Chinese	6
Bt-GAN: Generating Fair Synthetic Healthdata via Bias-transforming Generative Adversarial Networks	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
On Dynamics in Structured Argumentation Formalisms	6
Decentralized Gradient-Quantization Based Matrix Factorization for Fast Privacy-Preserving Point-of-Interest Recommendation	6
Mixed Fair Division: A Survey	6
Analysis of the Impact of Randomization of Search-Control Parameters in Monte-Carlo Tree Search	5
Against The Achilles' Heel: A Survey on Red Teaming for Generative Models	5
On Mitigating the Utility-Loss in Differentially Private Learning: A New Perspective by a Geometrically Inspired Kernel Approach	5
Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes	5
Actor Prioritized Experience Replay	5
Amortized Variational Inference: A Systematic Review	5
Finding the Hardest Formulas for Resolution	5
An Algorithm with Improved Complexity for Pebble Motion/Multi-Agent Path Finding on Trees	5
LabelCoRank: Revolutionizing Long Tail Multi-Label Classification with Co-Occurrence Reranking	5
Computing Unsatisfiable Cores for LTLf Specifications	4
Jointly Learning Environments and Control Policies with Projected Stochastic Gradient Ascent	4
Can Fairness be Automated? Guidelines and Opportunities for Fairness-aware AutoML	4
Symbolic Search for Cost-Optimal Planning with Expressive Model Extensions	4
Improving Local Search Algorithm for Pseudo Boolean Optimization	4
Approximate Counting of Linear Extensions in Practice	4
Scalable Neural-Probabilistic Answer Set Programming	4
Multi-Agent Advisor Q-Learning	4
Information Lattice Learning	4
Counting Complexity for Reasoning in Abstract Argumentation	4
Data Augmentation for Time-Series Classification: An Extensive Empirical Study and Comprehensive Survey	4
sEMG-Based Upper Limb Movement Classifier: Current Scenario and Upcoming Challenges	4
Agent-Based Modeling for Predicting Pedestrian Trajectories Around an Autonomous Vehicle	4
Synthesis and Properties of Optimally Value-Aligned Normative Systems	4
DeepSym: Deep Symbol Generation and Rule Learning for Planning from Unsupervised Robot Interaction	4
conDENSE: Conditional Density Estimation for Time Series Anomaly Detection	4
Automatic Recognition of the General-Purpose Communicative Functions Defined by the ISO 24617-2 Standard for Dialog Act Annotation	4
Towards Evidence Retrieval Cost Reduction in Abstract Argumentation Frameworks with Fallible Evidence	4
Efficient Ontology-Mediated Query Answering: Extending DL-liteR and Linear ELH	3
Multilabel Classification with Partial Abstention: Bayes-Optimal Prediction under Label Independence	3
Towards Trustworthy AI-Enabled Decision Support Systems: Validation of the Multisource AI Scorecard Table (MAST)	3
Communication-Aware Local Search for Distributed Constraint Optimization	3
Individual Fairness, Base Rate Tracking and the Lipschitz Condition	3
Improving Reproducibility in AI Research: Four Mechanisms Adopted by JAIR	3
Optimal and Efficient Auctions for the Gradual Procurement of Strategic Service Provider Agents	3
Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases	3
Maintenance of Plan Libraries for Case-Based Planning: Offline and Online Policies	3
Fairness in Forecasting of Observations of Linear Dynamical Systems	3
Admissibility in Probabilistic Argumentation	3
Exploiting Cultural Biases via Homoglyphs in Text-to-Image Synthesis	3
Efficient and Fair Healthcare Rationing	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
Geometrically Inspired Kernel Machines for Collaborative Learning Beyond Gradient Descent	3
Solving Overlapping Coalition Structure Generation in Task-Based Settings	3
Satisfiability Modulo User Propagators	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
Path-Planning on a Spherical Surface with Disturbances and Exclusion Zones	3
Mitigating Value Hallucination in Dyna-Style Planning via Multistep Predecessor Models	3
A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems	3
Multi-Label Classification Neural Networks with Hard Logical Constraints	3
Marginal Distance and Hilbert-Schmidt Covariances-Based Independence Tests for Multivariate Functional Data	3
Stability in Online Coalition Formation	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
Existence, Computation and Efficiency of Nash Stable Outcomes in Hedonic Skill Games	3
Effi	3
Object-agnostic Affordance Categorization via Unsupervised Learning of Graph Embeddings	3
The Computational Complexity of ReLU Network Training Parameterized by Data Dimensionality	3
Best of Both Worlds: Agents with Entitlements	3
Tackling Cooperative Incompatibility for Zero-Shot Human-AI Coordination	3
Explainable Deep Learning: A Field Guide for the Uninitiated	3
Separating and Collapsing Electoral Control Types	3
Empirical Game Theoretic Analysis: A Survey	3
MallobSat: Scalable SAT Solving by Clause Sharing	3
Towards Continual Reinforcement Learning: A Review and Perspectives	2
Principles for Responsible AI Consciousness Research	2
Improving Resource Allocations by Sharing in Pairs	2
On the Complexity of Finding Set Repairs for Data-Graphs	2
Cross-domain Constituency Parsing by Leveraging Heterogeneous Data	2
Multi-Objective Reinforcement Learning Based on Decomposition: A Taxonomy and Framework	2
Teaching People by Justifying Tree Search Decisions: An Empirical Study in Curling	2
Motion Planning Under Uncertainty with Complex Agents and Environments via Hybrid Search	2
Exploiting Action Impact Regularity and Exogenous State Variables for Offline Reinforcement Learning	2
AAN+: Generalized Average Attention Network for Accelerating Neural Transformer	2
General Policies, Subgoal Structure, and Planning Width	2
The TOAD System for Totally Ordered HTN Planning	2
Recursion in Abstract Argumentation is Hard --- On the Complexity of Semantics Based on Weak Admissibility	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
Election Manipulation on Social Networks: Seeding, Edge Removal, Edge Addition	2
PAC-Chernoff Bounds: Understanding Generalization in the Interpolation Regime	2
Approximate Implication for Probabilistic Graphical Models	2
Detecting Change Intervals with Isolation Distributional Kernel	2
Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning	2
The RL/LLM Taxonomy Tree: Reviewing Synergies Between Reinforcement Learning and Large Language Models	2
Learning Bayesian Networks Under Sparsity Constraints: A Parameterized Complexity Analysis	2
Bribery and Control in Stable Marriage	2
Preserving Fairness in AI under Domain Shift	2
CPM-based Hierarchical Text Classification	2
Automated Reinforcement Learning (AutoRL): A Survey and Open Problems	2
Declarative Approaches to Outcome Determination in Judgment Aggregation	2
From Knowledge to Action: Logics of Permitted and Obligatory Announcements	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
A Scoping Study on AI Affordances in Early Childhood Education: Mapping the Global Landscape, Identifying Research Gaps, and Charting Future Research Directions	2
Coopetition Against an Amazon	2
USN: A Robust Imitation Learning Method against Diverse Action Noise	2
Understanding Sample Generation Strategies for Learning Heuristic Functions in Classical Planning	2
QCDCL vs QBF Resolution: Further Insights	2
Trends in Integration of Vision and Language Research: A Survey of Tasks, Datasets, and Methods	2
Collective Belief Revision	2
A Benchmark Study on Knowledge Graphs Enrichment and Pruning Methods in the Presence of Noisy Relationships	2
Robustness Distributions in Neural Network Verification	2
Sequence-Oriented Diagnosis of Discrete-Event Systems	2
Query-driven Qualitative Constraint Acquisition	2
Repairing the Cracked Foundation: A Survey of Obstacles in Evaluation Practices for Generated Text	2
TOMA: Computational Theory of Mind with Abstractions for Hybrid Intelligence	2
Merge-and-Shrink: A Compositional Theory of Transformations of Factored Transition Systems	2
Using Constraint Propagation to Bound Linear Programs	2
Creative Problem Solving in Artificially Intelligent Agents: A Survey and Framework	1
Neural Natural Language Generation: A Survey on Multilinguality, Multimodality, Controllability and Learning	1
Output Space Entropy Search Framework for Multi-Objective Bayesian Optimization	1
AI Governance in the GCC States: A Comparative Analysis of National AI Strategies	1
On the Consistency between Belief Revision and Belief Update	1
Goal Recognition for Deceptive Human Agents through Planning and Gaze	1
Selfishly Prepaying in Financial Credit Networks	1
Contract Scheduling with Predictions	1
The Fixed-Point Semantics of Relational Concept Analysis	1
A Few Queries Go a Long Way: Information-Distortion Tradeoffs in Matching	1
A Survey of Opponent Modeling in Adversarial Domains	1
Towards Green Automated Machine Learning: Status Quo and Future Directions	1
On the Phase Transition of the Euclidean Travelling Salesman Problem with Time Windows	1
Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis	1
Equivalence in Argumentation Frameworks with a Claim-centric View: Classical Results with Novel Ingredients	1
Evaluating Strategic Structures in Multi-Agent Inverse Reinforcement Learning	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
A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems	1
Efficient XAI: A Low-Cost Data Reduction Approach to SHAP Interpretability	1
Reasoning about Decidability of Strategic Logics with Imperfect Information and Perfect Recall Strategies	1
Objective Bayesian Nets for Integrating Consistent Datasets	1
Learning Realistic Patterns from Visually Unrealistic Stimuli: Generalization and Data Anonymization	1
A Divide, Align and Conquer Strategy For Program Synthesis	1
Negative Human Rights as a Basis for Long-term AI Safety and Regulation	1