Implementation of local grounding for logic programs with stable model semantics

T. Syrjänen

    Research output: Working paperProfessional

    Original languageEnglish
    Place of PublicationEspoo
    Pages40
    Publication statusPublished - 1998
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameHelsinki University of Technology, Laboratory For Theoretical Computer Science, Technical reports
    PublisherHelsinki University of Technology
    No.HUT-TCS-B18

    Keywords

    • grounding
    • logic programming
    • smodels
    • stable models

    Cite this