← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

Logical Inference for Counting on Semi-structured Tables ACL 2022
Learning from Missing Relations: Contrastive Learning with Commonsense Knowledge Graphs for Commonsense Inference ACL 2022
Abstraction for Non-Ground Answer Set Programs (Extended Abstract) IJCAI 2022
Simulating Sets in Answer Set Programming IJCAI 2022
A Multivariate Complexity Analysis of Qualitative Reasoning Problems IJCAI 2022
KG-CRuSE: Recurrent Walks over Knowledge Graph for Explainable Conversation Reasoning using Semantic Embeddings ACL 2022
Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae AAAI 2022
Knowledge Compilation Meets Logical Separability AAAI 2022
Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula AAAI 2022
Neuro-Symbolic Inductive Logic Programming with Logical Neural Networks AAAI 2022
On Paraconsistent Belief Revision in LP AAAI 2022
Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement AAAI 2022
Using Conditional Independence for Belief Revision AAAI 2022
Weakly Supervised Neural Symbolic Learning for Cognitive Tasks AAAI 2022
Resolving Inconsistencies in Simple Temporal Problems: A Parameterized Approach AAAI 2022
TAG: Learning Timed Automata from Logs AAAI 2022
Fuzzy Logic Based Logical Query Answering on Knowledge Graphs AAAI 2022
ASP-Based Declarative Process Mining AAAI 2022
First Order Rewritability in Ontology-Mediated Querying in Horn Description Logics AAAI 2022
Heterogeneous-Graph Reasoning and Fine-Grained Aggregation for Fact Checking ACL 2022
Neural-Symbolic Entangled Framework for Complex Query Answering NIPS 2022
Characterizing the Program Expressive Power of Existential Rule Languages AAAI 2022
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf Is 2EXPTIME-Hard AAAI 2022
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic AAAI 2022
Rushing and Strolling among Answer Sets – Navigation Made Easy AAAI 2022