Login / Signup
Fact-Checking Complex Claims with Program-Guided Reasoning.
Liangming Pan
Xiaobao Wu
Xinyuan Lu
Anh Tuan Luu
William Yang Wang
Min-Yen Kan
Preslav Nakov
Published in:
CoRR (2023)
Keyphrases
</>
knowledge base
database
complex systems
complex data
automated reasoning
reasoning systems
real world
case study
high level
artificial intelligence
search engine
knowledge representation
description logics
test cases
complex environments
consistency checking