To the Gates of HAL: a HAL tutorial

Maria Jose Garcia De La Banda, Bart Demoen, Kim Marriott, Peter J Stuckey

    Research output: Contribution to journalArticleResearchpeer-review

    13 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)47 - 66
    Number of pages20
    JournalLecture Notes in Computer Science
    Volume2441
    DOIs
    Publication statusPublished - 2002

    Cite this

    Garcia De La Banda, Maria Jose ; Demoen, Bart ; Marriott, Kim ; Stuckey, Peter J. / To the Gates of HAL: a HAL tutorial. In: Lecture Notes in Computer Science. 2002 ; Vol. 2441. pp. 47 - 66.
    @article{fe406bea6c7c4246bc304f8b72363fd4,
    title = "To the Gates of HAL: a HAL tutorial",
    author = "{Garcia De La Banda}, {Maria Jose} and Bart Demoen and Kim Marriott and Stuckey, {Peter J}",
    year = "2002",
    doi = "10.1007/3-540-45788-7_3",
    language = "English",
    volume = "2441",
    pages = "47 -- 66",
    journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
    issn = "0302-9743",
    publisher = "Springer-Verlag London Ltd.",

    }

    To the Gates of HAL: a HAL tutorial. / Garcia De La Banda, Maria Jose; Demoen, Bart; Marriott, Kim; Stuckey, Peter J.

    In: Lecture Notes in Computer Science, Vol. 2441, 2002, p. 47 - 66.

    Research output: Contribution to journalArticleResearchpeer-review

    TY - JOUR

    T1 - To the Gates of HAL: a HAL tutorial

    AU - Garcia De La Banda, Maria Jose

    AU - Demoen, Bart

    AU - Marriott, Kim

    AU - Stuckey, Peter J

    PY - 2002

    Y1 - 2002

    U2 - 10.1007/3-540-45788-7_3

    DO - 10.1007/3-540-45788-7_3

    M3 - Article

    VL - 2441

    SP - 47

    EP - 66

    JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

    JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

    SN - 0302-9743

    ER -