Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques
From MaRDI portal
Publication:805270
DOI10.1016/0898-1221(90)90112-WzbMath0728.68117WikidataQ59259779 ScholiaQ59259779MaRDI QIDQ805270
Georg Gottlob, Gerhard Friedrich, Wolfgang Nejdl
Publication date: 1990
Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)
Horn clauses; decision trees; diagnostic procedures; logic programming techniques; diagnostic knowledge; model-based reasoning knowledge
68T30: Knowledge representation
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68N17: Logic programming
Related Items
Cites Work