Open Higher-Order Logic (Long Version).

Ugo Dal Lago Francesco Gavazzo Alexis Ghyselen

Published in: CoRR (2022)

Keyphrases

higher order logic
higher order
theorem prover
logical framework
conditional logic
machine learning
feature extraction
expert systems
data model