Executing Higher Order Logic.

Stefan Berghofer Tobias Nipkow

Published in: TYPES (2000)

Keyphrases

higher order logic
higher order
theorem prover
conditional logic
logical framework
inference rules
machine learning
object oriented
dimensionality reduction
modal logic
nonmonotonic reasoning