Finding Logical Consequences Using Unskolemization.

Ritu Chadha David A. Plaisted

Published in: ISMIS (1993)

Keyphrases

real world
expert systems
machine learning
information systems
image processing
high quality
trade off
probabilistic logic