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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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