Efficient Implementation of the Well-founded and Stable Model Semantics

Ilkka Niemelä, Patrik Simons

    Research output: Working paperProfessional

    Original languageEnglish
    Place of PublicationKoblenz, Germany
    Number of pages26
    Publication statusPublished - 1996
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameFachbericht Informatik
    PublisherUniversität Koblenz-Landau


    • non-monotonic reasoning

    Cite this