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
    Pages852-866
    Publication statusPublished - 2000
    MoE publication typeA4 Article in a conference publication

    Keywords

    • logic programs
    • stable model semantics

    Cite this