The Logic Traps in Evaluating Post-hoc Interpretations.

Yiming Ju Yuanzhe Zhang Zhao Yang Zhongtao Jiang Kang Liu Jun Zhao

Published in: CoRR (2021)

Keyphrases

post hoc
logic programming
modal logic
database
multi valued
predicate logic
proof theory
e learning
multi agent systems
computational properties
dynamic logic