Reasoning Like Program Executors.

Xinyu Pi Qian Liu Bei Chen Morteza Ziyadi Zeqi Lin Yan Gao Qiang Fu Jian-Guang Lou Weizhu Chen

Published in: CoRR (2022)

Keyphrases

knowledge base
reasoning process
data sets
resource bounded
meta level
spatial reasoning
real time
reasoning tasks
proof theory
reasoning mechanism
computational properties
qualitative reasoning
model based diagnosis
logic programs
expert systems
database systems
high level
case study
decision making