A cost-aware logical framework.

Yue Niu Jonathan Sterling Harrison Grodin Robert 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