Automating default reasoning

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

    Original languageEnglish
    Title of host publication11th European Summer School in Logic, Language and Information (ESSLLI'99), Utrecht University, 16-20 August 1999
    Subtitle of host publicationLecture notes for a course
    Number of pages25
    Publication statusPublished - 1999
    MoE publication typeB3 Non-refereed article in conference proceedings

    Cite this