SAT-Based Abductive Diagnosis

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationProceedings of the 26th International Workshop on Principles of Diagnosis (DX)
Publisher.
Pages167-175
Publication statusPublished - 2015
EventInternational Workshop on Principles of Diagnosis - Paris, France
Duration: 31 Aug 20153 Sep 2015

Conference

ConferenceInternational Workshop on Principles of Diagnosis
CountryFrance
CityParis
Period31/08/153/09/15

Fields of Expertise

  • Information, Communication & Computing

Cite this

Koitz, R., & Wotawa, F. (2015). SAT-Based Abductive Diagnosis. In Proceedings of the 26th International Workshop on Principles of Diagnosis (DX) (pp. 167-175). ..

SAT-Based Abductive Diagnosis. / Koitz, Roxane; Wotawa, Franz.

Proceedings of the 26th International Workshop on Principles of Diagnosis (DX). ., 2015. p. 167-175.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Koitz, R & Wotawa, F 2015, SAT-Based Abductive Diagnosis. in Proceedings of the 26th International Workshop on Principles of Diagnosis (DX). ., pp. 167-175, International Workshop on Principles of Diagnosis, Paris, France, 31/08/15.
Koitz R, Wotawa F. SAT-Based Abductive Diagnosis. In Proceedings of the 26th International Workshop on Principles of Diagnosis (DX). . 2015. p. 167-175
Koitz, Roxane ; Wotawa, Franz. / SAT-Based Abductive Diagnosis. Proceedings of the 26th International Workshop on Principles of Diagnosis (DX). ., 2015. pp. 167-175
@inproceedings{8f6c8f8a8e244f6d8117d9a2135a981b,
title = "SAT-Based Abductive Diagnosis",
author = "Roxane Koitz and Franz Wotawa",
year = "2015",
language = "English",
pages = "167--175",
booktitle = "Proceedings of the 26th International Workshop on Principles of Diagnosis (DX)",
publisher = ".",

}

TY - GEN

T1 - SAT-Based Abductive Diagnosis

AU - Koitz, Roxane

AU - Wotawa, Franz

PY - 2015

Y1 - 2015

UR - http://ceur-ws.org/Vol-1507/dx15paper22.pdf

M3 - Conference contribution

SP - 167

EP - 175

BT - Proceedings of the 26th International Workshop on Principles of Diagnosis (DX)

PB - .

ER -