Reasoning and Rewriting with Set-Relations I: Ground Completeness.

Valentinas Kriauciukas Michal Walicki

Published in: CSL (1994)

Keyphrases

small number
probability distribution
definite clause
automated reasoning
data sets
feature set
reasoning tasks