Metis-based Paramodulation Tactic for HOL Light.

Michael Färber Cezary Kaliszyk

Published in: GCAI (2015)

Keyphrases

theorem proving
inference rules
theorem prover
graph partitioning
first order logic
natural deduction
light scattering
higher order logic
formal methods
data sets
expert systems
bayesian networks
case study
clustering framework
supplier selection
computer vision
artificial intelligence