On the Generalized Predicate Completion of Non-Horn Programs.

Phan Minh Dung Kanchana Kanchanasut

Published in: NACLP (1989)

Keyphrases

np hard
horn clauses
propositional logic
genetic algorithm
first order logic
intermediate level
information systems
computer programs
machine learning
computational complexity
expert systems
information technology
knowledge representation
fixpoint