Explaining SLDNF Resolution with Non-Normal Defaults.
Marco A. CasanovaAndrea S. HemerlyRamiro A. de T. GuerreiroPublished in: ICLP (1991)
Keyphrases
- high resolution
- default reasoning
- default logic
- databases
- consequence finding
- expressive power
- special case
- bayesian networks
- information systems
- data mining
- high quality
- knowledge base
- search algorithm
- natural language
- evolutionary algorithm
- decision making
- low resolution
- computer vision
- neural network
- default theories
- higher resolution
- temporal resolution
- real time