Applying Propositional Logic to Workflow Verification.

Henry H. Bi J. Leon Zhao

Published in: Inf. Technol. Manag. (2004)

Keyphrases

propositional logic
first order logic
belief revision
quantified boolean formulae
lattice theory
possibilistic logic
model checking
propositional formulas
orders of magnitude
petri net
belief change
davis putnam
artificial intelligence
valued logic
horn logic