Hybridizing a Logical Framework.

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

Keyphrases

logical framework
inference rules
belief revision
reasoning tasks
possibilistic logic
higher order logic
epistemic logic
similarity search
first order logic
linear logic
description logics
multi dimensional
logic programs
argumentation frameworks