Parallel model-based diagnosis on multi-core computers

DOI10.1613/JAIR.5001MaRDI QIDQ2800959zbMATH OpenOpenAlexFDO

Authors Dietmar Jannach, Thomas Schmitz, Kostyantyn Shchekotykhin

Publication date 19 April 2016

Published in The Journal of Artificial Intelligence Research (JAIR) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1613/jair.5001

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Recommendations

• Parallel process diagnosis based on qualitative models
• Bayesian model-based diagnosis
• Diagnosing multiple faults
• scientific article; zbMATH DE number 1168533
• Model-based diagnosis by the artificial intelligence community: the DX approach

Cited in

(5)

• Model enumeration in propositional circumscription via unsatisfiable core analysis
• Sequential model-based diagnosis by systematic search
• Memory-limited model-based diagnosis
• Parallel process diagnosis based on qualitative models
• Test-based diagnosis of faults in data exchange addressing in computer systems using parallel model

This page was built for publication: Parallel model-based diagnosis on multi-core computers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2800959)