A Counter-Based Approach to Translating Normal Logic Programs into Sets of Clauses

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    3 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    OtsikkoAnswer Set Programming, Messina, Sisilia, Italia, 26.-28.9.2003
    ToimittajatMarina de Vos, Alessandro Provetti
    KustantajaCEUR
    Sivut166-180
    TilaJulkaistu - 2003
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

    Tutkimusalat

    • expressive power
    • modularity
    • propositional satisfiability
    • stable models
    • supported models

    Siteeraa tätä