Semantical and computational aspects of Horn approximations.

Marco Cadoli Francesco Scarcello

Published in: Artif. Intell. (2000)

Keyphrases

np hard
closed form
knowledge compilation
genetic algorithm
propositional logic
horn theories
database
web services
case study
least squares
efficient computation
classical logic