Discrete Mathematics

Ontology Approximation in Horn Description Logics IJCAI 2019 Optimality and Nash Stability in Additive Separable Generalized Group Activity Selection Problems IJCAI 2019 Partitioning Techniques in LTLf Synthesis IJCAI 2019 Partners in Crime: Manipulating the Deferred Acceptance Algorithm through an Accomplice AAAI 2019 Phase Transition Behavior of Cardinality and XOR Constraints IJCAI 2019 Preferences Single-Peaked on a Tree: Sampling and Tree Recognition IJCAI 2019 Sampling from Stochastic Finite Automata with Applications to CTC Decoding Interspeech 2019 Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access IJCAI 2019 Sliding Window Temporal Graph Coloring AAAI 2019 Unbounded Orchestrations of Transducers for Manufacturing AAAI 2019 Unbounded Stress in Subregular Phonology ACL 2019 A Lattice Representation of Independence Relations PGM 2018 A Meaning-Based Statistical English Math Word Problem Solver NAACL 2018 Approval-Based Multi-Winner Rules and Strategic Voting IJCAI 2018 A Structural Approach to Activity Selection IJCAI 2018 A Study of Argumentative Characterisations of Preferred Subtheories IJCAI 2018 Behavior of Analogical Inference w.r.t. Boolean Functions IJCAI 2018 Classification Transfer for Qualitative Reasoning Problems IJCAI 2018 Communication Efficient Parallel Algorithms for Optimization on Manifolds NeurIPS 2018 Compact-MDD: Efficiently Filtering (s)MDD Constraints with Reversible Sparse Bit-sets IJCAI 2018 Compiling Combinatorial Prediction Games ICML 2018 Complexity of n-Queens Completion (Extended Abstract) IJCAI 2018 Computational Aspects of the Preference Cores of Supermodular Two-Scenario Cooperative Games IJCAI 2018 Constrained Interacting Submodular Groupings ICML 2018 Designing a Croatian Aspectual Derivatives Dictionary: Preliminary Stages COLING 2018