Implementing Prioritized Circumscription by Computing Disjunctive Stable Models

Reference:

Emilia Oikarinen and Tomi Janhunen. Implementing prioritized circumscription by computing disjunctive stable models. In Danail Dochev, Marco Pistore, and Paolo Traverso, editors, Proceedings of the 13th International Conference on Artificial Intelligence: Methodology, Systems, Applications, pages 167–180, Varna, Bulgaria, September 2008. Springer-Verlag.

Suggested BibTeX entry:

@inproceedings{OJ08:aimsa,
    address = {Varna, Bulgaria},
    author = {Emilia Oikarinen and Tomi Janhunen},
    booktitle = {Proceedings of the 13th International Conference on Artificial Intelligence: Methodology, Systems, Applications},
    editor = {Danail Dochev and Marco Pistore and Paolo Traverso},
    month = {September},
    pages = {167--180},
    publisher = {Springer-Verlag},
    title = {Implementing Prioritized Circumscription by Computing Disjunctive Stable Models},
    year = {2008},
}