TCS / Research / Publications / DES: a Challenge Problem for Nonmonotonic Reasoning Systems
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

DES: a Challenge Problem for Nonmonotonic Reasoning Systems

Reference:

Maarit Hietalahti, Fabio Massacci, and Ilkka Niemelä. DES: a challenge problem for nonmonotonic reasoning systems. In Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (cs.AI/0003073), Breckenridge, Colorado, USA, April 2000. cs.AI/0003039.

Suggested BibTeX entry:

@inproceedings{HMN2000:nmr,
    address = {Breckenridge, Colorado, USA},
    author = {Maarit Hietalahti and Fabio Massacci and Ilkka Niemel{\"a}},
    booktitle = {Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (cs.AI/0003073)},
    month = {April},
    note = {cs.AI/0003039},
    title = {{DES}: a Challenge Problem for Nonmonotonic Reasoning Systems},
    year = {2000},
}

This work is not available online here.

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