Algorithms

On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions? AAAI 2024 On the Tractability of SHAP Explanations under Markovian Distributions ICML 2024 Open problem: Direct Sums in Learning Theory COLT 2024 Opponent Modeling based on Subgoal Inference NeurIPS 2024 Opponent-Model Search in Games with Incomplete Information AAAI 2024 Optimal Non-Redundant Manipulator Surface Coverage with Rank-Deficient Manipulability Constraints RSS 2024 Optimal Sketching for Residual Error Estimation for Matrix and Vector Norms ICLR 2024 Optimised Storage for Datalog Reasoning AAAI 2024 Optimization Algorithm Design via Electric Circuits NeurIPS 2024 Optimizing the Optimization of Planning Domains by Automatic Action Schema Splitting AAAI 2024 PAMI: An Open-Source Python Library for Pattern Mining JMLR 2024 Parallel Empirical Evaluations: Resilience despite Concurrency AAAI 2024 Parameterization of (Partial) Maximum Satisfiability above Matching in a Variable-Clause Graph AAAI 2024 Parameterized Analysis of Bribery in Challenge the Champ Tournaments IJCAI 2024 Parameterized Approximation Algorithms for Sum of Radii Clustering and Variants AAAI 2024 Parsimonious Learning-Augmented Approximations for Dense Instances of NP-hard Problems ICML 2024 Pass-Efficient Algorithms for Graph Spectral Clustering (Student Abstract) AAAI 2024 Peeking with PEAK: Sequential, Nonparametric Composite Hypothesis Tests for Means of Multiple Data Streams ICML 2024 Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract) IJCAI 2024 Polynomial Semantics of Tractable Probabilistic Circuits UAI 2024 Popular and Dominant Matchings with Uncertain and Multimodal Preferences IJCAI 2024 Practical Shuffle Coding NeurIPS 2024 Preferred Reasoning in ABA by Cycle-Breaking IJCAI 2024 Principal eigenstate classical shadows COLT 2024 Probabilistic Sampling of Balanced K-Means using Adiabatic Quantum Computing CVPR 2024