conftrace_
← Core AI
Artificial Intelligence › Core AI ›

Reasoning

2,964 papers

Papers per year

7
14
131
832
'10
'15
'20
'25

Papers

A General Setting for Gradual Semantics Dealing with Similarity AAAI 2021
Conditional Inference under Disjunctive Rationality AAAI 2021
A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving AAAI 2021
Recursion in Abstract Argumentation is Hard --- On the Complexity of Semantics Based on Weak Admissibility AAAI 2021
The Complexity Landscape of Claim-Augmented Argumentation Frameworks AAAI 2021
SMT-based Safety Checking of Parameterized Multi-Agent Systems AAAI 2021
Parameterized Complexity of Logic-Based Argumentation in Schaefer's Framework AAAI 2021
Ranking Sets of Defeasible Elements in Preferential Approaches to Structured Argumentation: Postulates, Relations, and Characterizations AAAI 2021
GENSYNTH: Synthesizing Datalog Programs without Language Bias AAAI 2021
Focused Inference and System P AAAI 2021
Ordinal Historical Dependence in Graphical Event Models with Tree Representations AAAI 2021
Counterfactual Explanations for Oblique Decision Trees:Exact, Efficient Algorithms AAAI 2021
DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning AAAI 2021
Temporal-Logic-Based Reward Shaping for Continuing Reinforcement Learning Tasks AAAI 2021
Learning Generalized Relational Heuristic Networks for Model-Agnostic Planning AAAI 2021
Neural Sequence-to-grid Module for Learning Symbolic Rules AAAI 2021
Raven's Progressive Matrices Completion with Latent Gaussian Process Priors AAAI 2021
Hierarchical Relational Inference AAAI 2021
Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks AAAI 2021
Online Action Recognition AAAI 2021
On the Optimal Efficiency of A* with Dominance Pruning AAAI 2021
Learning Branching Heuristics for Propositional Model Counting AAAI 2021
Knowledge-driven Natural Language Understanding of English Text and its Applications AAAI 2021
Learning to Rationalize for Nonmonotonic Reasoning with Distant Supervision AAAI 2021
Paragraph-level Commonsense Transformers with Recurrent Memory AAAI 2021