Verification of Unstructured Workflows via Propositional Logic.

Qianhui Althea Liang J. Leon Zhao

Published in: ACIS-ICIS (2008)

Keyphrases

propositional logic
grid workflow
belief revision
first order logic
lattice theory
model checking
davis putnam
possibilistic logic
quantified boolean formulae
satisfiability testing
proof procedure
knowledge base
temporal logic
truth maintenance systems
valued logic