Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques
type: Item
instance of: scholarly article
title: Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques
zbMATH Open document ID: 0728.68117
DOI: 10.1016/0898-1221(90)90112-W
publication date: 1990-01-01T00:00:00Z
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 4203771
zbMATH Keywords: logic programming techniques
zbMATH Keywords: model-based reasoning knowledge
zbMATH Keywords: Horn clauses
zbMATH Keywords: diagnostic procedures
zbMATH Keywords: decision trees
zbMATH Keywords: diagnostic knowledge
Wikidata QID: Q59259779
author: Gerhard Friedrich
author: Georg Gottlob
author: Wolfgang Nejdl
MaRDI profile type: Publication
cites work: Diagnosing multiple faults
cites work: A theory of diagnosis from first principles
cites work: Explanation-based generalisation \(=\) partial evaluation
cites work: Q4391452
cites work: Controlling recursive inference
cites work: On the efficiency of subsumption algorithms
cites work: A Mathematical Theory of Communication
published in: Computers & Mathematics with Applications
description: scientific article; zbMATH DE number 4203771