A Model Generation Theorem Prover in KL1 Using a Ramified -Stack Algorithm.

Hiroshi Fujita Ryuzo Hasegawa

Published in: ICLP (1991)

Keyphrases

dynamic programming
cost function
theorem prover
computational complexity
preprocessing
search space
learning algorithm
detection algorithm
np hard
objective function
simulated annealing
matching algorithm
k means
active learning
probabilistic model
worst case
particle swarm optimization
training examples