Towards Better Out-of-Distribution Generalization of Neural Algorithmic Reasoning Tasks.
Sadegh MahdaviKevin SwerskyThomas KipfMilad HashemiChristos ThrampoulidisRenjie LiaoPublished in: CoRR (2022)
Keyphrases
- reasoning tasks
- description logics
- logic programming
- temporal reasoning
- automated reasoning
- situation calculus
- event calculus
- answer set programming
- neural network
- network architecture
- abductive reasoning
- bucket elimination
- database
- reasoning problems
- random variables
- logic programs
- probability distribution
- quantified boolean formulas
- general purpose
- knowledge representation
- probabilistic reasoning
- objective function
- fuzzy description logics