Journal of Artificial Intelligence Research

Article	Citations
Liability Regimes in the Age of AI: a Use-Case Driven Analysis of the Burden of Proof	351
The Computational Complexity of ReLU Network Training Parameterized by Data Dimensionality	179
Labeled Bipolar Argumentation Frameworks	138
On Centralized Critics in Multi-Agent Reinforcement Learning	106
A Metric Space for Point Process Excitations	90
Marginal Distance and Hilbert-Schmidt Covariances-Based Independence Tests for Multivariate Functional Data	84
Prosociality in Microtransit	72
A Portfolio Approach to Massively Parallel Bayesian Optimization	67
Control by Adding or Deleting Edges in Graph-Restricted Weighted Voting Games	66
Hierarchical Decompositions and Termination Analysis for Generalized Planning	65
Favoring Eagerness for Remaining Items: Designing Efficient, Fair, and Strategyproof Mechanisms	58
Path Counting for Grid-Based Navigation	56
Relevance in Belief Update	56
An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty	46
Adversarial Framework with Certified Robustness for Time-Series Domain via Statistical Features	46
The Jiminy Advisor: Moral Agreements among Stakeholders Based on Norms and Argumentation	45
Fairness in Forecasting of Observations of Linear Dynamical Systems	45
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem	42
Probabilities of the Third Type: Statistical Relational Learning and Reasoning with Relative Frequencies	40
Reasoning with PCP-Nets	37
Efficient Learning of Interpretable Classification Rules	36
Qualitative Reasoning about 2D Cardinal Directions using Answer Set Programming	34
Can We Automate Scientific Reviewing?	33
Tackling Cooperative Incompatibility for Zero-Shot Human-AI Coordination	32
Reinforcement Learning from Optimization Proxy for Ride-Hailing Vehicle Relocation	29

Mining ℰℒ⊥ Bases with Adaptable Role Depth	27
On the Evaluation of (Meta-)solver Approaches	27
Robust Average-Reward Reinforcement Learning	27
A Survey of Learning Criteria Going Beyond the Usual Risk	24
Non-Crossing Anonymous MAPF for Tethered Robots	23
Maintenance of Plan Libraries for Case-Based Planning: Offline and Online Policies	23
Maximisation of Admissible Multi-Objective Heuristics	23
Classical Planning in Deep Latent Space	22
On the Parallel Parameterized Complexity of MaxSAT Variants	21
Optimal and Efficient Auctions for the Gradual Procurement of Strategic Service Provider Agents	20
Measuring Fairness Under Unawareness of Sensitive Attributes: A Quantification-Based Approach	19
Representative Committees of Peers	18
Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications	17
Practical Parallel Algorithms for Non-Monotone Submodular Maximization	17
Flexible Bayesian Nonlinear Model Configuration	16
Optimality Guarantees for Particle Belief Approximation of POMDPs	16
Structure in Deep Reinforcement Learning: A Survey and Open Problems	16
Planning with Critical Section Macros: Theory and Practice	16
Set-to-Sequence Methods in Machine Learning: A Review	14
Undesirable Biases in NLP: Addressing Challenges of Measurement	14
Maximal Combinations of Fairness Definitions	13
Best of Both Worlds: Agents with Entitlements	13
TOOLTANGO: Common sense Generalization in Predicting Sequential Tool Interactions for Robot Plan Synthesis	13
Mitigating Value Hallucination in Dyna-Style Planning via Multistep Predecessor Models	12
Exploiting Contextual Target Attributes for Target Sentiment Classification	12
Automated Dynamic Algorithm Configuration	11
Principles and their Computational Consequences for Argumentation Frameworks with Collective Attacks	11
QNLP in Practice: Running Compositional Models of Meaning on a Quantum Computer	11
Finding and Recognizing Popular Coalition Structures	11
Reviewer Assignment Problem: A Systematic Review of the Literature	11
Core Challenges in Embodied Vision-Language Planning	11
A Principled Distributional Approach to Trajectory Similarity Measurement and its Application to Anomaly Detection	10
Inductive Logic Programming At 30: A New Introduction	10
Path-Planning on a Spherical Surface with Disturbances and Exclusion Zones	10
A Survey of Methods for Automated Algorithm Configuration	10
Combinatorial Multi-Armed Bandits with Fairness Constraints: An Online Convex Optimization Perspective	10
Graph Kernels: A Survey	9
Asymptotics of K-Fold Cross Validation	9
On Dynamics in Structured Argumentation Formalisms	9
Competitive Equilibria with a Constant Number of Chores	8
EpidemiOptim: A Toolbox for the Optimization of Control Policies in Epidemiological Models	8
Decision-Focused Learning: Foundations, State of the Art, Benchmark and Future Opportunities	8
Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases	8
Pure Nash Equilibria in Resource Graph Games	8
Automated Reinforcement Learning (AutoRL): A Survey and Open Problems	8
CoLLIE: Continual Learning of Language Grounding from Language-Image Embeddings	7
Object-agnostic Affordance Categorization via Unsupervised Learning of Graph Embeddings	7
Visually Grounded Language Learning: A Review of Language Games, Datasets, Tasks, and Models	7
Viewpoint: Ethical By Designer - How to Grow Ethical Designers of Artificial Intelligence	7
The LM-Cut Heuristic Family for Optimal Numeric Planning with Simple Conditions	7

