Distributed Consistency-Based Diagnosis

Vincent Armant, Philippe Dague, Laurent Simon. Distributed Consistency-Based Diagnosis. In Iliano Cervesato, Helmut Veith, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. Volume 5330 of Lecture Notes in Computer Science, pages 113-127, Springer, 2008. [doi]

@inproceedings{ArmantDS08,
  title = {Distributed Consistency-Based Diagnosis},
  author = {Vincent Armant and Philippe Dague and Laurent Simon},
  year = {2008},
  doi = {10.1007/978-3-540-89439-1_8},
  url = {http://dx.doi.org/10.1007/978-3-540-89439-1_8},
  tags = {rule-based, consistency},
  researchr = {https://researchr.org/publication/ArmantDS08},
  cites = {0},
  citedby = {0},
  pages = {113-127},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings},
  editor = {Iliano Cervesato and Helmut Veith and Andrei Voronkov},
  volume = {5330},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-89438-4},
}