Incorporating Generalization Heuristics into Verification of Prolog Programs.
Hirohisa SekiPublished in: IJCAI (1985)
Keyphrases
- prolog programs
- logic programs
- model checking
- signature verification
- search algorithm
- general purpose
- logic programming
- heuristic search
- heuristic rules
- heuristic methods
- face verification
- functional verification
- decision trees
- asynchronous circuits
- answer set programming
- search strategies
- open source
- evolutionary algorithm
- face recognition