CASA: Conversational Aspect Sentiment Analysis for Dialogue Understanding	7
Improving Reproducibility in AI Research: Four Mechanisms Adopted by JAIR	7
Optimal Any-Angle Pathfinding on a Sphere	7
Playing Codenames with Language Graphs and Word Embeddings	7
An Extensive Empirical Evaluation of Inferring Preconditions and Effects of Compound Tasks in Ground HTN Planning Problems	6
Uncertainty as a Fairness Measure	6
On the Computational Complexity of Non-Dictatorial Aggregation	6
Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach	6
Visually Grounded Models of Spoken Language: A Survey of Datasets, Architectures and Evaluation Techniques	6
Semantic Alignment of Malicious Question Based on Contrastive Semantic Networks and Data Augmentation	6
Quantization Aware Factorization for Deep Neural Network Compression	6
Chance-constrained Static Schedules for Temporally Probabilistic Plans	6
Two-phase Multi-document Event Summarization on Core Event Graphs	6
Efficient Local Search based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set	6
Viewpoint: Artificial Intelligence Accidents Waiting to Happen?	6
Satisfiability Modulo User Propagators	6
Scalable Primal Heuristics Using Graph Neural Networks for Combinatorial Optimization	6
Solving the Watchman Route Problem with Heuristic Search	6
Mean-Semivariance Policy Optimization via Risk-Averse Reinforcement Learning	5
Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic	5
Graphmax for Text Generation	5
Welfare Guarantees in Schelling Segregation	5
Computational Machine Ethics: A Survey	5
Data-Driven Revision of Conditional Norms in Multi-Agent Systems	5
Individual Fairness, Base Rate Tracking and the Lipschitz Condition	5
A Fortiori Case-Based Reasoning: From Theory to Data	5
On Quantifying Literals in Boolean Logic and its Applications to Explainable AI	5
How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC	5
Exploring the Tradeoff Between System Profit and Income Equality Among Ride-hailing Drivers	5
Cultural Bias in Explainable AI Research: A Systematic Analysis	5
Doubly Robust Crowdsourcing	5
Automatically Finding the Right Probabilities in Bayesian Networks	5
Iterative Train Scheduling under Disruption with Maximum Satisfiability	4
The Complexity of Matching Games: A Survey	4
Proofs and Certificates for Max-SAT	4
Agent-Based Markov Modeling for Improved COVID-19 Mitigation Policies	4
Incremental Event Calculus for Run-Time Reasoning	4
On the Cluster Admission Problem for Cloud Computing	4
Decentralized Gradient-Quantization Based Matrix Factorization for Fast Privacy-Preserving Point-of-Interest Recommendation	4
Program Synthesis with Best-First Bottom-Up Search	4
Joint Optimization of Concave Scalarized Multi-Objective Reinforcement Learning with Policy Gradient Based Algorithm	4
Prediction of Social Dynamic Agents and Long-Tailed Learning Challenges: A Survey	4
A General Model for Aggregating Annotations Across Simple, Complex, and Multi-Object Annotation Tasks	4
Right Place, Right Time: Proactive Multi-Robot Task Allocation Under Spatiotemporal Uncertainty	4
Experimental Comparison and Survey of Twelve Time Series Anomaly Detection Algorithms	4
Language-Models-as-a-Service: Overview of a New Paradigm and its Challenges	4
Steady-State Planning in Expected Reward Multichain MDPs	4
Enhanced Recommendation Systems with Retrieval-Augmented Large Language Model	3
Effi	3
Learning Optimal Decision Sets and Lists with SAT	3
Multilabel Classification with Partial Abstention: Bayes-Optimal Prediction under Label Independence	3
Existence, Computation and Efficiency of Nash Stable Outcomes in Hedonic Skill Games	3
Planted Dense Subgraphs in Dense Random Graphs Can Be Recovered using Graph-based Machine Learning	3
The Application of Machine Learning Techniques for Predicting Match Results in Team Sport: A Review	3
The Complexity of Subelection Isomorphism Problems	3
Towards Trustworthy AI-Enabled Decision Support Systems: Validation of the Multisource AI Scorecard Table (MAST)	3
A New Regret-analysis Framework for Budgeted Multi-Armed Bandits	3
AI Reliance and Decision Quality: Fundamentals, Interdependence, and the Effects of Interventions	3
Improving the Effectiveness and Efficiency of Stochastic Neighbour Embedding with Isolation Kernel	3
Communication-Aware Local Search for Distributed Constraint Optimization	3
Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting	3
Viewpoint: Hybrid Intelligence Supports Application Development for Diabetes Lifestyle Management	3
Recursion in Abstract Argumentation is Hard --- On the Complexity of Semantics Based on Weak Admissibility	3
Better Decision Heuristics in CDCL through Local Search and Target Phases	3
Fairness in Influence Maximization through Randomization	3
On the Tractability of SHAP Explanations	3
Improving Mutual Information Based Feature Selection by Boosting Unique Relevance	3
Efficient Ontology-Mediated Query Answering: Extending DL-liteR and Linear ELH	3
The State of Computer Vision Research in Africa	3
Weighted, Circular and Semi-Algebraic Proofs	3
Strategy Graphs for Influence Diagrams	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
Threshold Treewidth and Hypertree Width	3
A Semi-exact Algorithm for Quickly Computing A Maximum Weight Clique in Large Sparse Graphs	3
The AI Liability Puzzle and A Fund-Based Work-Around	2
CPM-based Hierarchical Text Classification	2
SAlign: A Graph Neural Attention Framework for Aligning Structurally Heterogeneous Networks	2
Evaluating Strategic Structures in Multi-Agent Inverse Reinforcement Learning	2
Removing Bias and Incentivizing Precision in Peer-grading	2

