A Note of the Complexity of the Satisfiability of Modal Horn Clauses.

Luis Fariñas del Cerro Martti Penttonen

Published in: J. Log. Program. (1987)

Keyphrases

horn clauses
computational complexity
inference rules
first order logic
boolean formula
logic programs
database
np complete
satisfiability problem
machine learning
feature selection
general purpose
inductive logic programming
database queries