← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey IJCAI 2021
Analogical Proportions: Why They Are Useful in AI IJCAI 2021
Defining the Semantics of Abstract Argumentation Frameworks through Logic Programs and Partial Stable Models (Extended Abstract) IJCAI 2021
Comparing Weak Admissibility Semantics to their Dung-style Counterparts (Extended Abstract) IJCAI 2021
Mining EL Bases with Adaptable Role Depth AAAI 2021
Automatic Fake News Detection: Are Models Learning to Reason? ACL 2021
Conditional Inference under Disjunctive Rationality AAAI 2021
Verifiable Machine Ethics in Changing Contexts AAAI 2021
Contextual Conditional Reasoning AAAI 2021
Strategyproof Randomized Social Choice for Restricted Sets of Utility Functions IJCAI 2021
Fast Abductive Learning by Similarity-based Consistency Optimization NIPS 2021
Neural-Symbolic Commonsense Reasoner with Relation Predictors IJCNLP 2021
ConE: Cone Embeddings for Multi-Hop Reasoning over Knowledge Graphs NIPS 2021
SQALER: Scaling Question Answering by Decoupling Multi-Hop and Logical Reasoning NIPS 2021
Imagine, Reason and Write: Visual Storytelling with Graph Knowledge and Relational Reasoning AAAI 2021
Knowledge-Base Degrees of Inconsistency: Complexity and Counting AAAI 2021
Quantification of Resource Production Incompleteness AAAI 2021
On Exploiting Hitting Sets for Model Reconciliation AAAI 2021
Focused Inference and System P AAAI 2021
Differentiable Open-Ended Commonsense Reasoning NAACL 2021
Probabilistic Entity Representation Model for Reasoning over Knowledge Graphs NIPS 2021
Combining Machine Learning & Reasoning for Biodiversity Data Intelligence AAAI 2021
An Automated Engineering Assistant: Learning Parsers for Technical Drawings AAAI 2021
On the Challenges of Evaluating Compositional Explanations in Multi-Hop Inference: Relevance, Completeness, and Expert Ratings EMNLP 2021
Neural Natural Logic Inference for Interpretable Question Answering EMNLP 2021