DLPEQ, Versio 1.9

Emilia Oikarinen

    Research output: Artistic and non-textual formSoftwareScientific

    Original languageEnglish
    Publication statusPublished - 2003
    MoE publication typeI2 ICT software

    Keywords

    • answer set programming
    • disjunctive logic programs
    • equivalence testing
    • stable model semantics
    • translator

    Cite this