Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli. Detecting and repairing anomalous evolutions in noisy environments - Logic programming formalization and complexity results. Annals of Mathematics and Artificial Intelligence, 60(3-4):179-228, 2010. [doi]
Abstract is missing.