conftrace_
← Knowledge & Reasoning
Knowledge & Reasoning ›

Reasoning

2,428 papers (30 classified directly here)

Subtopics

Causal Inference (936) Automated Reasoning (843) Formal Methods (351) Automated Planning (288) Graph Embeddings (215)

Papers per year

11
11
272
299
'10
'15
'20
'25

Papers (including subtopics)

Apparently Irrational Choice as Optimal Sequential Decision Making AAAI 2021
Deductive Learning for Weakly-Supervised 3D Human Pose Estimation via Uncalibrated Cameras AAAI 2021
Imagine, Reason and Write: Visual Storytelling with Graph Knowledge and Relational Reasoning AAAI 2021
A SAT-based Resolution of Lam's Problem AAAI 2021
Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty AAAI 2021
Satisfiability and Algorithms for Non-uniform Random k-SAT AAAI 2021
Visual Pivoting for (Unsupervised) Entity Alignment AAAI 2021
Dynamic Knowledge Graph Alignment AAAI 2021
Generalized Relation Learning with Semantic Correlation Awareness for Link Prediction AAAI 2021
Conversational Neuro-Symbolic Commonsense Reasoning AAAI 2021
Differentiable Inductive Logic Programming for Structured Examples AAAI 2021
Adaptive Teaching of Temporal Logic Formulas to Preference-based Learners AAAI 2021
Automated Storytelling via Causal, Commonsense Plot Ordering AAAI 2021
Automatic Generation of Flexible Plans via Diverse Temporal Planning AAAI 2021
BT Expansion: a Sound and Complete Algorithm for Behavior Planning of Intelligent Robots with Behavior Trees AAAI 2021
Argumentation Frameworks with Strong and Weak Constraints: Semantics and Complexity AAAI 2021
A General Setting for Gradual Semantics Dealing with Similarity AAAI 2021
Equivalent Causal Models AAAI 2021
The Counterfactual NESS Definition of Causation AAAI 2021
Conditional Inference under Disjunctive Rationality AAAI 2021
Algebra of Modular Systems: Containment and Equivalence AAAI 2021
Contextual Conditional Reasoning AAAI 2021
Topology-Aware Correlations Between Relations for Inductive Link Prediction in Knowledge Graphs AAAI 2021
The Complexity Landscape of Claim-Augmented Argumentation Frameworks AAAI 2021
SMT-based Safety Checking of Parameterized Multi-Agent Systems AAAI 2021