Answer Set Programming as SAT modulo Acyclicity

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    26 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    OtsikkoEuropean Conference on Artificial Intelligence, ECAI 2014, 18-22 August, Prague, Czech Republic
    KustantajaIOS PRESS
    Sivut351-356
    ISBN (painettu)978-1-61499-418-3
    TilaJulkaistu - 2014
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

    Siteeraa tätä