Reducing consistency checks in generating corrective explanations for interactive constraint satisfaction

Hongbo Li, Haijiao Shen, Zhanshan Li, Jinsong Guo. Reducing consistency checks in generating corrective explanations for interactive constraint satisfaction. Knowl.-Based Syst., 43:103-111, 2013. [doi]

Abstract

Abstract is missing.