Antoni Ligeza. Constraint Programming for Constructive Abduction. A Case Study in Diagnostic Model-Based Reasoning. In Jan Maciej Koscielny, Michal Syfert, Anna Sztyber, editors, Advanced Solutions in Diagnostics and Fault Tolerant Control, Proceedings of the 13th International Science Conference on Diagnostics of Processes and Systems, DPS 2017, September 11-13, 2017, Sandomierz, Poland. Volume 635 of Advances in Intelligent Systems and Computing, pages 94-105, Springer, 2017. [doi]
Abstract is missing.