Logiikkaohjelmien ekvivalenssitestaus

Emilia Oikarinen

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

    Original languageEnglish
    Title of host publicationTietojenkäsittelytieteen päivät 2003, Espoo, 19.-21.5.2003
    EditorsAri Korhonen, Jorma Tarhio
    Place of PublicationEspoo
    Pages44-47
    Publication statusPublished - 2003
    MoE publication typeA4 Article in a conference publication

    Keywords

    • Answer Set Programming
    • Equivalence Testing
    • Logic Programs
    • Stable Model Sematics

    Cite this