Automated Reasoning

What Are the Rules? Discovering Constraints from Data AAAI 2024 What Does a Query Answer Tell You? Informativeness of Query Answers for Knowledge Bases AAAI 2024 What Do Hebbian Learners Learn? Reduction Axioms for Iterated Hebbian Learning AAAI 2024 Abstract Argumentation Framework with Conditional Preferences AAAI 2023 Adaptive Path-Memory Network for Temporal Knowledge Graph Reasoning IJCAI 2023 A False Sense of Security (Extended Abstract) IJCAI 2023 A Logic-based Explanation Generation Framework for Classical and Hybrid Planning Problems (Extended Abstract) IJCAI 2023 A*Net: A Scalable Path-based Reasoning Approach for Knowledge Graphs NeurIPS 2023 Answering Complex Logical Queries on Knowledge Graphs via Query Computation Tree Optimization ICML 2023 ART: rule bAsed futuRe-inference deducTion EMNLP 2023 Automated Verification of Idempotence for Stateful Serverless Applications OSDI 2023 Automatically Verifying Expressive Epistemic Properties of Programs AAAI 2023 Back to the Future: Toward a Hybrid Architecture for Ad Hoc Teamwork AAAI 2023 Beneath Surface Similarity: Large Language Models Make Reasonable Scientific Analogies after Structure Abduction EMNLP 2023 Bipolar Abstract Dialectical Frameworks Are Covered by Kleene’s Three-valued Logic IJCAI 2023 BoardgameQA: A Dataset for Natural Language Reasoning with Contradictory Information NeurIPS 2023 Can ChatGPT Perform Reasoning Using the IRAC Method in Analyzing Legal Scenarios Like a Lawyer? EMNLP 2023 CAR: Conceptualization-Augmented Reasoner for Zero-Shot Commonsense Question Answering EMNLP 2023 Causal de Finetti: On the Identification of Invariant Causal Structure in Exchangeable Data NeurIPS 2023 Challenging BIG-Bench Tasks and Whether Chain-of-Thought Can Solve Them ACL 2023 ChatCoT: Tool-Augmented Chain-of-Thought Reasoning on Chat-based Large Language Models EMNLP 2023 Co-Certificate Learning with SAT Modulo Symmetries IJCAI 2023 Complementary Roles of Inference and Language Models in QA EMNLP 2023 Complexity of Reasoning with Cardinality Minimality Conditions AAAI 2023 Complex Query Answering on Eventuality Knowledge Graph with Implicit Logical Constraints NeurIPS 2023