Automated Reasoning

Limbo: A Reasoning System for Limited Belief IJCAI 2017 Local-to-Global Bayesian Network Structure Learning ICML 2017 Mapping Repair in Ontology-based Data Access Evolving Systems IJCAI 2017 nanoCoP: Natural Non-clausal Theorem Proving IJCAI 2017 On-demand Injection of Lexical Knowledge for Recognising Textual Entailment EACL 2017 On the Complexity and Expressiveness of Automated Planning Languages Supporting Temporal Reasoning IJCAI 2017 On the Complexity of Enumerating the Extensions of Abstract Argumentation Frameworks IJCAI 2017 On the Expressivity of Inconsistency Measures (Extended Abstract) IJCAI 2017 Ontology-Mediated Query Answering for Key-Value Stores IJCAI 2017 Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability IJCAI 2017 Open-World Probabilistic Databases: An Abridged Report IJCAI 2017 Premise Selection for Theorem Proving by Deep Graph Embedding NeurIPS 2017 Reformulating Queries: Theory and Practice IJCAI 2017 Semantic Parsing of Pre-university Math Problems ACL 2017 Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory IJCAI 2017 Strategically knowing how IJCAI 2017 Streaming Multi-Context Systems IJCAI 2017 Strong Inconsistency in Nonmonotonic Reasoning IJCAI 2017 Temporal Sequences of Qualitative Information: Reasoning about the Topology of Constant-Size Moving Regions IJCAI 2017 The ContrastMedium Algorithm: Taxonomy Induction From Noisy Knowledge Graphs With Just A Few Links EACL 2017 The Parallel Meaning Bank: Towards a Multilingual Corpus of Translations Annotated with Compositional Meaning Representations EACL 2017 Decisions and Dependence in Influence Diagrams PGM 2016 An Integer Polynomial Programming Based Framework for Lifted MAP Inference NeurIPS 2014 New Rules for Domain Independent Lifted MAP Inference NeurIPS 2014 Scaling-up Importance Sampling for Markov Logic Networks NeurIPS 2014