Automated Reasoning

Model-Based Diagnosis with Uncertain Observations AAAI 2020 On Robustness in Qualitative Constraint Networks IJCAI 2020 Ordering-Based Causal Structure Learning in the Presence of Latent Variables AISTATS 2020 Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators IJCAI 2020 PGL at TextGraphs 2020 Shared Task: Explanation Regeneration using Language and Graph Learning Methods COLING 2020 Probabilistic Case-based Reasoning for Open-World Knowledge Graph Completion EMNLP 2020 Probabilistic Inference for Predicate Constraint Satisfaction AAAI 2020 PuzzLing Machines: A Challenge on Learning From Small Data ACL 2020 QA2Explanation: Generating and Evaluating Explanations for Question Answering Systems over Knowledge Graph EMNLP 2020 Query Answering for Existential Rules via Efficient Datalog Rewriting IJCAI 2020 Query Answering with Guarded Existential Rules under Stable Model Semantics AAAI 2020 Query Graph Generation for Answering Multi-hop Complex Questions from Knowledge Bases ACL 2020 Query Rewriting for Ontology-Mediated Conditional Answers AAAI 2020 Reasoning About Inconsistent Formulas IJCAI 2020 Reasoning on Knowledge Graphs with Debate Dynamics AAAI 2020 Reasoning with Latent Structure Refinement for Document-Level Relation Extraction ACL 2020 Relatedness and TBox-Driven Rule Learning in Large Knowledge Bases AAAI 2020 Resilient Logic Programs: Answer Set Programs Challenged by Ontologies AAAI 2020 Revisiting the Foundations of Abstract Argumentation – Semantics Based on Weak Admissibility and Weak Defense AAAI 2020 SemEval-2020 Task 4: Commonsense Validation and Explanation SemEval 2020 Structural Decompositions of Epistemic Logic Programs AAAI 2020 TextGraphs 2020 Shared Task on Multi-Hop Inference for Explanation Regeneration COLING 2020 Unsupervised Fact Checking by Counter-Weighted Positive and Negative Evidential Paths in A Knowledge Graph COLING 2020 Use of Claim Graphing and Argumentation Schemes in Biomedical Literature: A Manual Approach to Analysis COLING 2020 WinoWhy: A Deep Diagnosis of Essential Commonsense Knowledge for Answering Winograd Schema Challenge ACL 2020