Discrete Mathematics

Efficient Axiomatization of OWL 2 EL Ontologies from Data by Means of Formal Concept Analysis AAAI 2024 Engineering an Exact Pseudo-Boolean Model Counter AAAI 2024 EPVerifier: Accelerating Update Storms Verification with Edge-Predicate NSDI 2024 Errors are Robustly Tamed in Cumulative Knowledge Processes COLT 2024 Extremal Separation Problems for Temporal Instance Queries IJCAI 2024 Fair Allocation of Items in Multiple Regions AAAI 2024 General Epistemic Abstract Argumentation Framework: Semantics and Complexity IJCAI 2024 Guide to Numerical Experiments on Elections in Computational Social Choice IJCAI 2024 Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs OSDI 2024 Knowledge Compilation for Incremental and Checkable Stochastic Boolean Satisfiability IJCAI 2024 Learning from Snapshots of Discrete and Continuous Data Streams NeurIPS 2024 Learning Partitions from Context NeurIPS 2024 Learning to Understand: Identifying Interactions via the Möbius Transform NeurIPS 2024 Lifted Planning: Recent Advances in Planning Using First-Order Representations IJCAI 2024 Low-degree phase transitions for detecting a planted clique in sublinear time COLT 2024 Memory-Efficient Sequential Pattern Mining with Hybrid Tries JMLR 2024 Mimicking Behaviors in Separated Domains (Abstract Reprint) AAAI 2024 Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond) AAAI 2024 Multi-Winner Reconfiguration NeurIPS 2024 Musical Phrase Segmentation via Grammatical Induction IJCAI 2024 New Proposal of Greenberg’s Universal 14 from Typometrics COLING 2024 On Computing Makespan-Optimal Solutions for Generalized Sliding-Tile Puzzles AAAI 2024 On the Complexity of Finding Set Repairs for Data-Graphs (Abstract Reprint) IJCAI 2024 On the Complexity of Identification in Linear Structural Causal Models NeurIPS 2024 On the Expressivity of Recurrent Neural Cascades AAAI 2024