Login / Signup
Automation of Boolos' Curious Inference in Isabelle/HOL.
Christoph Benzmüller
David Fuenmayor
Alexander Steen
Geoff Sutcliffe
Published in:
Arch. Formal Proofs (2022)
Keyphrases
</>
theorem prover
natural deduction
first order logic
theorem proving
higher order logic
inference process
inference rules
inference engine
data sets
knowledge based systems
probabilistic inference
bayesian networks
formal methods
neural network
genetic algorithm
bayesian model
cut elimination