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

Bernhard Peischl; Franz Wotawa

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

Institute of Software Technology (7160)

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

Original language	English
Title of host publication	DX-03, Proceedings of the 14th International Workshop on Principles of Diagnosis 2003
Publisher	.
Pages	175-180
Publication status	Published - 2003
Event	International Workshop on Principles of Diagnosis - Washington D.C., United States Duration: 11 Jun 2003 → 14 Jun 2003

Publication series

Name	DX Woskshop Series

Conference

Conference	International Workshop on Principles of Diagnosis
Country/Territory	United States
City	Washington D.C.
Period	11/06/03 → 14/06/03

Cite this

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

note = "International Workshop on Principles of Diagnosis ; Conference date: 11-06-2003 Through 14-06-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 paper

T3 - DX Woskshop Series

SP - 175

EP - 180

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

PB - .

T2 - International Workshop on Principles of Diagnosis

Y2 - 11 June 2003 through 14 June 2003

ER -

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

Publication series

Conference

Other files and links

VHDL - Debugging VHDL Programs (DEV)

Cite this

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

Publication series

Conference

Other files and links

Projects

VHDL - Debugging VHDL Programs (DEV)

Cite this