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},
}
|