TCS / Research / Publications / Automating Default Reasoning
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

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 ...

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.