← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

Evolutionary Learning of Existential Rules IJCAI 2019
Complexity of Fundamental Problems in Probabilistic Abstract Argumentation: Beyond Independence (Extended Abstract) IJCAI 2019
A Replication Study of Semantics in Argumentation IJCAI 2019
Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies IJCAI 2019
Comparing Options with Argument Schemes Powered by Cancellation IJCAI 2019
Model-Based Diagnosis with Multiple Observations IJCAI 2019
Mixed-World Reasoning with Existential Rules under Active-Domain Semantics IJCAI 2019
Learning to Explain: Answering Why-Questions via Rephrasing ACL 2019
Decompositional Argument Mining: A General Purpose Approach for Argument Graph Construction ACL 2019
How Well Do Machines Perform on IQ tests: a Comparison Study on a Large-Scale Dataset IJCAI 2019
Anytime Bottom-Up Rule Learning for Knowledge Graph Completion IJCAI 2019
DatalogMTL: Computational Complexity and Expressive Power IJCAI 2019
Incorporating Graph Attention Mechanism into Knowledge Graph Reasoning Based on Deep Reinforcement Learning IJCNLP 2019
QuaRTz: An Open-Domain Dataset of Qualitative Relationship Questions EMNLP 2019
When Choosing Plausible Alternatives, Clever Hans can be Clever EMNLP 2019
On the Responsibility for Undecisiveness in Preferred and Stable Labellings in Abstract Argumentation (Extended Abstract) IJCAI 2019
Simple Conditionals with Constrained Right Weakening IJCAI 2019
Chasing Sets: How to Use Existential Rules for Expressive Reasoning IJCAI 2019
Efficient Search-Based Weighted Model Integration UAI 2019
Cross-document coreference: An approach to capturing coreference without context EMNLP 2019
CLUTRR: A Diagnostic Benchmark for Inductive Reasoning from Text IJCNLP 2019
Program Synthesis and Semantic Parsing with Learned Code Idioms NIPS 2019
Representation Learning with Ordered Relation Paths for Knowledge Graph Completion IJCNLP 2019
Logical Explanations for Deep Relational Machines Using Relevance Information JMLR 2019
Generating and Sampling Orbits for Lifted Probabilistic Inference UAI 2019