Negation as Failure as Resolution.
Vijay ChandruSuman RoyRamesh SubrahmanyamPublished in: Constraints An Int. J. (1998)
Keyphrases
- logic programming
- logic programs
- consequence finding
- high resolution
- low resolution
- conflict detection
- root cause
- sampling rate
- website
- failure rate
- failure detection
- failure prediction
- hidden markov models
- expert systems
- deductive databases
- fixpoint
- computer vision
- information retrieval
- real world
- containment of conjunctive queries
- databases