A Better Characterization of Answers
An answer is a three part implication comprising a specific part, a generic part, and a hypothetical part
The only part present in all answers is the specific part, that is, the ANSWER literals
Previous slide
Next slide
Back to first slide
View graphic version