Automated Reasoning

Conditional Syntax Splitting for Non-monotonic Inference Operators AAAI 2023 Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract) IJCAI 2023 Connecting Symbolic Statutory Reasoning with Legal Information Extraction EMNLP 2023 Counterfactual reasoning: Testing language models’ understanding of hypothetical scenarios ACL 2023 Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text ACL 2023 Decker: Double Check with Heterogeneous Knowledge for Commonsense Fact Verification ACL 2023 Deductive Additivity for Planning of Natural Language Proofs ACL 2023 Differentiable Neuro-Symbolic Reasoning on Large-Scale Knowledge Graphs NeurIPS 2023 Disentangling Extraction and Reasoning in Multi-hop Spatial Reasoning EMNLP 2023 Do PLMs Know and Understand Ontological Knowledge? ACL 2023 DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function ACL 2023 Empirical Investigation of Neural Symbolic Reasoning Strategies EACL 2023 Enabling Abductive Learning to Exploit Knowledge Graph IJCAI 2023 Epistemic Disjunctive Datalog for Querying Knowledge Bases AAAI 2023 Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers AAAI 2023 Explaining Answer-Set Programs with Abstract Constraint Atoms IJCAI 2023 Explore the Way: Exploring Reasoning Path by Bridging Entities for Effective Cross-Document Relation Extraction EMNLP 2023 ExpNote: Black-box Large Language Models are better Task Solvers with Experience Notebook EMNLP 2023 FactKG: Fact Verification via Reasoning on Knowledge Graphs ACL 2023 FASTDIAGP: An Algorithm for Parallelized Direct Diagnosis AAAI 2023 Finite Entailment of UCRPQs over ALC Ontologies (Extended Abstract) IJCAI 2023 Generating Deep Questions with Commonsense Reasoning Ability from the Text by Disentangled Adversarial Inference ACL 2023 Graphix-T5: Mixing Pre-trained Transformers with Graph-Aware Layers for Text-to-SQL Parsing AAAI 2023 Hence, Socrates is mortal: A Benchmark for Natural Language Syllogistic Reasoning ACL 2023 Implementing Bounded Revision via Lexicographic Revision and C-revision AAAI 2023