Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving.

Mélanie Jacquel Karim Berkani David Delahaye Catherine Dubois

Published in: SEFM (2011)

Keyphrases

automated theorem proving
theorem prover
theorem proving
answer set programming
production rules
logical rules
classical logic
association rules
rule sets
first order logic
decision rules
neural network
inference rules
background knowledge
knowledge representation
bayesian networks
training data
data mining