2 papers
cs.CV2023
Abstract Visual Reasoning: An Algebraic Approach for Solving Raven's Progressive Matrices
Jingyi Xu, Tushar Vaidya, Yufei Wu +3
We introduce algebraic machine reasoning, a new reasoning framework that is well-suited for abstract reasoning. Effectively, algebraic machine reasoning reduces the difficult proce…
cs.FL2020
Dependently Typed Knowledge Graphs
Zhangsheng Lai, Aik Beng Ng, Liang Ze Wong +2
Reasoning over knowledge graphs is traditionally built upon a hierarchy of languages in the Semantic Web Stack. Starting from the Resource Description Framework (RDF) for knowledge…