← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

COINS: Dynamically Generating COntextualized Inference Rules for Narrative Story Completion ACL 2021
Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic IJCAI 2021
Inconsistency Measurement for Paraconsistent Inference IJCAI 2021
Relational Gating for ''What If'' Reasoning IJCAI 2021
An Automated Framework for Supporting Data-Governance Rule Compliance in Decentralized MIMO Contexts IJCAI 2021
A Description Logic for Analogical Reasoning IJCAI 2021
Mental Actions and Explainability in Kripkean Semantics: What Else do I Know? (Student Abstract) AAAI 2021
Automated Reasoning and Learning for Automated Payroll Management AAAI 2021
Online Action Recognition AAAI 2021
Revealing Hidden Preconditions and Effects of Compound HTN Planning Tasks – A Complexity Analysis AAAI 2021
On-the-fly Synthesis for LTL over Finite Traces AAAI 2021
Parameterized Logical Theories AAAI 2021
Explaining Answers with Entailment Trees EMNLP 2021
Great Service! Fine-grained Parsing of Implicit Arguments IJCNLP 2021
TextGraphs 2021 Shared Task on Multi-Hop Inference for Explanation Regeneration NAACL 2021
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization IJCAI 2021
On Belief Change for Multi-Label Classifier Encodings IJCAI 2021
Abductive Knowledge Induction from Raw Data IJCAI 2021
Improved Algorithms for Allen's Interval Algebra: a Dynamic Programming Approach IJCAI 2021
Decomposition-Guided Reductions for Argumentation and Treewidth IJCAI 2021
Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies IJCAI 2021
Updating the Belief Promotion Operator IJCAI 2021
Compositional Neural Logic Programming IJCAI 2021
Synthesizing Good-Enough Strategies for LTLf Specifications IJCAI 2021
Explanation in Constraint Satisfaction: A Survey IJCAI 2021