Explaining SLDNF resolution with non-normal defaults.

Marco A. Casanova Andrea S. Hemerly Ramiro A. de T. Guerreiro

Published in: IBM J. Res. Dev. (1992)

Keyphrases

default logic
consequence finding
high resolution
default reasoning
case study
low resolution
partial deduction
database
real world
data mining
database systems
hidden markov models
higher resolution
truth maintenance systems