Automated Reasoning

Bilateral Gradual Semantics for Weighted Argumentation AAAI 2024 Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting IJCAI 2024 Call Me When Necessary: LLMs can Efficiently and Faithfully Reason over Structured Environments ACL 2024 CANDLE: Iterative Conceptualization and Instantiation Distillation from Large Language Models for Commonsense Reasoning ACL 2024 Causal discovery with endogenous context variables NeurIPS 2024 CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems AAAI 2024 Chaining Event Spans for Temporal Relation Grounding EACL 2024 Chain-of-Question: A Progressive Question Decomposition Approach for Complex Knowledge Base Question Answering ACL 2024 Chain of Thoughtlessness? An Analysis of CoT in Planning NeurIPS 2024 CNEQ: Incorporating numbers into Knowledge Graph Reasoning EMNLP 2024 Coconut: Contextualized Commonsense Unified Transformers for Graph-Based Commonsense Augmentation of Language Models ACL 2024 Code Prompting Elicits Conditional Reasoning Abilities in Text+Code LLMs EMNLP 2024 Complex Reasoning over Logical Queries on Commonsense Knowledge Graphs ACL 2024 Composing Biases by Using CP to Decompose Minimal Functional Dependencies for Acquiring Complex Formulae AAAI 2024 Computing the Why-Provenance for Datalog Queries via SAT Solvers AAAI 2024 DARA: Decomposition-Alignment-Reasoning Autonomous Language Agent for Question Answering over Knowledge Graphs ACL 2024 Deciphering Raw Data in Neuro-Symbolic Learning with Provable Guarantees AAAI 2024 Decompositions in Compositional Translation of LTLf to DFA (Student Abstract) AAAI 2024 Deep Equilibrium Algorithmic Reasoning NeurIPS 2024 Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation AAAI 2024 Delivering Inflated Explanations AAAI 2024 Disjoint Partial Enumeration without Blocking Clauses AAAI 2024 DocScript: Document-level Script Event Prediction COLING 2024 Efficient and Accurate Contextual Re-Ranking for Knowledge Graph Question Answering COLING 2024 Efficient Axiomatization of OWL 2 EL Ontologies from Data by Means of Formal Concept Analysis AAAI 2024