No. 9: AAAI-22 Technical Tracks 9
AAAI Technical Track on Multiagent Systems
Practical Fixed-Parameter Algorithms for Defending Active Directory Style Attack Graphs
PDFAnytime Multi-Agent Path Finding via Machine Learning-Guided Large Neighborhood Search
PDFMDPGT: Momentum-Based Decentralized Policy Gradient Tracking
PDFShard Systems: Scalable, Robust and Persistent Multi-Agent Path Finding with Performance Guarantees
PDFA Deeper Understanding of State-Based Critics in Multi-Agent Reinforcement Learning
PDFWhen Can the Defender Effectively Deceive Attackers in Security Games?
PDFGeneralization in Mean Field Games by Learning Master Policies
PDFFinding Nontrivial Minimum Fixed Points in Discrete Dynamical Systems: Complexity, Special Case Algorithms and Heuristics
PDFHow Many Representatives Do We Need? The Optimal Size of a Congress Voting on Binary Issues
PDFDecentralized Mean Field Games
PDFIncentivizing Collaboration in Machine Learning via Synthetic Data Rewards
PDFLearning the Optimal Recommendation from Explorative Users
PDFMulti-Agent Incentive Communication via Decentralized Teammate Modeling
PDFMLink: Linking Black-Box Models for Collaborative Multi-Model Inference
PDFEquilibrium Finding in Normal-Form Games via Greedy Regret Minimization
PDFHedonic Games with Fixed-Size Coalitions
PDFPartner-Aware Algorithms in Decentralized Cooperative Bandit Teams
PDFFixation Maximization in the Positional Moran Process
PDFFlex Distribution for Bounded-Suboptimal Multi-Agent Path Finding
PDFParticipatory Budgeting with Donations and Diversity Constraints
PDFPretrained Cost Model for Distributed Constraint Optimization Problems
PDFConcentration Network for Reinforcement Learning of Large-Scale Multi-Agent Systems
PDFCooperative Multi-Agent Fairness and Equivariant Policies
PDF
AAAI Technical Track on Philosophy and Ethics of AI
Algorithmic Fairness Verification with Graphical Models
PDFAchieving Long-Term Fairness in Sequential Decision Making
PDFFairness without Imputation: A Decision Tree Approach for Fair Prediction with Missing Values
PDFShaping Noise for Robust Attributions in Neural Stochastic Differential Equations
PDFCertified Robustness of Nearest Neighbors against Data Poisoning and Backdoor Attacks
PDFOn the Fairness of Causal Algorithmic Recourse
PDFDeepAuth: A DNN Authentication Framework by Model-Unique and Fragile Signature Embedding
PDFFast Sparse Decision Tree Optimization via Reference Ensembles
PDFUnsupervised Causal Binary Concepts Discovery with VAE for Black-Box Model Explanation
PDFDo Feature Attribution Methods Correctly Attribute Features?
PDFWhy Fair Labels Can Yield Unfair Predictions: Graphical Conditions for Introduced Unfairness
PDFIncorporating Item Frequency for Differentially Private Set Union
PDFCosine Model Watermarking against Ensemble Distillation
PDFTowards Debiasing DNN Models from Spurious Feature Influence
PDFPath-Specific Objectives for Safer Agent Incentives
PDF
AAAI Technical Track on Planning, Routing, and Scheduling
Formula Synthesis in Propositional Dynamic Logic with Shuffle
PDFEfficient Encoding of Cost Optimal Delete-Free Planning as SAT
PDFOptimal Admission Control for Multiclass Queues with Time-Varying Arrival Rates via State Abstraction
PDFEnhancing Column Generation by a Machine-Learning-Based Pricing Heuristic for Graph Coloring
PDFQubit Routing Using Graph Neural Network Aided Monte Carlo Tree Search
PDFClassical Planning with Avoid Conditions
PDFStochastic Goal Recognition Design Problems with Suboptimal Agents
PDFEquity Promotion in Online Resource Allocation
PDFEfficient Device Scheduling with Multi-Job Federated Learning
PDFMAPDP: Cooperative Multi-Agent Reinforcement Learning to Solve Pickup and Delivery Problems
PDFInconsistent Planning: When in Doubt, Toss a Coin!
PDFRobustification of Online Graph Exploration Methods
PDFExplainable Planner Selection for Classical Planning
PDFOperator-Potential Heuristics for Symbolic Search
PDFReconfiguring Shortest Paths in Graphs
PDFHomomorphisms of Lifted Planning Tasks: The Case for Delete-Free Relaxation Heuristics
PDFSpeeding Up the RUL¯ Dynamic-Controllability-Checking Algorithm for Simple Temporal Networks with Uncertainty
PDFLearning to Solve Routing Problems via Distributionally Robust Optimization
PDFLearning Probably Approximately Complete and Safe Action Models for Stochastic Worlds
PDFBounding Quality in Diverse Planning
PDFA* Search and Bound-Sensitive Heuristics for Oversubscription Planning
PDFNICE: Robust Scheduling through Reinforcement Learning-Guided Integer Programming
PDFPlanning to Avoid Side Effects
PDFSample-Efficient Iterative Lower Bound Optimization of Deep Reactive Policies for Planning in Continuous MDPs
PDFBridging LTLf Inference to GNN Inference for Learning LTLf Formulae
PDFRisk-Aware Stochastic Shortest Path
PDFDifferential Assessment of Black-Box AI Agents
PDFSolving Disjunctive Temporal Networks with Uncertainty under Restricted Time-Based Controllability Using Tree Search and Graph Neural Networks
PDFDeciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping
PDFA Distributional Framework for Risk-Sensitive End-to-End Planning in Continuous MDPs
PDFFormal Semantics and Formally Verified Validation for Temporal Planning
PDFGoal Recognition as Reinforcement Learning
PDFOnline Search with Best-Price and Query-Based Predictions
PDFExtended Goal Recognition Design with First-Order Computation Tree Logic
PDFSampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise
PDFSynthesis from Satisficing and Temporal Goals
PDFMaking Translations to Classical Planning Competitive with Other HTN Planners
PDFPlanVerb: Domain-Independent Verbalization and Summary of Task Plans
PDFCompeting for Resources: Estimating Adversary Strategy for Effective Plan Generation
PDFThe FF Heuristic for Lifted Classical Planning
PDF
AAAI Technical Track on Reasoning under Uncertainty
Identifiability of Linear AMP Chain Graph Models
PDFDeepStochLog: Neural Stochastic Logic Programming
PDFTowards Robust Off-Policy Learning for Runtime Uncertainty
PDFImproving Bayesian Neural Networks by Adversarial Sampling
PDFEntropy Estimation via Normalizing Flow
PDFFast and More Powerful Selective Inference for Sparse High-Order Interaction Model
PDFGeneralized Stochastic Matching
PDFRobust Tests in Online Decision-Making
PDFLocal Differential Privacy for Belief Functions
PDFA Complete Criterion for Value of Information in Soluble Influence Diagrams
PDFTraining-Free Uncertainty Estimation for Dense Regression: Sensitivity as a Surrogate
PDFOn the Impact of Spurious Correlation for Out-of-Distribution Detection
PDFInference and Learning with Model Uncertainty in Probabilistic Logic Programs
PDFDomain-Lifted Sampling for Universal Two-Variable Logic and Extensions
PDF
AAAI Technical Track on Search and Optimization
Local and Global Convergence of General Burer-Monteiro Tensor Optimizations
PDFBi-CMR: Bidirectional Reinforcement Guided Hashing for Effective Cross-Modal Retrieval
PDFImproving Local Search Algorithms via Probabilistic Configuration Checking
PDFPEA*+IDA*: An Improved Hybrid Memory-Restricted Algorithm
PDFSearch Strategies for Topological Network Optimization
PDFHibernated Backdoor: A Mutual Information Empowered Backdoor Attack to Deep Neural Networks
PDFPlanning with Explanations for Finding Desired Meeting Points on Graphs
PDFA Fast Local Search Algorithm for the Latin Square Completion Problem
PDFSparsification of Decomposable Submodular Functions
PDFSubset Approximation of Pareto Regions with Bi-objective A*
PDFOn Probabilistic Generalization of Backdoors in Boolean Satisfiability
PDFA Novel Approach to Solving Goal-Achieving Problems for Board Games
PDFMachine Learning for Online Algorithm Selection under Censored Feedback
PDFProcrastinated Tree Search: Black-Box Optimization with Delayed, Noisy, and Multi-Fidelity Feedback
PDFDPCD: Discrete Principal Coordinate Descent for Binary Variable Problems
PDFOptimize What You Evaluate With: Search Result Diversification Based on Metric Optimization
PDFA First Mathematical Runtime Analysis of the Non-dominated Sorting Genetic Algorithm II (NSGA-II)
PDFEfficient Optimal Transport Algorithm by Accelerated Gradient Descent
PDFLocal and Global Linear Convergence of General Low-Rank Matrix Recovery Problems
PDFA*+BFHS: A Hybrid Heuristic Search Algorithm
PDFNukCP: An Improved Local Search Algorithm for Maximum k-Club Problem
PDFFourier Representations for Black-Box Optimization over Categorical Variables
PDFNew Results in Bounded-Suboptimal Search
PDFAn Exact Algorithm with New Upper Bounds for the Maximum k-Defective Clique Problem in Massive Sparse Graphs
PDFLearning from Mistakes – a Framework for Neural Architecture Search
PDFThe Complexity of Temporal Vertex Cover in Small-Degree Graphs
PDFProvable Sensor Sets for Epidemic Detection over Networks with Minimum Delay
PDFTowards Automated Discovery of God-Like Folk Algorithms for Rubik’s Cube
PDFMIP-GNN: A Data-Driven Framework for Guiding Combinatorial Solvers
PDFBandit Limited Discrepancy Search and Application to Machine Learning Pipeline Optimization
PDFPRISM: A Rich Class of Parameterized Submodular Information Measures for Guided Data Subset Selection
PDFSplit Moves for Monte-Carlo Tree Search
PDFMAPF-LNS2: Fast Repairing for Multi-Agent Path Finding via Large Neighborhood Search
PDF