Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs

Gerd Brewka, Ilkka Niemelä, Tommi Syrjänen

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    31 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    Otsikko8th European Conference on Logics in Artificial Intelligence, JELIA 2002; Cosenza, Italy, September 23–26, 2002. Proceedings
    ToimittajatSergio Flesca, Sergio Greco, Nicola Leone
    Sivut444-456
    ISBN (elektroninen)978-3-540-45757-2
    DOI - pysyväislinkit
    TilaJulkaistu - 2002
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

    Julkaisusarja

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

    Tutkimusalat

    • disjunctions
    • logic programs
    • preferences
    • stable model semantics

    Siteeraa tätä