4.3.3. Inference using Resolution, Backward Chaining and Forward Chaining Verbal Notes | Artificial Intelligence BSC-CSIT | TU | TABFlux