
Termination of logic programs with imperfect information: applications and query procedure
Keywords: استدلال احتمالی; Logic programming; Probabilistic reasoning; Fuzzy reasoning; Termination; Tabulation proof procedures