← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

QUAREL: A Dataset and Models for Answering Questions about Qualitative Relationships AAAI 2019
Exploring Knowledge Graphs in an Interpretable Composite Approach for Text Entailment AAAI 2019
Learning by Abstraction: The Neural State Machine NIPS 2019
Quantum Embedding of Knowledge for Reasoning NIPS 2019
Identifying Bottlenecks in Practical SAT-Based Model Finding for First-Order Logic Ontologies with Datasets AAAI 2019
HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving ICML 2019
Automated Rule Base Completion as Bayesian Concept Induction AAAI 2019
On Limited Conjunctions and Partial Features in Parameter-Tractable Feature Logics AAAI 2019
Complexity of Inconsistency-Tolerant Query Answering in Datalog+/– under Cardinality-Based Repairs AAAI 2019
Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings AAAI 2019
Complexity of Abstract Argumentation under a Claim-Centric View AAAI 2019
On Structured Argumentation with Conditional Preferences AAAI 2019
A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving AAAI 2019
Approximate Stream Reasoning with Metric Temporal Logic under Uncertainty AAAI 2019
Safe Partial Diagnosis from Normal Observations AAAI 2019
Strong Equivalence for Epistemic Logic Programs Made Easy AAAI 2019
Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability AAAI 2019
Counting Complexity for Reasoning in Abstract Argumentation AAAI 2019
Partial Awareness AAAI 2019
SAT-Based Explicit LTLf Satisfiability Checking AAAI 2019
Belief Change and Non-Monotonic Reasoning Sans Compactness AAAI 2019
Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach AAAI 2019
Computing Argumentative Explanations in Bipolar Argumentation Frameworks AAAI 2019
Ontology-Mediated Query Answering over Log-Linear Probabilistic Data AAAI 2019
Multi-hop Reading Comprehension through Question Decomposition and Rescoring ACL 2019