SAT-Based Abductive Diagnosis

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Proceedings of the 26th International Workshop on Principles of Diagnosis (DX)
Publisher	.
Pages	167-175
Publication status	Published - 2015
Event	International Workshop on Principles of Diagnosis - Paris, France Duration: 31 Aug 2015 → 3 Sep 2015

Conference	International Workshop on Principles of Diagnosis
Country/Territory	France
City	Paris
Period	31/08/15 → 3/09/15

Fields of Expertise

@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 = ".",

note = "International Workshop on Principles of Diagnosis ; Conference date: 31-08-2015 Through 03-09-2015",

}

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 paper

SP - 167

EP - 175

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

PB - .

T2 - International Workshop on Principles of Diagnosis

Y2 - 31 August 2015 through 3 September 2015

ER -