Sign in
A Logical Framework with Higher-Order Rational (Circular) Terms.
Zhibo Chen
Frank Pfenning
Published in:
CoRR (2022)
Keyphrases
</>
logical framework
higher order
higher order logic
inference rules
pairwise
belief revision
reinforcement learning
case based reasoning
qualitative and quantitative
reasoning tasks