Stable Model Semantics: From Theory to Implementations and Applications

Reference:

Ilkka Niemelä. Stable model semantics: From theory to implementations and applications. Lecture notes for a tutorial given at the First International Conference on Computational Logic, Imperial College, London, UK, July 24–28, 2000. 72 pages., 2000.

Suggested BibTeX entry:

@unpublished{Niemela2000:cl,
    author = {Ilkka Niemel{\"a}},
    note = {Lecture notes for a tutorial given at the First International Conference on Computational Logic, Imperial College, London, UK, July 24--28, 2000. 72 pages.},
    title = {Stable Model Semantics: From Theory to Implementations and Applications},
    year = {2000},
}