Bi-Abduction with Pure Properties for Specification Inference.

Minh-Thai Trinh Quang Loc Le Cristina David Wei-Ngan Chin

Published in: APLAS (2013)

Keyphrases

abductive reasoning
graphical models
information processing
business intelligence
desirable properties
specification language
database
background knowledge
decision theoretic
statistical dependencies