circ2dlp

Emilia Oikarinen

    Tutkimustuotos: Taiteellinen julkaisu ja ICT-julkaisuSoftwareScientific

    AlkuperäiskieliEnglanti
    PainosVersio 1.1
    TilaJulkaistu - 2005
    OKM-julkaisutyyppiI2 ICT-ohjelmistot

    Tutkimusalat

    • disjunctive logic programming
    • parallel circumscription
    • stable model semantics
    • translator

    Siteeraa tätä