← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

Logics for Sizes with Union or Intersection AAAI 2020
Automatic Verification of Liveness Properties in the Situation Calculus AAAI 2020
Deciding Acceptance in Incomplete Argumentation Frameworks AAAI 2020
Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution AAAI 2020
Learning Weighted Model Integration Distributions AAAI 2020
Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract) AAAI 2020
Graph Representations for Higher-Order Logic and Theorem Proving AAAI 2020
Query Rewriting for Ontology-Mediated Conditional Answers AAAI 2020
Lifting Preferences over Alternatives to Preferences over Sets of Alternatives: The Complexity of Recognizing Desirable Families of Sets AAAI 2020
Answering Conjunctive Queries with Inequalities in DL-Liteℛ AAAI 2020
Model-Based Diagnosis with Uncertain Observations AAAI 2020
Exact yet Efficient Graph Parsing, Bi-directional Locality and the Constructivist Hypothesis ACL 2020
Discern: Discourse-Aware Entailment Reasoning Network for Conversational Machine Reading EMNLP 2020
Joint Constrained Learning for Event-Event Relation Extraction EMNLP 2020
Learning Collaborative Agents with Rule Guidance for Knowledge Graph Reasoning EMNLP 2020
Few-Shot Multi-Hop Relation Reasoning over Knowledge Bases EMNLP 2020
QA2Explanation: Generating and Evaluating Explanations for Question Answering Systems over Knowledge Graph EMNLP 2020
Differentiable Reasoning on Large Knowledge Bases and Natural Language AAAI 2020
Efficient Model-Based Diagnosis of Sequential Circuits AAAI 2020
Measuring Systematic Generalization in Neural Proof Generation with Transformers NIPS 2020
Closing the Loop: Bringing Humans into Empirical Computational Social Choice and Preference Reasoning IJCAI 2020
Checking Chase Termination over Ontologies of Existential Rules with Equality AAAI 2020
Least General Generalizations in Description Logic: Verification and Existence AAAI 2020
Query Answering with Guarded Existential Rules under Stable Model Semantics AAAI 2020
Reasoning on Knowledge Graphs with Debate Dynamics AAAI 2020