Reasoning about rules
Two types of reasoning about rules can be distinguished:
Deriving rules
Reasoning with facts about rules
Previous slide
Next slide
Back to first slide
View graphic version