The Notion of Floundering for SLDNF-Resolution Revisited

Jean-Hugues Réty

Published in: PLILP (1995)

Keyphrases

bayesian networks
low resolution
learning algorithm
artificial intelligence
database systems
high resolution
real time
neural network
web pages
image processing
image sequences
data structure
formal model
valued logic
consequence finding