Automating Default Reasoning

Reference:

Ilkka Niemelä. Automating default reasoning. Lecture notes for a course given at the 11th European Summer School in Logic, Language and Information, Utrecht University, Aug 16–20, 1999. 25 pages., 1999.

Suggested BibTeX entry:

@unpublished{Niemela99:esslli,
    author = {Ilkka Niemel{\"a}},
    note = {Lecture notes for a course given at the 11th European Summer School in Logic, Language and Information, Utrecht University, Aug 16--20, 1999. 25 pages.},
    title = {Automating Default Reasoning},
    year = {1999},
}

See www.tcs.hut.fi ...