Towards Better Out-of-Distribution Generalization of Neural Algorithmic Reasoning Tasks.
Sadegh MahdaviKevin SwerskyThomas KipfMilad HashemiChristos ThrampoulidisRenjie LiaoPublished in: Trans. Mach. Learn. Res. (2023)
Keyphrases
- reasoning tasks
- description logics
- logic programming
- automated reasoning
- temporal reasoning
- situation calculus
- event calculus
- neural network
- answer set programming
- abductive reasoning
- network architecture
- reasoning problems
- artificial intelligence
- bucket elimination
- logic programs
- quantified boolean formulas
- random variables
- spatial information
- general purpose
- search algorithm
- database systems
- database
- fuzzy description logics