TCS / Research / Publications / Implementing Circumscription Using a Tableau Method
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Implementing Circumscription Using a Tableau Method

Reference:

Ilkka Niemelä. Implementing circumscription using a tableau method. In Proceedings of the European Conference on Artificial Intelligence, pages 80–84, Budapest, Hungary, August 1996. John Wiley.

Suggested BibTeX entry:

@inproceedings{Niemela96:ecai,
    address = {Budapest, Hungary},
    author = {Ilkka Niemel{\"a}},
    booktitle = {Proceedings of the European Conference on Artificial Intelligence},
    month = {August},
    pages = {80--84},
    publisher = {John Wiley},
    title = {Implementing Circumscription Using a Tableau Method},
    year = {1996},
}

This work is not available online here.

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