← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

Learning to Complement Humans IJCAI 2020
Cone Semantics for Logics with Negation IJCAI 2020
Reasoning About Inconsistent Formulas IJCAI 2020
On Robustness in Qualitative Constraint Networks IJCAI 2020
Inconsistency Measurement for Improving Logical Formula Clustering IJCAI 2020
Query Answering for Existential Rules via Efficient Datalog Rewriting IJCAI 2020
Learning Large Logic Programs By Going Beyond Entailment IJCAI 2020
Complete Bottom-Up Predicate Invention in Meta-Interpretive Learning IJCAI 2020
IKBT: Solving Symbolic Inverse Kinematics with Behavior Tree (Extended Abstract) IJCAI 2020
PuzzLing Machines: A Challenge on Learning From Small Data ACL 2020
Query Graph Generation for Answering Multi-hop Complex Questions from Knowledge Bases ACL 2020
Explicit Memory Tracker with Coarse-to-Fine Reasoning for Conversational Machine Reading ACL 2020
Explanations for Inconsistency-Tolerant Query Answering under Existential Rules AAAI 2020
Resilient Logic Programs: Answer Set Programs Challenged by Ontologies AAAI 2020
Relatedness and TBox-Driven Rule Learning in Large Knowledge Bases AAAI 2020
A Framework for Measuring Information Asymmetry AAAI 2020
Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs AAAI 2020
Improving Multi-hop Question Answering over Knowledge Graphs using Knowledge Base Embeddings ACL 2020
JEC-QA: A Legal-Domain Question Answering Dataset AAAI 2020
Probabilistic Inference for Predicate Constraint Satisfaction AAAI 2020
Analysis of One-to-One Matching Mechanisms via SAT Solving: Impossibilities for Universal Axioms AAAI 2020
Revisiting the Foundations of Abstract Argumentation – Semantics Based on Weak Admissibility and Weak Defense AAAI 2020
Forgetting an Argument AAAI 2020
Structural Decompositions of Epistemic Logic Programs AAAI 2020
Aggregation of Perspectives Using the Constellations Approach to Probabilistic Argumentation AAAI 2020