Login / Signup
ESPRIT: Explaining Solutions to Physical Reasoning Tasks.
Nazneen Fatema Rajani
Rui Zhang
Yi Chern Tan
Stephan Zheng
Jeremy Weiss
Aadit Vyas
Abhijit Gupta
Caiming Xiong
Richard Socher
Dragomir R. Radev
Published in:
CoRR (2020)
Keyphrases
</>
reasoning tasks
description logics
logic programming
automated reasoning
temporal reasoning
situation calculus
answer set programming
abductive reasoning
event calculus
reasoning problems
data mining
artificial intelligence
software engineering
quantified boolean formulas