Solving Strong-Fault Diagnostic Models by Model Relaxation

Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund. Solving Strong-Fault Diagnostic Models by Model Relaxation. In Craig Boutilier, editor, IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009. pages 785-790, 2009. [doi]

@inproceedings{FeldmanPG09a,
  title = {Solving Strong-Fault Diagnostic Models by Model Relaxation},
  author = {Alexander Feldman and Gregory M. Provan and Arjan J. C. van Gemund},
  year = {2009},
  url = {http://ijcai.org/papers09/Papers/IJCAI09-135.pdf},
  tags = {rule-based, model-based diagnostics, meta-model, diagnostics, C++, Meta-Environment},
  researchr = {https://researchr.org/publication/FeldmanPG09a},
  cites = {0},
  citedby = {0},
  pages = {785-790},
  booktitle = {IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009},
  editor = {Craig Boutilier},
}