Discrete Mathematics

Fast Compliance Checking in an OWL2 Fragment IJCAI 2018 From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying IJCAI 2018 Global Transition-based Non-projective Dependency Parsing ACL 2018 Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account IJCAI 2018 Incremental Computation of Infix Probabilities for Probabilistic Finite Automata EMNLP 2018 KONG: Kernels for ordered-neighborhood graphs NeurIPS 2018 Linear Satisfiability Preserving Assignments (Extended Abstract) IJCAI 2018 Linguistic Resources for Phrasal Verb Identification COLING 2018 Minimax Rates and Efficient Algorithms for Noisy Sorting ALT 2018 Multiwinner Voting with Restricted Admissible Sets: Complexity and Strategyproofness IJCAI 2018 On the Satisfiability Threshold of Random Community-Structured SAT IJCAI 2018 Orchestrating a Network of Mereotopological Theories: An Abridged Report IJCAI 2018 Parameterized Algorithms for the Matrix Completion Problem ICML 2018 Planning in Factored State and Action Spaces with Learned Binarized Neural Network Transition Models IJCAI 2018 Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided? IJCAI 2018 Relevance in Structured Argumentation IJCAI 2018 Smoothed Analysis of Discrete Tensor Decomposition and Assemblies of Neurons NeurIPS 2018 Three-Valued Semantics for Hybrid MKNF Knowledge Bases Revisited (Extended Abstract) IJCAI 2018 Weighted Bipolar Argumentation Graphs: Axioms and Semantics IJCAI 2018 Active-set Methods for Submodular Minimization Problems JMLR 2017 A General Notion of Equivalence for Abstract Argumentation IJCAI 2017 An Algebra for Feature Extraction ACL 2017 An Improved Decision-DNNF Compiler IJCAI 2017 A Study of Unrestricted Abstract Argumentation Frameworks IJCAI 2017 Automated Conjecturing I: Fajtlowicz's Dalmatian Heuristic Revisited (Extended Abstract) IJCAI 2017