Automatic verification of reduction techniques in Higher Order Logic.

Sa'ed Abed Otmane Aït Mohamed Ghiath Al Sammane

Published in: Formal Aspects Comput. (2013)

Keyphrases

higher order logic
higher order
theorem prover
conditional logic
logical framework
data representation
machine learning
bayesian networks
high dimensional
belief revision
nonmonotonic reasoning
default reasoning
reasoning tasks