A Versatile Intermediate Language for Answer Set Programming

Martin Gebser, Tomi Janhunen, Max Ostrowski, Torsten Schaub, Sven Thiele

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    AlkuperäiskieliEnglanti
    OtsikkoThe 12th International Workshop on Nonmonotonic Reasoning Sydney, Australia, September 13-15, 2008
    ToimittajatMaurice Pagnucco, Michael Thielscher
    JulkaisupaikkaSydney, Australia
    KustantajaUniversity of New South Wales
    Sivut150-159
    TilaJulkaistu - 2008
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

    Julkaisusarja

    NimiTechnical Report
    KustantajaUniversity of New South Wales School of Computer Science and Engineering
    NumeroUNSW-CSE-TR-0819

    Tutkimusalat

    • answer set programming
    • file formats
    • language design

    Siteeraa tätä