The Implementation of Answer Set Solvers

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

    Original languageEnglish
    Title of host publicationThe 20th International Conference on Logic Programming (ICLP'04), Saint-Malo, France, 6.-10.9.2004
    Subtitle of host publicationLecture notes of an invited tutorial
    Number of pages60
    Publication statusPublished - 2004
    MoE publication typeB3 Non-refereed article in conference proceedings

    Keywords

    • constraint satisfaction
    • knowledge representation
    • stable models

    Cite this

    Niemelä, I. (2004). The Implementation of Answer Set Solvers. In The 20th International Conference on Logic Programming (ICLP'04), Saint-Malo, France, 6.-10.9.2004: Lecture notes of an invited tutorial