31 search results - page 1 / 7 » Representation of Failure Context for Diagnosis of Technical... |
EWCBR
1998
Springer
13 years 9 months ago
1998
Springer
Development and maintenance of a case-base is known to be one of the most difficult problems in real-world application of case-based diagnosis systems. The complexity of large tech...
CONTEXT
2007
Springer
13 years 11 months ago
2007
Springer
The paper focuses on a difficult problem when formalizing knowledge: What about the possible concepts that didn’t make it into the formalization? We call such concepts the uncons...
CONTEXT
2007
Springer
13 years 11 months ago
2007
Springer
Contextual Graphs are a context-based formalism used in various real-world applications. They allow a uniform representation of elements of reasoning and of contexts for describing...
ESOP
1999
Springer
13 years 9 months ago
1999
Springer
This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...
DEDS
2007
13 years 4 months ago
2007
The unfolding of a concurrent system represents in a compact manner all possible runs of this system. Unfoldings are used in many applications, ranging from model-checking (offlin...