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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

Originalspracheenglisch
TitelDX-03, Proceedings of the 14th International Workshop on Principles of Diagnosis 2003
Herausgeber (Verlag).
Seiten175-180
PublikationsstatusVeröffentlicht - 2003
VeranstaltungInternational Workshop on Principles of Diagnosis - Washington D.C., USA / Vereinigte Staaten
Dauer: 11 Jun 200314 Jun 2003

Publikationsreihe

NameDX Woskshop Series

Konferenz

KonferenzInternational Workshop on Principles of Diagnosis
Land/GebietUSA / Vereinigte Staaten
OrtWashington D.C.
Zeitraum11/06/0314/06/03

Dieses zitieren