HP Labs Technical Reports
Click here for full text:
A Logic-Based Approach To Automated System Management
Keyword(s): diagnosis; model-based-reasoning; planning; logic programming
Abstract: In this paper, a logic-based approach to automated system management is described. In particular, we focus on model-based fault diagnosis and fault correction based on planning.
Back to Index