On Probing and Multi-Threading in Platypus

Jean Gressman, Tomi Janhunen, Robert Mercer, Torsten Schaub, Sven Thiele, Richard Tichy

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    AlkuperäiskieliEnglanti
    OtsikkoThe 11th International Workshop on Nonmonotonic Reasoning, Low Wood hotel, Lake District, England, UK, 30 May-1 June, 2006
    ToimittajatJürgen Dix, Anthony Hunter
    JulkaisupaikkaClausthal, Germany
    Sivut30-38
    TilaJulkaistu - 2006
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

    Julkaisusarja

    NimiClausthal University of Technology, Department of Informatics, Technical Report
    NumeroIfI-06-04
    ISSN (painettu)1860-8477

    Tutkimusalat

    • answer set programming
    • distributed computing
    • stable models

    Siteeraa tätä