Model-Based Diagnosis Meets Error Diagnosis in Logic Programs

Console et al. "Model-Based Diagnosis Meets Error Diagnosis in Logic Programs." International Joint Conference on Artificial Intelligence, 1993.

[Console et al. "Model-Based Diagnosis Meets Error Diagnosis in Logic Programs." International Joint Conference on Artificial Intelligence, 1993.](https://mlanthology.org/ijcai/1993/console1993ijcai-model/)

@inproceedings{console1993ijcai-model,
  title     = {{Model-Based Diagnosis Meets Error Diagnosis in Logic Programs}},
  author    = {Console, Luca and Friedrich, Gerhard and Dupré, Daniele Theseider},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1993},
  pages     = {1494-1501},
  url       = {https://mlanthology.org/ijcai/1993/console1993ijcai-model/}
}