Formal compiler construction in a logical framework.

Jason Hickey Aleksey Nogin

Published in: High. Order Symb. Comput. (2006)

Keyphrases

logical framework
inference rules
belief revision
epistemic logic
reasoning tasks
possibilistic logic
higher order logic
linear logic
programming language
learning algorithm
coalition logic
general purpose
formal methods
decision theory
temporal reasoning
training data
machine learning