Research Explorer
Papers
Trends
Conferences
Explore
Authors
Topics
Keywords
Papers
Trends
Conferences
Explore
Authors
Topics
Keywords
Achievements
About
Methodology
← Reasoning
Knowledge & Reasoning
›
Reasoning
›
Automated Reasoning
840 directly classified papers
Papers per year
2007: 3
2008: 4
2010: 3
2011: 5
2012: 3
2013: 7
2014: 3
2016: 1
2017: 45
2018: 49
2019: 76
2020: 83
2021: 96
2022: 105
2023: 117
2024: 115
2025: 118
2026: 7
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
<
1
…
26
27
28
…
34
>