Computing Stable Models via Reductions to Difference Logic

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    33 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    OtsikkoLogic Programming and Nonmonotonic Reasoning
    Alaotsikko10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
    ToimittajatEsra Erdem, Fangzhen Lin, Torsten Schaub
    Sivut142-154
    ISBN (elektroninen)978-3-642-04238-6
    DOI - pysyväislinkit
    TilaJulkaistu - 2009
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    TapahtumaInternational Conference on Logic Programming and Nonmonotonic Reasoning - Potsdam, Saksa
    Kesto: 14 syyskuuta 200918 syyskuuta 2009
    Konferenssinumero: 10

    Julkaisusarja

    NimiLecture Notes in Computer Science
    KustantajaSpringer-Verlag Berlin Heidelberg
    Vuosikerta5753
    ISSN (painettu)0302-9743

    Conference

    ConferenceInternational Conference on Logic Programming and Nonmonotonic Reasoning
    LyhennettäLPNMR
    MaaSaksa
    KaupunkiPotsdam
    Ajanjakso14/09/200918/09/2009

    Tutkimusalat

    • answer set programming
    • benchmarking
    • difference logic
    • stable model semantics
    • translation

    Siteeraa tätä

    Janhunen, T., Niemelä, I., & Sevalnev, M. (2009). Computing Stable Models via Reductions to Difference Logic. teoksessa E. Erdem, F. Lin, & T. Schaub (Toimittajat), Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings (Sivut 142-154). (Lecture Notes in Computer Science ; Vuosikerta 5753). https://doi.org/10.1007/978-3-642-04238-6_14