The Complexity of Minimum Partial Truth Assignments and Implication in Negation-Free Formulae.

James P. Delgrande Arvind Gupta

Published in: Ann. Math. Artif. Intell. (1996)

Keyphrases

horn clauses
computational complexity
logic programs
space complexity
truth values
real time
machine learning
first order logic
decision problems
memory requirements
deductive databases