Fault detection algorithm for logic programs.
A. R. HamdanChris J. HindePublished in: Knowl. Based Syst. (1989)
Keyphrases
- detection algorithm
- logic programs
- logic programming
- detection method
- answer sets
- detection accuracy
- fixpoint
- detection rate
- background knowledge
- answer set programming
- stable models
- normal logic programs
- partial deduction
- prolog programs
- computational properties
- inductive logic programming
- stable model semantics
- logic program updates
- harris corner
- moving objects
- recursive programs
- functional programs
- expert systems