Modular Equivalence for Normal Logic Programs

Emilia Oikarinen, Tomi Janhunen

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    63 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    OtsikkoThe 17th European Conference on Artificial Intelligence, Riva del Garda, Italy, 28 August - 1 September, 2006
    ToimittajatGerhard Brewka, Silvia Coradeschi, Anna Perini, Paolo Traverso
    KustantajaIOS PRESS
    Sivut412-416
    TilaJulkaistu - 2006
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

    Tutkimusalat

    • answer set programming
    • congruence
    • equivalence
    • modular logic programs
    • stable model semantics

    Siteeraa tätä