Rule randomization for propositional logic-based workflow verification.
Qianhui LiangStuart Harvey RubinPublished in: IRI (2008)
Keyphrases
- propositional logic
- model checking
- first order logic
- privacy preserving
- workflow systems
- knowledge representation
- classification rules
- verification method
- document management
- business processes
- petri net model
- rule learner
- probabilistic logic
- rule learning
- face verification
- petri net
- control flow
- knowledge compilation
- workflow management
- multi valued
- formal verification
- workflow management systems
- data flow