Automating default reasoning

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientific

    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 conference publication

    Cite this