Login / Signup
Logic Unveils Truth, While Disguise Obscures It: Transition Logic Augmented Response Selection for Multi-Turn Dialogue.
Tingchen Fu
Xueliang Zhao
Lemao Liu
Rui Yan
Published in:
EMNLP (Findings) (2023)
Keyphrases
</>
truth values
predicate logic
logical framework
multi valued
logic programming
automated reasoning
sound and complete axiomatization
fuzzy logic
case study
information systems
modal logic
probabilistic logic
digital circuits
knowledge base
linear logic
proof theory
real time