Sign in

A Logical Framework with Higher-Order Rational (Circular) Terms.

Zhibo ChenFrank 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