Using Logic Programming for Fault Diagnosis in Digital Circuits

Helmut Simonis, Mehmet Dincbas. Using Logic Programming for Fault Diagnosis in Digital Circuits. In Katharina Morik, editor, GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, September 28 - October 2, 1987, Proceedings. Volume 152 of Informatik-Fachberichte, pages 139-148, Springer, 1987.

@inproceedings{SimonisD87,
  title = {Using Logic Programming for Fault Diagnosis in Digital Circuits},
  author = {Helmut Simonis and Mehmet Dincbas},
  year = {1987},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/SimonisD87},
  cites = {0},
  citedby = {0},
  pages = {139-148},
  booktitle = {GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, September 28 - October 2, 1987, Proceedings},
  editor = {Katharina Morik},
  volume = {152},
  series = {Informatik-Fachberichte},
  publisher = {Springer},
  isbn = {3-540-18388-4},
}