A Logical Framework with Explicit Conversions.

Herman Geuvers Freek Wiedijk

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

Keyphrases

logical framework
inference rules
belief revision
reasoning tasks
higher order logic
epistemic logic
possibilistic logic
linear logic
decision making
coalition logic
machine learning
learning algorithm