Foundations

Model Counting and Sampling via Semiring Extensions AAAI 2024 Multidimensional Fractional Programming for Normalized Cuts NeurIPS 2024 Multi-Relational Structural Entropy UAI 2024 Multivariate Analysis and Structural Restrictions in Computational Social Choice IJCAI 2024 Naive Bayes Classifiers over Missing Data: Decision and Poisoning ICML 2024 Navigable Graphs for High-Dimensional Nearest Neighbor Search: Constructions and Limits NeurIPS 2024 Neural Model Checking NeurIPS 2024 Non-clairvoyant Scheduling with Partial Predictions ICML 2024 Non-Clashing Teaching Maps for Balls in Graphs COLT 2024 OctoSketch: Enabling Real-Time, Continuous Network Monitoring over Multiple Cores NSDI 2024 OmniSDF: Scene Reconstruction using Omnidirectional Signed Distance Functions and Adaptive Binoctrees CVPR 2024 Online Weighted Paging with Unknown Weights NeurIPS 2024 On the cohesion and separability of average-link for hierarchical agglomerative clustering NeurIPS 2024 On the Outcome Equivalence of Extensive-Form and Behavioral Correlated Equilibria AAAI 2024 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 Quasi-clique: Hardness, Equivalence with Densest-k-Subgraph, and Quasi-partitioned Community Mining AAAI 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