Extending Polynomiality to a Class of Non-clausal Many-Valued Horn-Like Formulas.

Edgar Altamirano Gonzalo Escalada-Imaz

Published in: ECSQARU (2001)

Keyphrases

horn clauses
conceptual clustering
first order logic
constraint propagation
data model
inference rules
theorem proving
np hard
temporal resolution