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 Verónica Dahl and Ilkka Niemelä, editors, Proceedings of the 23rd International Conference on Logic Programming (ICLP 2007), volume 4670 of Lecture Notes in Computer Science, pages 440–441, Porto, Portugal, September 2007. Springer. Poster.

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 (ICLP 2007)},
    editor = {Ver\'onica Dahl and Ilkka Niemel\"a},
    month = {September},
    note = {Poster},
    pages = {440--441},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming},
    volume = {4670},
    year = {2007},
}