|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 3 van 5 gevonden artikelen
| Titel: |
IMPUT: An Interactive Learning Tool Based on Program Specialization |
| Auteur: |
Alexin, Zoltán Gyimóthy, Tibor Boström, Henrik |
| Verschenen in: |
Intelligent data analysis |
| Paginering: | Jaargang 1 (2013) nr. 4 pagina's 219-244 |
| Jaar: |
2013-06-14 |
| Inhoud: |
The algorithm SPECTRE specializes logic programs with respect to positive and negative examples by applying the transformation rule unfolding together with clause removal. The method IMPUT presented in this paper gives a modified version of this algorithm by integrating the algorithmic debugging system IDTS with SPECTRE. The main idea of the IMPUT method, is that the identification of a clause to be unfolded has a crucial importance on the effectiveness of the specialization process. The debugging system IDTS is used to identify this buggy clause. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 3 van 5 gevonden artikelen
| << vorige | volgende >> |