Observation-Subsumption Checking in Similarity-Based Diagnosis of Discrete-Event Systems.

Gianfranco Lamperti Marina Zanella

Published in: ECAI (2008)

Keyphrases

diagnosis of discrete event systems
description logics
np complete
information retrieval
information systems
real world
machine learning
genetic algorithm
artificial intelligence
search engine
computer vision
wide range
search algorithm
transitive closure
snomed ct