Computing Diagnoses Efficiently: A Fast Theorem Prover For Propositinal Horn Clause Theories

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

Original languageEnglish
Title of host publicationDX-03, Proceedings of the 14th International Workshop on Principles of Diagnosis 2003
Publisher.
Pages175-180
Publication statusPublished - 2003
EventInternational Workshop on Principles of Diagnosis - Washington D.C., United States
Duration: 11 Jun 200314 Jun 2003

Publication series

NameDX Woskshop Series

Conference

ConferenceInternational Workshop on Principles of Diagnosis
CountryUnited States
CityWashington D.C.
Period11/06/0314/06/03

Cite this

Peischl, B., & Wotawa, F. (2003). Computing Diagnoses Efficiently: A Fast Theorem Prover For Propositinal Horn Clause Theories. In DX-03, Proceedings of the 14th International Workshop on Principles of Diagnosis 2003 (pp. 175-180). (DX Woskshop Series). ..

Computing Diagnoses Efficiently: A Fast Theorem Prover For Propositinal Horn Clause Theories. / Peischl, Bernhard; Wotawa, Franz.

DX-03, Proceedings of the 14th International Workshop on Principles of Diagnosis 2003. ., 2003. p. 175-180 (DX Woskshop Series).

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

Peischl, B & Wotawa, F 2003, Computing Diagnoses Efficiently: A Fast Theorem Prover For Propositinal Horn Clause Theories. in DX-03, Proceedings of the 14th International Workshop on Principles of Diagnosis 2003. DX Woskshop Series, ., pp. 175-180, International Workshop on Principles of Diagnosis, Washington D.C., United States, 11/06/03.
Peischl B, Wotawa F. Computing Diagnoses Efficiently: A Fast Theorem Prover For Propositinal Horn Clause Theories. In DX-03, Proceedings of the 14th International Workshop on Principles of Diagnosis 2003. . 2003. p. 175-180. (DX Woskshop Series).
Peischl, Bernhard ; Wotawa, Franz. / Computing Diagnoses Efficiently: A Fast Theorem Prover For Propositinal Horn Clause Theories. DX-03, Proceedings of the 14th International Workshop on Principles of Diagnosis 2003. ., 2003. pp. 175-180 (DX Woskshop Series).
@inproceedings{d558fee302b9461cbe741cdd469fb946,
title = "Computing Diagnoses Efficiently: A Fast Theorem Prover For Propositinal Horn Clause Theories",
author = "Bernhard Peischl and Franz Wotawa",
year = "2003",
language = "English",
series = "DX Woskshop Series",
publisher = ".",
pages = "175--180",
booktitle = "DX-03, Proceedings of the 14th International Workshop on Principles of Diagnosis 2003",

}

TY - GEN

T1 - Computing Diagnoses Efficiently: A Fast Theorem Prover For Propositinal Horn Clause Theories

AU - Peischl, Bernhard

AU - Wotawa, Franz

PY - 2003

Y1 - 2003

UR - http://monet.aber.ac.uk/dx2003/

M3 - Conference contribution

T3 - DX Woskshop Series

SP - 175

EP - 180

BT - DX-03, Proceedings of the 14th International Workshop on Principles of Diagnosis 2003

PB - .

ER -