139
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...
120
Voted
LPAR
15 years 6 months ago
1994 Springer  101
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