Circ2dlp – Translating Circumscription into Disjunctive Logic Programming

Reference:

Emilia Oikarinen and Tomi Janhunen. Circ2dlp – translating circumscription into disjunctive logic programming. In Chitta Baral, Gianluigi Greco, Nicola Leone, and Giorgio Terracina, editors, Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 405–409, Diamante, Italy, September 2005. Springer-Verlag.

Suggested BibTeX entry:

@inproceedings{OJ05:lpnmr,
    address = {Diamante, Italy},
    author = {Emilia Oikarinen and Tomi Janhunen},
    booktitle = {Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning},
    editor = {Chitta Baral and Gianluigi Greco and Nicola Leone and Giorgio Terracina},
    month = {September},
    pages = {405--409},
    publisher = {Springer-Verlag},
    title = {Circ2dlp -- Translating Circumscription into Disjunctive Logic Programming},
    year = {2005},
}