A new intelligent backtracking scheme for Prolog: a summary of results.
Jia-Huai YouBrian WongChung-Sea LawPublished in: TAI (1989)
Keyphrases
- knowledge base
- intelligent systems
- knowledge representation
- dependency directed backtracking
- database
- detection scheme
- decision support
- programming language
- expert systems
- computational intelligence
- logic programming
- video data
- constraint satisfaction
- theorem proving
- classification scheme
- data mining
- secret sharing scheme
- neural network