141
Voted
LPAR
15 years 6 months ago
1994 Springer 
In this paper we develop a generic declarative diagnoser for normal logic programs that is based on tree search. The soundness and the completeness of the diagnoser are proved. The...
104
click to vote
LPAR
15 years 6 months ago
1994 Springer
The concept of anti-link is defined, and useful equivalence-preserving operations on propositional formulas based on anti-links are introduced. These operations eliminate a potent...
|
Automated Reasoning