A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming

Reference:

Emilia Oikarinen and Tomi Janhunen. A linear transformation from prioritized circumscription to disjunctive logic programming. In Veronica Dahl and Ilkka Niemelä, editors, Proceedings of the 23rd International Conference on Logic Programming, pages 440–441, Porto, Portugal, September 2007. Springer-Verlag.

Suggested BibTeX entry:

@inproceedings{OJ07:iclp,
    address = {Porto, Portugal},
    author = {Emilia Oikarinen and Tomi Janhunen},
    booktitle = {Proceedings of the 23rd International Conference on Logic Programming},
    editor = {Veronica Dahl and Ilkka Niemel{\"a}},
    month = {September},
    pages = {440--441},
    publisher = {Springer-Verlag},
    title = {A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming},
    year = {2007},
}