Decision procedures for quantified non-monotonic logic

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

    Original languageEnglish
    Title of host publicationProceedings of the Finnish Artificial Intelligence Symposium
    Place of PublicationHelsinki
    Pages418-427
    Publication statusPublished - 1988
    MoE publication typeB3 Non-refereed article in conference proceedings

    Cite this