Deep Non-Monotonic Reasoning for Visual Abstract Reasoning Tasks.
Yuan YangDeepayan SanyalJoel MichelsonJames AinoosonMaithilee KundaPublished in: CoRR (2023)
Keyphrases
- reasoning tasks
- description logics
- logic programming
- automated reasoning
- temporal reasoning
- answer set programming
- event calculus
- logical framework
- low level
- high level
- visual information
- situation calculus
- bucket elimination
- reasoning problems
- visual features
- logic programs
- abductive reasoning
- quantified boolean formulas
- image retrieval
- qualitative and quantitative
- parallel processing
- upper bound
- database