Modular Answer Set Programming

Emilia Oikarinen

    Tutkimustuotos: TyöpaperiWorking paperProfessional

    2 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    JulkaisupaikkaHelsinki
    Sivutx+81
    ISBN (elektroninen)978-951-22-8581-5
    TilaJulkaistu - 2006
    OKM-julkaisutyyppiD4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

    Julkaisusarja

    NimiLaboratory for Theoretical Computer Science, Series A:
    KustantajaTKK, tietojenkäsittelyteorian laboratorio
    NumeroA106
    ISSN (elektroninen)1457-7615

    Tutkimusalat

    • modular answer set programming
    • modular congruence, equivalence verification
    • nonmonotonic reasoning
    • stable model semantics

    Siteeraa tätä