Deductive closure.

Published in: Synth. (2012)

Keyphrases

object oriented
abductive inference
preprocessing
deductive reasoning
three dimensional
hypothesis formation
web services
special case
domain knowledge
probabilistic model
multiresolution
software engineering
fixed point
database language
database languages
objective function
multiscale