Automated Reasoning

Multi-hop Reading Comprehension through Question Decomposition and Rescoring ACL 2019 Multimodal Logical Inference System for Visual-Textual Entailment ACL 2019 On Limited Conjunctions and Partial Features in Parameter-Tractable Feature Logics AAAI 2019 On Structured Argumentation with Conditional Preferences AAAI 2019 On the Responsibility for Undecisiveness in Preferred and Stable Labellings in Abstract Argumentation (Extended Abstract) IJCAI 2019 Ontology-Mediated Query Answering over Log-Linear Probabilistic Data AAAI 2019 OpenDialKG: Explainable Conversational Reasoning with Attention-based Walks over Knowledge Graphs ACL 2019 Partial Awareness AAAI 2019 Program Synthesis and Semantic Parsing with Learned Code Idioms NeurIPS 2019 Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable AAAI 2019 Quantum Embedding of Knowledge for Reasoning NeurIPS 2019 QUAREL: A Dataset and Models for Answering Questions about Qualitative Relationships AAAI 2019 QuaRTz: An Open-Domain Dataset of Qualitative Relationship Questions EMNLP 2019 Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings AAAI 2019 Reasoning Over Paths via Knowledge Base Completion EMNLP 2019 Reasoning over Streaming Data in Metric Temporal Datalog AAAI 2019 Relating the Structure of a Problem and Its Explanation AAAI 2019 Relaxing and Restraining Queries for OBDA AAAI 2019 Remote Management of Boundary Protection Devices with Information Restrictions AAAI 2019 Safe Partial Diagnosis from Normal Observations AAAI 2019 SAT-Based Explicit LTLf Satisfiability Checking AAAI 2019 Simple Conditionals with Constrained Right Weakening IJCAI 2019 Strong Equivalence for Epistemic Logic Programs Made Easy AAAI 2019 TextGraphs 2019 Shared Task on Multi-Hop Inference for Explanation Regeneration EMNLP 2019 When Choosing Plausible Alternatives, Clever Hans can be Clever EMNLP 2019