Isabelle/Circus.

Abderrahmane Feliachi Burkhart Wolff Marie-Claude Gaudel

Published in: Arch. Formal Proofs (2012)

Keyphrases

theorem prover
natural deduction
machine learning
expert systems
first order logic
distance function
probabilistic inference