Optimally Deceiving a Learning Leader in Stackelberg Games	2
An Overview of Environmental Features that Impact Deep Reinforcement Learning in Sparse-Reward Domains	2
Expressing and Exploiting Subgoal Structure in Classical Planning Using Sketches	2
Neural Character-Level Syntactic Parsing for Chinese	2
Declarative Algorithms and Complexity Results for Assumption-Based Argumentation	2
Computing Pareto-Optimal and Almost Envy-Free Allocations of Indivisible Goods	2
An Algorithm with Improved Complexity for Pebble Motion/Multi-Agent Path Finding on Trees	2
Learning Bayesian Networks Under Sparsity Constraints: A Parameterized Complexity Analysis	2
Finding the Hardest Formulas for Resolution	2
Query-driven Qualitative Constraint Acquisition	2
Analysis of the Impact of Randomization of Search-Control Parameters in Monte-Carlo Tree Search	2
sunny-as2: Enhancing SUNNY for Algorithm Selection	2
Get out of the BAG! Silos in AI Ethics Education: Unsupervised Topic Modeling Analysis of Global AI Curricula	2
Low-Rank Representation of Reinforcement Learning Policies	2
AAN+: Generalized Average Attention Network for Accelerating Neural Transformer	2
Amortized Variational Inference: A Systematic Review	2
Improving Resource Allocations by Sharing in Pairs	2
Forgetting in Abstract Argumentation: Limits and Possibilities	2
Complexity of Computing the Shapley Value in Partition Function Form Games	2
Altruistic Hedonic Games	2
A Few Queries Go a Long Way: Information-Distortion Tradeoffs in Matching	2
Creative Problem Solving in Artificially Intelligent Agents: A Survey and Framework	2
Evolutionary Dynamics and Phi-Regret Minimization in Games	2
Stackelberg Security Games with Contagious Attacks on a Network: Reallocation to the Rescue	2
Interpretable Local Concept-based Explanation with Human Feedback to Predict All-cause Mortality	2
A Benchmark Study on Knowledge Graphs Enrichment and Pruning Methods in the Presence of Noisy Relationships	2
Contract Scheduling with Predictions	2
General Policies, Subgoal Structure, and Planning Width	2
On Mitigating the Utility-Loss in Differentially Private Learning: A New Perspective by a Geometrically Inspired Kernel Approach	1
The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom	1
Performative Ethics From Within the Ivory Tower: How CS Practitioners Uphold Systems of Oppression	1
Reasoning about Decidability of Strategic Logics with Imperfect Information and Perfect Recall Strategies	1
Equivalence in Argumentation Frameworks with a Claim-centric View: Classical Results with Novel Ingredients	1
Computational Benefits of Intermediate Rewards for Goal-Reaching Policy Learning	1
The Goal after Tomorrow: Offline Goal Reasoning with Norms	1
Selfishly Prepaying in Financial Credit Networks	1
MDP Playground: An Analysis and Debug Testbed for Reinforcement Learning	1
Image Captioning as an Assistive Technology: Lessons Learned from VizWiz 2020 Challenge	1
sEMG-Based Upper Limb Movement Classifier: Current Scenario and Upcoming Challenges	1
Introduction to the Special Track on Artificial Intelligence and COVID-19	1
Learning Realistic Patterns from Visually Unrealistic Stimuli: Generalization and Data Anonymization	1
Cross-domain Constituency Parsing by Leveraging Heterogeneous Data	1
FlexiBO: A Decoupled Cost-Aware Multi-Objective Optimization Approach for Deep Neural Networks	1
Socially Responsible AI Algorithms: Issues, Purposes, and Challenges	1
Multiobjective Tree-Structured Parzen Estimator	1
Online Relaxation Refinement for Satisficing Planning: On Partial Delete Relaxation, Complete Hill-Climbing, and Novelty Pruning	1
Bt-GAN: Generating Fair Synthetic Healthdata via Bias-transforming Generative Adversarial Networks	1
Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes	1
Fair and Efficient Allocation of Scarce Resources Based on Predicted Outcomes: Implications for Homeless Service Delivery	1
Sequence-Oriented Diagnosis of Discrete-Event Systems	1
On Tackling Explanation Redundancy in Decision Trees	1
The Human in Interactive Machine Learning: Analysis and Perspectives for Ambient Intelligence	1
Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning	1
A Divide, Align and Conquer Strategy For Program Synthesis	1
A Tight Bound for Stochastic Submodular Cover	1
FlexiBERT: Are Current Transformer Architectures too Homogeneous and Rigid?	1
Collective Belief Revision	1
Goal Recognition for Deceptive Human Agents through Planning and Gaze	1
Laplace-HDC: Understanding the Geometry of Binary Hyperdimensional Computing	1
Flexible FOND Planning with Explicit Fairness Assumptions	1
Symbolic Task Inference in Deep Reinforcement Learning	1
Negative Human Rights as a Basis for Long-term AI Safety and Regulation	1
Fair Division of Indivisible Goods for a Class of Concave Valuations	1
Mixed Fair Division: A Survey	1
DeepSym: Deep Symbol Generation and Rule Learning for Planning from Unsupervised Robot Interaction	1
Does CLIP Know My Face?	1
FactGen: Faithful Text Generation by Factuality-aware Pre-training and Contrastive Ranking Fine-tuning	1
Visualizing the Implicit Model Selection Tradeoff	1
Unifying SAT-Based Approaches to Maximum Satisfiability Solving	1
Teaching People by Justifying Tree Search Decisions: An Empirical Study in Curling	1
RWNE: A Scalable Random-Walk based Network Embedding Framework with Personalized Higher-order Proximity Preserved	1
Pricing Problems with Buyer Preselection	1
A Logic of East and West	1
Optimizing for Interpretability in Deep Neural Networks with Tree Regularization	1
Your College Dorm and Dormmates: Fair Resource Sharing with Externalities	1
A Word Selection Method for Producing Interpretable Distributional Semantic Word Vectors	1
Actor Prioritized Experience Replay	1
Automatic Recognition of the General-Purpose Communicative Functions Defined by the ISO 24617-2 Standard for Dialog Act Annotation	1
Ranking Sets of Objects: The Complexity of Avoiding Impossibility Results	1
Declarative Approaches to Outcome Determination in Judgment Aggregation	1
Multi-Objective Reinforcement Learning Based on Decomposition: A Taxonomy and Framework	1
Bias Mitigation Methods: Applicability, Legality, and Recommendations for Development	1
Classes of Hard Formulas for QBF Resolution	1
Expected 1.x Makespan-Optimal Multi-Agent Path Finding on Grid Graphs in Low Polynomial Time	1
Trends in Integration of Vision and Language Research: A Survey of Tasks, Datasets, and Methods	1
QCDCL vs QBF Resolution: Further Insights	1
Preserving Fairness in AI under Domain Shift	1
Learning to Resolve Social Dilemmas: A Survey	1
Game Plan: What AI can do for Football, and What Football can do for AI	1
A Survey on Understanding and Representing Privacy Requirements in the Internet-of-Things	1
Generating Random SAT Instances: Multiple Solutions could be Predefined and Deeply Hidden	1
Mimicking Behaviors in Separated Domains	1
Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach	1
Efficient Multi-Goal Reinforcement Learning via Value Consistency Prioritization	1
Computational Short Cuts in Infinite Domain Constraint Satisfaction	1