Representing Unification in a Logical Framework.

Jason Brown Lincoln A. Wallen

Published in: UNIF (1995)

Keyphrases

logical framework
inference rules
belief revision
reasoning tasks
theorem proving
epistemic logic
higher order logic
theorem prover
possibilistic logic
linear logic
high level
probabilistic model
sufficient conditions
visual features
temporal reasoning