Sign in

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

Zhibo ChenFrank Pfenning
Published in: FoSSaCS (2023)
Keyphrases
  • logical framework
  • higher order
  • higher order logic
  • inference rules
  • reasoning tasks
  • decision making
  • pairwise
  • markov random field
  • belief revision
  • coalition logic
  • expert systems
  • theoretical framework
  • linear logic