A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is
In this article, results of the automation of an abductive procedure are reported. This work is a continuation of our earlier research  , where a general scheme of the procedure has been proposed. Here, a more advanced system developed to generate and evaluate abductive hypotheses is introduced. Abductive hypotheses have been generated by the implementation of the Synthetic Tableau Method. Before the evaluation, the set of hypotheses has undergone several reduction phases. To assessdoi:10.1145/2629669 fatcat:it6u6iiqz5ennfwuuicb2tnwha