Login / Signup
JFLD: A Japanese Benchmark for Deductive Reasoning Based on Formal Logic.
Terufumi Morishita
Atsuki Yamaguchi
Gaku Morio
Hikaru Tomonari
Osamu Imaichi
Yasuhiro Sogawa
Published in:
LREC/COLING (2024)
Keyphrases
</>
formal logic
deductive reasoning
predicate logic
knowledge representation
knowledge base
artificial intelligence
description logics
logic programming
formal methods
information retrieval
theoretical framework
general purpose