Current studentsExisting staffContact us
 

DiKe - A model based diagnosis kernel and its application

Simple item page
dc.contributor.authorFleischanderl, G.
dc.contributor.authorHavelka, T.
dc.contributor.authorSchreiner, H.
dc.contributor.authorStumptner, M.
dc.contributor.authorWotawa, F.
dc.contributor.conference24th German / 9th Austrian Conference on Artificial Intelligence (KI 2001) (19 Sep 2001 : Vienna, Austria)
dc.contributor.editorBaader, F.
dc.contributor.editorBrewka, G.
dc.contributor.editorEiter, T.
dc.date.issued2001
dc.description.abstractThis paper describes the DiKe model-based diagnosis framework, which incorporates multiple diagnosis engines, multiple user-level system description languages, a theorem prover, and a graphical user interface to provide an integrated toolset for the development of model-based diagnosis applications. The framework has been used for representing a number of application domains. We present the AD2L language, the main user language for the system geared towards use by non-specialists, and discuss use of DiKe in various domains.
dc.identifier.citationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2001 / Baader, F., Brewka, G., Eiter, T. (ed./s), vol.2174, pp.440-454
dc.identifier.doi10.1007/3-540-45422-5_31
dc.identifier.isbn9783540426127
dc.identifier.issn0302-9743
dc.identifier.issn1611-3349
dc.identifier.urihttps://hdl.handle.net/1959.8/138341
dc.language.isoen
dc.publisherSpringer Berlin / Heidelberg
dc.publisher.placeGermany
dc.source.urihttps://doi.org/10.1007/3-540-45422-5
dc.titleDiKe - A model based diagnosis kernel and its application
dc.typeConference paper
pubs.publication-statusPublished
ror.mmsid9915913019001831

Files

Collections