An Overview of HAL

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

    Research output: Contribution to journalArticleResearchpeer-review

    35 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)174 - 188
    Number of pages15
    JournalLecture Notes in Computer Science
    Publication statusPublished - 1999

    Cite this

    Demoen, B., Garcia De La Banda, M. J., Harvey, W., Marriott, K., & Stuckey, P. J. (1999). An Overview of HAL. Lecture Notes in Computer Science, 174 - 188.
    Demoen, Bart ; Garcia De La Banda, Maria Jose ; Harvey, Warwick ; Marriott, Kim ; Stuckey, Peter J. / An Overview of HAL. In: Lecture Notes in Computer Science. 1999 ; pp. 174 - 188.
    @article{d30d18210e9a4780841897274cadcace,
    title = "An Overview of HAL",
    author = "Bart Demoen and {Garcia De La Banda}, {Maria Jose} and Warwick Harvey and Kim Marriott and Stuckey, {Peter J}",
    year = "1999",
    language = "English",
    pages = "174 -- 188",
    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.",

    }

    Demoen, B, Garcia De La Banda, MJ, Harvey, W, Marriott, K & Stuckey, PJ 1999, 'An Overview of HAL', Lecture Notes in Computer Science, pp. 174 - 188.

    An Overview of HAL. / Demoen, Bart; Garcia De La Banda, Maria Jose; Harvey, Warwick; Marriott, Kim; Stuckey, Peter J.

    In: Lecture Notes in Computer Science, 1999, p. 174 - 188.

    Research output: Contribution to journalArticleResearchpeer-review

    TY - JOUR

    T1 - An Overview of HAL

    AU - Demoen, Bart

    AU - Garcia De La Banda, Maria Jose

    AU - Harvey, Warwick

    AU - Marriott, Kim

    AU - Stuckey, Peter J

    PY - 1999

    Y1 - 1999

    M3 - Article

    SP - 174

    EP - 188

    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 -