Signature Compilation for the Edinburgh Logical Framework.

Michael Zeller Aaron Stump Morgan Deters

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

logical framework
inference rules
belief revision
reasoning tasks
lecture notes
higher order logic
possibilistic logic
linear logic
expert systems
signature scheme
training data
optimal policy
epistemic logic
normative systems