A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets.

Khalil Ghorbal Andrew Sogokon André Platzer

Published in: VMCAI (2015)

Keyphrases

logical rules
set theoretic
decision rules
rule sets
association rules
background knowledge
higher level
association rule mining
convex sets
hierarchical structure
data structure
concept lattice
theorem prover
production rules
business rules
rule discovery
higher order