MTR: A Dataset Fusing Inductive, Deductive, and Defeasible Reasoning.

Yitian Li Jidong Tian Caoyun Fan Wenqing Chen Hao He Yaohui Jin

Published in: ACL (Findings) (2023)

Keyphrases

defeasible reasoning
defeasible logic
deductive reasoning
functional programs
nonmonotonic reasoning
legal reasoning
formal semantics
argumentation systems
conditional logic
knowledge representation
object oriented
machine learning
default reasoning
nonmonotonic logics
fine grained
model checking