CIRC2DLP — Translating Circumscription into Disjunctive Logic Programming

Reference:

Emilia Oikarinen and Tomi Janhunen. CIRC2DLP — translating circumscription into disjunctive logic programming. In Chitta Baral, Gianluigi Grego, Nicola Leone, and Giorgio Terracina, editors, Logic Programming and Nonmonotonic Reasoning, Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning, volume 3662 of Lecture Notes in Artificial Intelligence, pages 405–409, Diamante, Italy, September 2005. Springer-Verlag. System Description.

Suggested BibTeX entry:

@inproceedings{OJ05:lpnmrsystem,
    address = {Diamante, Italy},
    author = {Emilia Oikarinen and Tomi Janhunen},
    booktitle = {Logic Programming and Nonmonotonic Reasoning, Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning},
    editor = {Chitta Baral and Gianluigi Grego and Nicola Leone and Giorgio Terracina},
    month = {September},
    note = {System Description},
    pages = {405--409},
    publisher = {Springer-Verlag},
    series = {Lecture Notes in Artificial Intelligence},
    title = {{CIRC2DLP} --- Translating Circumscription into Disjunctive Logic Programming},
    volume = {3662},
    year = {2005},
}