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)

A Simple Framework for Cognitive Planning 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
ChronoR: Rotation Based Temporal Knowledge Graph Embedding 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
Testing Independence Between Linear Combinations for Causal Discovery AAAI 2021
A Theory of Independent Mechanisms for Extrapolation in Generative Models AAAI 2021
DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning AAAI 2021
Improving Causal Discovery By Optimal Bayesian Network Learning AAAI 2021
Raven's Progressive Matrices Completion with Latent Gaussian Process Priors AAAI 2021
Meta Learning for Causal Direction AAAI 2021
Learning Adjustment Sets from Observational and Limited Experimental Data AAAI 2021
Verifiable Machine Ethics in Changing Contexts AAAI 2021
Landmark Generation in HTN Planning AAAI 2021
Revealing Hidden Preconditions and Effects of Compound HTN Planning Tasks – A Complexity Analysis AAAI 2021
Faster and Better Simple Temporal Problems AAAI 2021
Planning with Learned Object Importance in Large Problem Instances using Graph Neural Networks AAAI 2021
Symbolic Search for Oversubscription Planning AAAI 2021
Online Action Recognition AAAI 2021