Modular Equivalence in General

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    AlkuperäiskieliEnglanti
    OtsikkoThe 18th European Conference on Artificial Intelligence Patras, Greece, July 21-25, 2008
    ToimittajatMalik Ghallab, Constantine Spyropoulos, Nikos Fakotakis, Nikos Avouris
    KustantajaIOS PRESS
    Sivut75-79
    ISBN (painettu)978-1-58603-891-5
    TilaJulkaistu - 2008
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

    Julkaisusarja

    Nimi
    KustantajaIOS Press
    ISSN (painettu)0922-6389

    Tutkimusalat

    • answer set programming
    • equivalence
    • hybrid representations
    • modularity
    • propositional satisfiability
    • translation functions

    Siteeraa tätä