Pierre Fouché;Benjamin Kuipers
-;-
Model-based and qualitative reasoning: An introduction
Annals of Mathematics and Artificial Intelligence
Applications of Abduction: Testing Very Long Qualitative Simulations
IEEE Transactions on Knowledge and Data Engineering