Reference:
Tomi Janhunen. Classifying semi-normal default logic on the basis of its expressive power. In Michael Gelfond, Nicola Leone, and Gerald Pfeifer, editors, Proceedings of the 5th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR'99, pages 19–33, El Paso, Texas, December 1999. Springer-Verlag. LNAI 1730.
Suggested BibTeX entry:
@inproceedings{Janhunen99:lpnmr,
address = {El Paso, Texas},
author = {Tomi Janhunen},
booktitle = {Proceedings of the 5th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR'99},
editor = {Michael Gelfond and Nicola Leone and Gerald Pfeifer},
month = {December},
note = {LNAI 1730},
pages = {19--33},
publisher = {Springer-Verlag},
title = {Classifying Semi-Normal Default Logic on the Basis of its Expressive Power},
year = {1999},
}
|