Evidence Algorithm and Sequent Logical Inference Search.

Anatoli Degtyarev Alexander V. Lyaletski Marina K. Morokhovets

Published in: LPAR (1999)

Keyphrases

search space
learning algorithm
search strategy
optimal solution
np hard
search algorithm
databases
domain knowledge