On Probing and Multi-Threading in Platypus

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    8 Citations (Scopus)
    Original languageEnglish
    Title of host publicationThe 17th European Conference on Artificial Intelligence (ECAI 2006), Riva del Garda, Italy, August 29-September 1, 2006
    EditorsGerhard Brewka, Silvia Coradeschi, Anna Perini, Paolo Traverso
    Place of PublicationNetherlands
    PublisherIOS PRESS
    Pages392-396
    Publication statusPublished - 2006
    MoE publication typeA4 Article in a conference publication

    Keywords

    • answer set programming
    • distributed computing
    • stable models

    Cite this