State‐based Reasoning
Christophe Lecoutre · 2009
This chapter contains sections titled: Inconsistent partial states Learning from explanations and failed values Reducing elementary inconsistent partial states Equivalence detection Experimental results Conclusion