Sign in

A cost-aware logical framework.

Yue NiuJonathan SterlingHarrison GrodinRobert Harper
Published in: Proc. ACM Program. Lang. (2022)
Keyphrases
  • logical framework
  • inference rules
  • reasoning tasks
  • belief revision
  • normative systems
  • linear logic
  • possibilistic logic
  • epistemic logic
  • higher order logic
  • artificial intelligence
  • expert systems