← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

Complexity of Reasoning with Cardinality Minimality Conditions AAAI 2023
Empirical Investigation of Neural Symbolic Reasoning Strategies EACL 2023
kogito: A Commonsense Knowledge Inference Toolkit EACL 2023
Uncovering Implicit Inferences for Improved Relational Argument Mining EACL 2023
THiFLY Research at SemEval-2023 Task 7: A Multi-granularity System for CTR-based Textual Entailment and Evidence Retrieval SEMEVAL 2023
Simplified Risk-aware Decision Making with Belief-dependent Rewards in Partially Observable Domains (Extended Abstract) IJCAI 2023
Adaptive Path-Memory Network for Temporal Knowledge Graph Reasoning IJCAI 2023
Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic ICML 2023
TFLEX: Temporal Feature-Logic Embedding Framework for Complex Reasoning over Temporal Knowledge Graph NIPS 2023
Causal de Finetti: On the Identification of Invariant Causal Structure in Exchangeable Data NIPS 2023
Learning from Both Structural and Textual Knowledge for Inductive Knowledge Graph Completion NIPS 2023
Explaining Answer-Set Programs with Abstract Constraint Atoms IJCAI 2023
BoardgameQA: A Dataset for Natural Language Reasoning with Contradictory Information NIPS 2023
Reasoning over Hierarchical Question Decomposition Tree for Explainable Question Answering ACL 2023
Implementing Bounded Revision via Lexicographic Revision and C-revision AAAI 2023
On Undisputed Sets in Abstract Argumentation AAAI 2023
Soft-Unification in Deep Probabilistic Logic NIPS 2023
Relative Inconsistency Measures for Indefinite Databases with Denial Constraints IJCAI 2023
Differentiable Neuro-Symbolic Reasoning on Large-Scale Knowledge Graphs NIPS 2023
Relational Program Synthesis with Numerical Reasoning AAAI 2023
Neurosymbolic Reasoning and Learning with Restricted Boltzmann Machines AAAI 2023
Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers AAAI 2023
A*Net: A Scalable Path-based Reasoning Approach for Knowledge Graphs NIPS 2023
Complex Query Answering on Eventuality Knowledge Graph with Implicit Logical Constraints NIPS 2023
RESIN-EDITOR: A Schema-guided Hierarchical Event Graph Visualizer and Editor EMNLP 2023