A cost-aware logical framework.

Yue Niu Jonathan Sterling Harrison Grodin Robert Harper

Published in: CoRR (2021)

Keyphrases

logical framework
inference rules
belief revision
reasoning tasks
possibilistic logic
epistemic logic
linear logic
normative systems
higher order logic
decision making
knowledge base
training data
multi agent systems
relational databases
software engineering
argumentation frameworks