← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

Modeling Knowledge Graphs with Composite Reasoning AAAI 2024
Learning to Learn in Interactive Constraint Acquisition AAAI 2024
Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation IJCAI 2024
Semantics for Non-Flat Assumption-Based Argumentation, Revisited IJCAI 2024
Towards Multi-Relational Multi-Hop Reasoning over Dense Temporal Knowledge Graphs ACL 2024
Proving Theorems Recursively NIPS 2024
CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems AAAI 2024
Chaining Event Spans for Temporal Relation Grounding EACL 2024
SAT-Based Algorithms for Regular Graph Pattern Matching AAAI 2024
Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting IJCAI 2024
A Unified Temporal Knowledge Graph Reasoning Model Towards Interpolation and Extrapolation ACL 2024
LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models EMNLP 2024
Disjoint Partial Enumeration without Blocking Clauses AAAI 2024
An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes AAAI 2024
Towards a Principle-based Framework for Assessing the Contribution of Formulas on the Conflicts of Knowledge Bases IJCAI 2024
Relative Inconsistency Measures for Indefinite Databases with Denial Constraints IJCAI 2023
Complementary Roles of Inference and Language Models in QA EMNLP 2023
Enabling Abductive Learning to Exploit Knowledge Graph IJCAI 2023
ExpNote: Black-box Large Language Models are better Task Solvers with Experience Notebook EMNLP 2023
TR-Rules: Rule-based Model for Link Forecasting on Temporal Knowledge Graph Considering Temporal Redundancy EMNLP 2023
Neuro-Symbolic Continual Learning: Knowledge, Reasoning Shortcuts and Concept Rehearsal ICML 2023
REPLACE: A Logical Framework for Combining Collective Entity Resolution and Repairing IJCAI 2023
Uncovering Implicit Inferences for Improved Relational Argument Mining EACL 2023
Optimizing the Computation of Overriding in DLN (Extended Abstract) IJCAI 2023
Adaptive Path-Memory Network for Temporal Knowledge Graph Reasoning IJCAI 2023