Comparing the Expressive Powers of Some Syntactically Restricted Classes of Logic Programs

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

    9 Citations (Scopus)
    Original languageEnglish
    Title of host publicationThe 1st International Conference on Computational Logic, CL 2000, London, UK, July 2000
    EditorsJ. Lloyd, V. Dahl, U. Furbach, M. Kerber, K. Lau, C. Palamidessi, L. Pereira, Y. Sagiv
    Place of PublicationBerlin, Germany
    Publication statusPublished - 2000
    MoE publication typeA4 Article in a conference publication


    • logic programs
    • stable model semantics

    Cite this