conftrace_
← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

843 papers

Papers per year

3
83
118
'10
'20
'25

Papers

Contextual Conditional Reasoning AAAI 2021
The Complexity Landscape of Claim-Augmented Argumentation Frameworks AAAI 2021
Knowledge-Base Degrees of Inconsistency: Complexity and Counting AAAI 2021
Mining EL Bases with Adaptable Role Depth AAAI 2021
Parameterized Logical Theories AAAI 2021
Quantification of Resource Production Incompleteness AAAI 2021
Stratified Negation in Datalog with Metric Temporal Operators AAAI 2021
Strong Explanations in Abstract Argumentation AAAI 2021
On Exploiting Hitting Sets for Model Reconciliation AAAI 2021
Focused Inference and System P AAAI 2021
On-the-fly Synthesis for LTL over Finite Traces AAAI 2021
Raven's Progressive Matrices Completion with Latent Gaussian Process Priors AAAI 2021
Verifiable Machine Ethics in Changing Contexts AAAI 2021
Revealing Hidden Preconditions and Effects of Compound HTN Planning Tasks – A Complexity Analysis AAAI 2021
Online Action Recognition AAAI 2021
Adversarial Language Games for Advanced Natural Language Intelligence AAAI 2021
Combining Machine Learning & Reasoning for Biodiversity Data Intelligence AAAI 2021
Automated Reasoning and Learning for Automated Payroll Management AAAI 2021
An Automated Engineering Assistant: Learning Parsers for Technical Drawings AAAI 2021
Constraint-Driven Learning of Logic Programs AAAI 2021
Mental Actions and Explainability in Kripkean Semantics: What Else do I Know? (Student Abstract) AAAI 2021
A Semantic Parsing and Reasoning-Based Approach to Knowledge Base Question Answering AAAI 2021
COINS: Dynamically Generating COntextualized Inference Rules for Narrative Story Completion ACL 2021
Neural-Symbolic Solver for Math Word Problems with Auxiliary Tasks ACL 2021
Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning ACL 2021