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