Sign in
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:
ACL (2020)
Keyphrases
</>
reasoning tasks
description logics
automated reasoning
temporal reasoning
logic programming
answer set programming
situation calculus
event calculus
abductive reasoning
reasoning problems
optimal solution
quantified boolean formulas
knowledge representation
bucket elimination