Refinement Concepts Formalised in Higher Order Logic.

Ralph-Johan Back Joakim von Wright

Published in: Formal Aspects Comput. (1990)

Keyphrases

higher order logic
higher order
theorem prover
conditional logic
machine learning
concept learning
logical framework
high level
constraint satisfaction
mental states