37 search results - page 8 / 8 » Partial Instantiation Methods for Inference in First-Order L... |
122
Voted
IJCAI
2003
15 years 2 months ago
2003
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
131
Voted
JCB
2006
15 years 1 months ago
2006
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...