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

    Original languageEnglish
    Title of host publicationThe 11th International Workshop on Nonmonotonic Reasoning, Low Wood hotel, Lake District, England, UK, 30 May-1 June, 2006
    EditorsJürgen Dix, Anthony Hunter
    Place of PublicationClausthal, Germany
    Pages30-38
    Publication statusPublished - 2006
    MoE publication typeA4 Article in a conference publication

    Publication series

    NameClausthal University of Technology, Department of Informatics, Technical Report
    NumberIfI-06-04
    ISSN (Print)1860-8477

    Keywords

    • answer set programming
    • distributed computing
    • stable models

    Cite this