Automated Reasoning

RNNLogic: Learning Logic Rules for Reasoning on Knowledge Graphs ICLR 2021 Satisfiability and Algorithms for Non-uniform Random k-SAT AAAI 2021 Skeptical Reasoning with Preferred Semantics in Abstract Argumentation without Computing Preferred Extensions IJCAI 2021 SQALER: Scaling Question Answering by Decoupling Multi-Hop and Logical Reasoning NeurIPS 2021 Strategyproof Randomized Social Choice for Restricted Sets of Utility Functions IJCAI 2021 Stratified Negation in Datalog with Metric Temporal Operators AAAI 2021 Strong Explanations in Abstract Argumentation AAAI 2021 Synthesizing Good-Enough Strategies for LTLf Specifications IJCAI 2021 Team Papelo at FEVEROUS: Multi-hop Evidence Pursuit EMNLP 2021 Temporal and Object Quantification Networks IJCAI 2021 TextGraphs 2021 Shared Task on Multi-Hop Inference for Explanation Regeneration NAACL 2021 The Complexity Landscape of Claim-Augmented Argumentation Frameworks AAAI 2021 Think about it! Improving defeasible reasoning by first modeling the question scenario. EMNLP 2021 UniKER: A Unified Framework for Combining Embedding and Definite Horn Rule Reasoning for Knowledge Graph Inference EMNLP 2021 Updating the Belief Promotion Operator IJCAI 2021 Verifiable Machine Ethics in Changing Contexts AAAI 2021 WinoLogic: A Zero-Shot Logic-based Diagnostic Dataset for Winograd Schema Challenge EMNLP 2021 Active Goal Recognition AAAI 2020 A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract) IJCAI 2020 A Framework for Measuring Information Asymmetry AAAI 2020 A Fully Rational Account of Structured Argumentation Under Resource Bounds IJCAI 2020 Aggregation of Perspectives Using the Constellations Approach to Probabilistic Argumentation AAAI 2020 Analysis of One-to-One Matching Mechanisms via SAT Solving: Impossibilities for Universal Axioms AAAI 2020 Answering Conjunctive Queries with Inequalities in DL-Liteℛ AAAI 2020 Answering Counting Queries over DL-Lite Ontologies IJCAI 2020