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},
}
|