Automated Reasoning

A Conversational Approach to Process-oriented Case-based Reasoning IJCAI 2018 Acquisition of Phrase Correspondences Using Natural Deduction Proofs NAACL 2018 A Generalized Knowledge Hunting Framework for the Winograd Schema Challenge NAACL 2018 A Knowledge Hunting Framework for Common Sense Reasoning EMNLP 2018 A Lattice Representation of Independence Relations PGM 2018 Alternating-time Temporal Logic on Finite Traces IJCAI 2018 Anaphora Resolution for Improving Spatial Relation Extraction from Text NAACL 2018 An Empirical Study of Knowledge Tradeoffs in Case-Based Reasoning IJCAI 2018 A Semantic Loss Function for Deep Learning with Symbolic Knowledge ICML 2018 A Systematic Classification of Knowledge, Reasoning, and Context within the ARC Dataset ACL 2018 Attributed Description Logics: Reasoning on Knowledge Graphs IJCAI 2018 Automated Reasoning for City Infrastructure Maintenance Decision Support IJCAI 2018 Bridging Knowledge Gaps in Neural Entailment via Symbolic Models EMNLP 2018 Building and Learning Structures in a Situated Blocks World Through Deep Language Understanding NAACL 2018 Building Dialogue Structure from Discourse Tree of a Question EMNLP 2018 Classification Transfer for Qualitative Reasoning Problems IJCAI 2018 Compiling Model Representations for Querying Large ABoxes in Expressive DLs IJCAI 2018 Completeness-aware Rule Learning from Knowledge Graphs IJCAI 2018 Complexity of Approximate Query Answering under Inconsistency in Datalog+/- IJCAI 2018 Computational Argumentation: A Journey Beyond Semantics, Logic, Opinions, and Easy Tasks NAACL 2018 Computing Approximate Query Answers over Inconsistent Knowledge Bases IJCAI 2018 Evaluation Techniques and Systems for Answer Set Programming: a Survey IJCAI 2018 Explainable Certain Answers IJCAI 2018 Exploiting Justifications for Lazy Grounding of Answer Set Programs IJCAI 2018 Extracting Latent Beliefs and using Epistemic Reasoning to Tailor a Chatbot IJCAI 2018