Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete.

Published in: FoSSaCS (2003)

Keyphrases

set of inference rules
inference rules
databases
artificial intelligence
rule sets
logical rules
information systems
decision making
case study
association rules
association rule mining
first order logic
causal models
rule based systems
rule discovery
rule generation