Propositional logic for validating software object interrelationships.

Patrick O. Bobbie Joseph E. Urban

Published in: ICTAI (1991)

Keyphrases

propositional logic
quantified boolean formulae
belief revision
first order logic
possibilistic logic
lattice theory
proof procedure
davis putnam
artificial intelligence
complex objects
horn logic