The method of synthesis of derivability conditions for Horn formulas and some other formulas.

Stanislav N. Vassilyev

Published in: SMC (1998)

Keyphrases

sufficient conditions
relational databases
similarity measure
prior knowledge
object oriented
natural language processing
horn formulas