Automated Reasoning

Declarative Question Answering over Knowledge Bases Containing Natural Language Text with Answer Set Programming AAAI 2019 Decompositional Argument Mining: A General Purpose Approach for Argument Graph Construction ACL 2019 Deep Natural Language Understanding of News Text NAACL 2019 Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability AAAI 2019 DRUM: End-To-End Differentiable Rule Mining On Knowledge Graphs NeurIPS 2019 Efficient Concept Induction for Description Logics AAAI 2019 Efficient Search-Based Weighted Model Integration UAI 2019 EQUATE: A Benchmark Evaluation Framework for Quantitative Reasoning in Natural Language Inference CoNLL 2019 Evolutionary Learning of Existential Rules IJCAI 2019 Exploring Knowledge Graphs in an Interpretable Composite Approach for Text Entailment AAAI 2019 Extracting Common Inference Patterns from Semi-Structured Explanations EMNLP 2019 GamePad: A Learning Environment for Theorem Proving ICLR 2019 Generating and Sampling Orbits for Lifted Probabilistic Inference UAI 2019 Generating Discourse Inferences from Unscoped Episodic Logical Formulas ACL 2019 HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving ICML 2019 How Well Do Machines Perform on IQ tests: a Comparison Study on a Large-Scale Dataset IJCAI 2019 Identifying Bottlenecks in Practical SAT-Based Model Finding for First-Order Logic Ontologies with Datasets AAAI 2019 Interpretable Question Answering on Knowledge Bases and Text ACL 2019 Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach AAAI 2019 Learning by Abstraction: The Neural State Machine NeurIPS 2019 Learning to Explain: Answering Why-Questions via Rephrasing ACL 2019 Logical Explanations for Deep Relational Machines Using Relevance Information JMLR 2019 Mixed-World Reasoning with Existential Rules under Active-Domain Semantics IJCAI 2019 Model-Based Diagnosis with Multiple Observations IJCAI 2019 Modular Materialisation of Datalog Programs AAAI 2019