Practical Tools for Knowledge Representation and Nonmonotonic Reasoning

Reference:

Ilkka Niemelä and Mirosław Truszczyński. Practical tools for knowledge representation and nonmonotonic reasoning. Lecture notes for a tutorial given at the 17th National Conference on Artificial Intelligence, Austin, Texas, July 30–August 3, 2000. 166 pages. Available at http://www.tcs.hut.fi/ ini/, 2000.

Suggested BibTeX entry:

@unpublished{NT2000:aaai,
    author = {Ilkka Niemel{\"a} and Miros{\l}aw Truszczy\'nski},
    note = {Lecture notes for a tutorial given at the 17th National Conference on Artificial Intelligence, Austin, Texas, July 30--August 3, 2000. 166 pages. Available at \url{http://www.tcs.hut.fi/~ini/}},
    title = {Practical Tools for Knowledge Representation and Nonmonotonic Reasoning},
    year = {2000},
}

See www.tcs.hut.fi ...