The Markgraf Karl Refutation Procedure.

Hans Jürgen Ohlbach Jörg H. Siekmann

Published in: Computational Logic - Essays in Honor of Alan Robinson (1991)

Keyphrases

databases
multiscale
cooperative
inductive inference
image segmentation
feature space
information technology
iterative procedure