TCS / Research / Publications / On Abstracting Decision Procedures for Non-Monotonic Reasoning
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

On Abstracting Decision Procedures for Non-Monotonic Reasoning

Reference:

Tomi Janhunen. On abstracting decision procedures for non-monotonic reasoning. In Ilkka Niemelä, editor, Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems, pages 29–31, August 1996. Universität Koblenz-Landau, Institut für Informatik, Fachberichte Informatik, 18–96.

Suggested BibTeX entry:

@inproceedings{Janhunen96:inars,
    author = {Tomi Janhunen},
    booktitle = {Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems},
    editor = {Ilkka Niemel{\"a}},
    month = {August},
    note = {Universit{\"a}t Koblenz-Landau, Institut f{\"u}r Informatik, Fachberichte Informatik, 18--96},
    pages = {29-31},
    title = {On Abstracting Decision Procedures for Non-Monotonic Reasoning},
    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.