The Smodels System

Tommi Syrjänen, Ilkka Niemelä

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    78 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    Otsikko6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2001), Vienna, Austria, September 17-19, 2001
    ToimittajatT. Eiter, W. Faber, M. Truszczynski
    JulkaisupaikkaBerlin
    Sivut434-438
    Sivumäärä5
    ISBN (elektroninen)978-3-540-45402-1
    DOI - pysyväislinkit
    TilaJulkaistu - 2001
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

    Julkaisusarja

    NimiLecture Notes in Computer Science
    Vuosikerta 2173 LNAI
    ISSN (painettu)0302-9743
    ISSN (elektroninen)1611-3349

    Tutkimusalat

    • answer set programming
    • logic programming
    • stable models

    Siteeraa tätä