Refinement Concepts Formalized in Higher Order Logic.

Ralph-Johan Back Joakim von Wright

Published in: Programming Concepts and Methods (1990)

Keyphrases

higher order logic
higher order
theorem prover
conditional logic
logical framework
graphical models
concept learning
machine learning
high level
feature space
data representation
automated reasoning