Using Constraints to Verify Properties of Rule Programs.

Bruno Berstel Michel Leconte

Published in: ICST Workshops (2010)

Keyphrases

constraint sets
desirable properties
constrained optimization
imperative programs
semantic properties
convex constraints
real time
machine learning
knowledge base
expert systems
association rules
evolutionary algorithm
first order logic
classification rules
linear constraints
topological properties