A practical propositional knowledge base revision algorithm.

Xuehong Tao Wei Sun Shaohan Ma

Published in: J. Comput. Sci. Technol. (1997)

Keyphrases

dynamic programming
objective function
learning algorithm
computational complexity
combinatorial optimization
randomly generated
upper and lower bounds