Efficient Implementation of the Well-founded and Stable Model Semantics

Ilkka Niemelä, Patrik Simons

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    AlkuperäiskieliEnglanti
    OtsikkoProceedings of the Joint International Conference and Symposium on Logic Programming, Bonn, Germany, September 1996
    ToimittajatM. Maher
    Sivut289-303
    TilaJulkaistu - 1996
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

    Siteeraa tätä