circ2dlp

Emilia Oikarinen

    Research output: Artistic and non-textual formSoftwareScientific

    Original languageEnglish
    EditionVersio 1.1
    Publication statusPublished - 2005
    MoE publication typeI2 ICT applications

    Keywords

    • disjunctive logic programming
    • parallel circumscription
    • stable model semantics
    • translator

    Cite this