Automated Reasoning

ABox Abduction via Forgetting in ALC AAAI 2019 A Core Method for the Weak Completion Semantics with Skeptical Abduction (Extended Abstract) IJCAI 2019 Annotation of Rhetorical Moves in Biochemistry Articles ACL 2019 Anytime Bottom-Up Rule Learning for Knowledge Graph Completion IJCAI 2019 Approximate Stream Reasoning with Metric Temporal Logic under Uncertainty AAAI 2019 A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving AAAI 2019 A Replication Study of Semantics in Argumentation IJCAI 2019 A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief IJCAI 2019 Automated Rule Base Completion as Bayesian Concept Induction AAAI 2019 Belief Change and Non-Monotonic Reasoning Sans Compactness AAAI 2019 Bringing Order to Chaos – A Compact Representation of Partial Order in SAT-Based HTN Planning AAAI 2019 Cautious Rule-Based Collective Inference IJCAI 2019 Chains-of-Reasoning at TextGraphs 2019 Shared Task: Reasoning over Chains of Facts for Explainable Multi-hop Inference EMNLP 2019 Chasing Sets: How to Use Existential Rules for Expressive Reasoning IJCAI 2019 Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies IJCAI 2019 Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference AAAI 2019 Comparing Options with Argument Schemes Powered by Cancellation IJCAI 2019 Compilation of Logical Arguments IJCAI 2019 Complexity of Abstract Argumentation under a Claim-Centric View AAAI 2019 Complexity of Fundamental Problems in Probabilistic Abstract Argumentation: Beyond Independence (Extended Abstract) IJCAI 2019 Complexity of Inconsistency-Tolerant Query Answering in Datalog+/– under Cardinality-Based Repairs AAAI 2019 Computing Argumentative Explanations in Bipolar Argumentation Frameworks AAAI 2019 Counting Complexity for Reasoning in Abstract Argumentation AAAI 2019 Cross-document coreference: An approach to capturing coreference without context EMNLP 2019 DatalogMTL: Computational Complexity and Expressive Power IJCAI 2019