Classifying Semi-Normal Default Logic on the Basis of its Expressive Power

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

See www.tcs.hut.fi ...